SUMO   View all facts   Glossary   Help

Entity > Abstract > Class > Relation > Predicate > TernaryPredicate > temporallyBetween

temporallyBetween
subject			fact

temporallyBetween	documentation (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
	has axiom (<=> (temporallyBetween ?POINT1 ?POINT2 ?POINT3) (and (before ?POINT1 ?POINT2) (before ?POINT2 ?POINT3)))
	has axiom (=> (and (instance ?POINT TimePoint) (not (equal ?POINT PositiveInfinity))) (exists (?OTHERPOINT) (temporallyBetween ?POINT ?OTHERPOINT PositiveInfinity)))
	has axiom (=> (and (instance ?POINT TimePoint) (not (equal ?POINT NegativeInfinity))) (exists (?OTHERPOINT) (temporallyBetween NegativeInfinity ?OTHERPOINT ?POINT)))
	has domain1 TimePoint
	has domain2 TimePoint
	has domain3 TimePoint
	is an instance of TemporalRelation
	is an instance of TernaryPredicate
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
Predicate	is first domain of singleValued
Class	is third domain of domain
	is third domain of domainSubclass
Abstract	is disjoint from Physical

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