SUMO View all facts Glossary Help |
Entity > Abstract > Class > Relation > BinaryRelation > AntisymmetricRelation > AsymmetricRelation > existant |
existant | ||||
subject | fact |
existant | documentation 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 | |
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (<=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has axiom (=> | ||
has domain1 Physical | ||
has domain2 TimePosition | ||
is an instance of AsymmetricRelation | ||
is an instance of BinaryPredicate | ||
is an instance of TemporalRelation | ||
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 | |
Relation | is first domain of domain | |
is first domain of domainSubclass | ||
is first domain of holds | ||
is first domain of subrelation | ||
is first domain of valence | ||
is second domain of subrelation | ||
Class | is third domain of domain | |
is third domain of domainSubclass | ||
Abstract | is disjoint from Physical |
Next AsymmetricRelation: exploits Up: AsymmetricRelation, BinaryPredicate, TemporalRelation Previous AsymmetricRelation: equivalenceRelationOn