"labelIsASubtypeOfTerm"
Fact Type ↑
Summary

Each label is an instance of term.
Role Players
Constraints
InternalUniquenessConstraint126
Type:
InternalUniquenessConstraint
Verbalization:

Each label is at most one term.
InternalUniquenessConstraint131
Type:
InternalUniquenessConstraint
Verbalization:

Each term is at most one label.
SimpleMandatoryConstraint74
Type:
SimpleMandatoryConstraint
Verbalization:

Each label is some term.