SUMO   View all facts   Glossary   Help
Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > temporallyBetween
Next TemporalRelation: temporallyBetweenOrEqual    Up: TemporalRelation, TernaryPredicate    Previous TemporalRelation: starts   

temporallyBetween comparison table
Subject have domain3 have domain2 have domain1 be first domain of documentation have axiom is a kind of is an instance of
TemporalRelation   valenceThe 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 
TernaryPredicate   singleValuedThe Class of Predicates that require exactly three arguments
(=>
 	(instance ?REL TernaryPredicate)
 	(valence ?REL 3))
TernaryRelation 
temporallyBetweenTimePointTimePointTimePointsingleValued(temporallyBetween ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT2 is between the TimePoints ?POINT1 and ?POINT3, i.e. ?POINT1 is before ?POINT2 and ?POINT2 is before ?POINT3
(=> 	
    (and 	
       (instance ?POINT TimePoint) 
       (not (equal ?POINT NegativeInfinity)))
    (exists (?OTHERPOINT) 
       (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
 TernaryPredicate

Next TemporalRelation: temporallyBetweenOrEqual    Up: TemporalRelation, TernaryPredicate    Previous TemporalRelation: starts