SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation |
AntisymmetricRelation comparison table |
Subject | have domain2 | have domain1 | be first domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|
AsymmetricRelation | trichotomizingOn | A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation | (=> | IrreflexiveRelation | |||
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 | |
PartialOrderingRelation | trichotomizingOn | A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation | (=> | TransitiveRelation |
Next BinaryRelation: BinaryPredicate Up: BinaryRelation Previous BinaryRelation: UnaryFunction