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

temporallyBetweenOrEqual 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 
temporallyBetweenOrEqualTimePointTimePointTimePointsingleValued(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3) means that the TimePoint ?POINT1 is before or equal to the TimePoint ?POINT2 and ?POINT2 is before or equal to the TimePoint ?POINT3
(<=>
    (temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)
    (and
       (beforeEq ?POINT1 ?POINT2)
       (beforeEq ?POINT2 ?POINT3)))
 TernaryPredicate

Next TemporalRelation: time    Up: TemporalRelation, TernaryPredicate    Previous TemporalRelation: temporallyBetween