SUMO View all facts Glossary Help| SUMO View all facts Glossary Help |
| Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > documentation |
  | ||||
| documentation | ||||
| subject | fact | |||
| documentation | documentation A relation between objects in the domain of discourse and strings of natural language text. The domain of documentation is not constants (names), but the objects themselves. This means that one does not quote the names when associating them with their documentation |  |
| has domain1 Entity | | |
| has domain2 SymbolicString | | |
| 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: duration Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: developmentalForm