SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > subsumesContentClass |
subsumesContentClass | ||||
subject | fact |
subsumesContentClass | documentation A BinaryPredicate that relates two subclasses of ContentBearingObject. (subsumesContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS1 is also expressed by each instance of ?CLASS2. Examples include the relationship between a poem and one of its stanzas or between a book and one of its chapters. Note that this is a relation between subclasses of ContentBearingObject, rather than instances. If one wants to relate instances, the Predicate subsumesContentInstance can be used. Note that subsumesContentClass is needed in many cases. Consider, for example, the relation between the King James edition of the Bible and its Book of Genesis. This relation holds for every copy of this edition and not just for a single instance | |
has axiom (<=> | ||
has axiom (<=> | ||
has domain1 ContentBearingObject | ||
has domain2 ContentBearingObject | ||
is an instance of BinaryPredicate | ||
is an instance of PartialOrderingRelation | ||
BinaryRelation | is first domain of DomainFn | |
is first domain of equivalenceRelationOn | ||
is first domain of inverse | ||
is first domain of irreflexiveOn | ||
is first domain of partialOrderingOn | ||
is first domain of RangeFn | ||
is first domain of reflexiveOn | ||
is first domain of totalOrderingOn | ||
is first domain of trichotomizingOn | ||
is second domain of inverse | ||
Predicate | is first domain of singleValued | |
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next BinaryPredicate: subsumesContentInstance Up: BinaryPredicate, PartialOrderingRelation Previous BinaryPredicate: subrelation