SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > PartialOrderingRelation > subclass
Next BinaryPredicatesubCollection    UpBinaryPredicate, PartialOrderingRelation    Previous BinaryPredicatesubAttribute   

subclass comparison table
Subject have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
BinaryPredicate  singleValuedA Predicate relating two items - its valence is two
(instance ?REL BinaryPredicate)
(valence ?REL 2))
PartialOrderingRelation  trichotomizingOnA BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation
(instance ?REL TransitiveRelation)
(forall (?INST1 ?INST2 ?INST3)
(holds ?REL ?INST1 ?INST2)
(holds ?REL ?INST2 ?INST3))
(holds ?REL ?INST1 ?INST3))))
subclassClassClasssingleValuedClass C is a subclass of Class P only if every instance of C is also an instance of P. A class may have multiple superclasses and subclasses
(instance ?OBJ CorpuscularObject)
(subclass ?SUBSTANCETYPE1 Substance)
(subclass ?SUBSTANCETYPE2 Substance)
(material ?SUBSTANCE1 ?OBJ)
(material ?SUBSTANCE2 ?OBJ)
(not (equal ?SUBSTANCE1 ?SUBSTANCE2)))))

Next BinaryPredicatesubCollection    UpBinaryPredicate, PartialOrderingRelation    Previous BinaryPredicatesubAttribute