(=>
(and
(beforeOrEqual ?POINT1 ?POINT2)
(beforeOrEqual ?POINT2 ?POINT3))
(temporallyBetweenOrEqual ?POINT1 ?POINT2 ?POINT3)) |
Merge.kif 8402-8406 |
If X happens before or at Y and Y happens before or at Z, then Y is between or at X and Z |
(=>
(and
(time ?PHYS ?TIME)
(instance ?TIME TimePoint))
(temporallyBetweenOrEqual
(BeginFn
(WhenFn ?PHYS)) ?TIME
(EndFn
(WhenFn ?PHYS)))) |
Merge.kif 8408-8412 |
If X exists during Y and Y is an instance of time point, then Y is between or at the beginning of the time of existence of X and the end of the time of existence of X |
(=>
(and
(instance ?POINT1 TimePoint)
(instance ?POINT2 TimePoint)
(instance ?INTERVAL TimeInterval)
(equal
(TimeIntervalFn ?POINT1 ?POINT2) ?INTERVAL))
(forall (?POINT)
(<=>
(temporallyBetweenOrEqual ?POINT1 ?POINT ?POINT2)
(temporalPart ?POINT ?INTERVAL)))) |
Merge.kif 8632-8641 |
If X is an instance of time point, Y is an instance of time point, Z is an instance of timeframe, and equal interval between X, Y, and Z, then For all TimePoint W: W is between or at X, Y if, and only if W is a part of Z |
(=>
(yearBuilt ?OBJ ?YEAR)
(exists (?TIME ?MAKE)
(and
(instance ?TIME ?YEAR)
(instance ?MAKE Making)
(result ?MAKE ?OBJ)
(temporallyBetweenOrEqual
(BeginFn ?TIME)
(EndFn
(WhenFn ?MAKE))
(EndFn ?TIME))))) |
Hotel.kif 729-739 |
If X was built in Y, then there exist Z, W such that Z is an instance of Y, W is an instance of making, X is a result of W, the end of the time of existence of W is between or at the beginning of Z, and the end of Z |
(=>
(lastRenovation ?OBJ ?YEAR)
(exists (?TIME ?REPAIR)
(and
(instance ?REPAIR Repairing)
(patient ?REPAIR ?OBJ)
(instance ?TIME ?YEAR)
(temporallyBetweenOrEqual
(BeginFn ?TIME)
(EndFn
(WhenFn ?REPAIR))
(EndFn ?TIME))))) |
Hotel.kif 750-760 |
If the last renovation of X was in Y, then there exist Z, W such that W is an instance of repairing, X is a patient of W, Z is an instance of Y, the end of the time of existence of W is between or at the beginning of Z, and the end of Z |
