SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > documentation |
documentation 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 | |||
documentation | SymbolicString | Entity | singleValued | 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 | (=> | BinaryPredicate |
Next AsymmetricRelation: duration Up: AsymmetricRelation, BinaryPredicate Previous AsymmetricRelation: developmentalForm