SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > existant |
existant comparison table |
Subject | have domain2 | have domain1 | be first domain of | be second domain of | documentation | have axiom | is a kind of | is an instance of |
---|---|---|---|---|---|---|---|---|
AsymmetricRelation | trichotomizingOn | inverse | A BinaryRelation is asymmetric only if it is both an AntisymmetricRelation and an IrreflexiveRelation | (=> | IrreflexiveRelation | |||
BinaryPredicate | singleValued | inverse | A Predicate relating two items - its valence is two | (=> | Predicate | |||
TemporalRelation | valence | subrelation | The Class of temporal Relations. This Class includes notions of (temporal) topology of intervals, (temporal) schemata, and (temporal) extension | (forall (?INT) (domain exhaustiveDecomposition ?INT Class)) | Relation | |||
existant | TimePosition | Physical | valence | subrelation | This relation holds between an instance of Physical and an instance of TimePosition just in case the temporal lifespan of the former includes the latter. The constants located and existant are the basic spatial and temporal predicates, respectively | (=> | TemporalRelation |
Next AsymmetricRelation: exploits Up: AsymmetricRelation, BinaryPredicate, TemporalRelation Previous AsymmetricRelation: equivalenceRelationOn