SUMO View all facts Glossary Help| SUMO View all facts Glossary Help |
| Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > property |
  | ||||
| property | ||||
| subject | fact | |||
| property | documentation 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 |  |
| has domain1 Physical | | |
| has domain2 Attribute | | |
| is an instance of AsymmetricRelation | | |
| is an instance of BinaryPredicate | | |
| BinaryPredicate | has axiom (=> | |
| 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 AsymmetricRelation: range Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: properPart