AllDisjointClasses
The class of collections of pairwise disjoint classes.
AllDisjointClasses
The class of collections of pairwise disjoint classes.
type
comment
The class of collections of pairwise disjoint classes.
isDefinedBy
label
AllDisjointClasses