SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > property |
property 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 | |||
BinaryPredicate | singleValued | A Predicate relating two items - its valence is two | (=> | Predicate | |||
property | Attribute | Physical | singleValued | This Predicate holds between an instance of Physical and an instance of Attribute. (property ?THING ?ATTR) means that ?THING has the Attribute ?ATTR. The two subrelations of property are attribute and manner | (=> | BinaryPredicate |
Next AsymmetricRelation: range Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: properPart