SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > instance |
instance comparison table |
Subject | have domain2 | have domain1 | be first domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|
AntisymmetricRelation | trichotomizingOn | BinaryRelation ?REL is an AntisymmetricRelation if for distinct ?INST1 and ?INST2, (?REL ?INST1 ?INST2) implies not (?REL ?INST2 ?INST1). In other words, for all ?INST1 and ?INST2, (?REL ?INST1 ?INST2) and (?REL ?INST2 ?INST1) imply that ?INST1 and ?INST2 are identical. Note that it is possible for an AntisymmetricRelation to be a ReflexiveRelation | (=> | BinaryRelation | |||
BinaryPredicate | singleValued | A Predicate relating two items - its valence is two | (=> | Predicate | |||
instance | Class | Entity | singleValued | An object is an instance a Class if it is a member of that Class. An individual may be an instance of many classes, some of which may be subclasses of others. Thus, there is no assumption in the meaning of instance about specificity or uniqueness | (=> | BinaryPredicate |
Next AntisymmetricRelation: PartialOrderingRelation Up: AntisymmetricRelation, BinaryPredicate Previous AntisymmetricRelation: AsymmetricRelation