"labelIsASubtypeOfTerm"
Fact Type
↑
Summary
Each
label
is an instance of
term
.
Role Players
label
Term
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
.