consequent

(=>     (and         (instance ?TIME TimePoint)         (holdsDuring ?TIME             (age ?OBJ ?DURATION)))     (duration         (TimeIntervalFn             (BeginFn                 (WhenFn ?OBJ)) ?TIME) ?DURATION))	Merge.kif 7662-7666	If X is an instance of time point and the age of Y is Z holds during X, then duration of interval between the beginning of the time of existence of Y and X is Z
(=>     (instance ?INTERVAL TimeInterval)     (equal         (PastFn ?INTERVAL)         (TimeIntervalFn NegativeInfinity             (BeginFn ?INTERVAL))))	Merge.kif 8692-8694	If X is an instance of timeframe, then equal before X, interval between negative infinity, and the beginning of X
(=>     (instance ?INTERVAL TimeInterval)     (equal         (FutureFn ?INTERVAL)         (TimeIntervalFn             (EndFn ?INTERVAL) PositiveInfinity)))	Merge.kif 8723-8725	If X is an instance of timeframe, then equal after X, interval between the end of X, and positive infinity
(=>     (and         (instance ?X BreakingRecord)         (agent ?X ?A1))     (exists (?AC ?PC ?P1 ?TP ?ROLE ?L ?Q)         (and             (instance ?AC Set)             (element ?A1 ?AC)             (subclass ?PC Process)             (instance ?L Region)             (instance ?TP TimePoint)             (instance ?Q Quantity)             (instance ?P1 ?PC)             (refers ?X ?Q)             (refers ?Q ?P1)             (playsRoleInEvent ?A1 ?ROLE ?P1)             (eventLocated ?P1 ?L)             (not                 (exists (?A2 ?P2)                     (and                         (instance ?A2 ?AC)                         (not                             (equal ?A2 ?A1))                         (instance ?P2 ?PC)                         (holdsDuring                             (TimeIntervalFn ?TP                                 (EndFn                                     (WhenFn ?X)))                             (and                                 (playsRoleInEvent ?A2 ?ROLE ?P2)                                 (eventLocated ?P2 ?L)))))))))	Mid-level-ontology.kif 32629-32659	If X is an instance of breaking record and Y is an agent of X, then All of the following hold: (1) there exist Z, W,, , V,, , U,, , T,, , S (2) R such that Z is an instance of set (3) Y is an element of Z (4) W is a subclass of process (5) S is an instance of region (6) U is an instance of time point (7) R is an instance of quantity (8) V is an instance of W (9) X includes a reference to R (10) R includes a reference to V (11) Y plays role in event T for V (12) V is located at S (13) there don't exist Q (14) P such that Q is an instance of Z (15) equal Q (16) Y (17) P is an instance of W (18) Q plays role in event T for P (19) P is located at S holds during interval between U (20) the end of the time of existence of X
(=>     (and         (equal             (MeasureFn ?X HourDuration)             (TimeToFailureFn ?D))         (attribute ?D NonRepairable)         (deviceFailTime ?D ?F)         (deviceUpTime ?D ?U)         (earlier ?U ?F))     (duration         (TimeIntervalFn             (BeginFn ?U)             (BeginFn ?F))         (MeasureFn ?X HourDuration)))	Mid-level-ontology.kif 34586-34599	If equal X hour duration(s) and The time to failure of Y is HourDuration, non repairable is an attribute of Y, device Y is in a failure state during TimeInterval Z, Device Y is in operation during TimeInterval W, and W happens earlier than Z, then duration of interval between the beginning of W and the beginning of Z is X hour duration(s)
(=>     (and         (equal             (MeasureFn ?X HourDuration)             (TimeToRecoveryFn ?D))         (deviceFailTime ?D ?F)         (deviceUpTime ?D ?U)         (earlier ?F ?U))     (duration         (TimeIntervalFn             (BeginFn ?F)             (BeginFn ?U))         (MeasureFn ?X HourDuration)))	Mid-level-ontology.kif 34668-34680	If equal X hour duration(s) and The time to recovery of Y is HourDuration, device Y is in a failure state during TimeInterval Z, Device Y is in operation during TimeInterval W, and Z happens earlier than W, then duration of interval between the beginning of Z and the beginning of W is X hour duration(s)
(=>     (and         (reservationStart ?TIME1 ?R)         (reservationEnd ?TIME2 ?R)         (reservingEntity ?CUST ?R)         (fulfillingEntity ?AGENT ?R))     (modalAttribute         (holdsDuring             (TimeIntervalFn ?TIME1 ?TIME2)             (exists (?P)                 (and                     (instance ?P IntentionalProcess)                     (agent ?P ?AGENT)                     (destination ?P ?CUST)))) Likely))	Dining.kif 711-724	If X starts at Y, X ends at Z, W reserves X, and V fulfills X, then the statement there exists U such that U is an instance of intentional process, V is an agent of U, U ends up at W holds during interval between Y, and Z has the modal force of likely
(=>     (instance ?TIME LunchTime)     (exists (?ELEVEN ?THREE ?DAY)         (and             (during ?TIME                 (TimeIntervalFn                     (BeginFn ?ELEVEN)                     (EndFn ?THREE)))             (instance ?ELEVEN                 (HourFn 11 ?DAY))             (instance ?THREE                 (HourFn 15 ?DAY)))))	Food.kif 1880-1889	If X is an instance of lunch time, then there exist Y, Z, W such that X takes place during interval between the beginning of Y, the end of Z, Y is an instance of the hour 11, and Z is an instance of the hour 15
(=>     (and         (reservedRoom ?RESERVE ?ROOMTYPE)         (reservationStart ?RESERVE ?TIME1)         (reservationEnd ?RESERVE ?TIME2)         (reservingEntity ?RESERVE ?CUST))     (modalAttribute         (holdsDuring             (TimeIntervalFn ?TIME1 ?TIME2)             (exists (?X)                 (and                     (instance ?X ?ROOMTYPE)                     (stays ?CUST ?X)))) Likely))	Hotel.kif 2969-2981	If X is a reservation for Y, Z starts at X, W ends at X, and X reserves V, then the statement there exists U such that U is an instance of Y, V stays at U holds during interval between Z, and W has the modal force of likely
(=>     (and         (birthdate JesusOfNazareth ?DAY)         (instance ?Y1             (YearFn -6))         (instance ?Y2             (YearFn 4)))     (temporalPart ?DAY         (TimeIntervalFn             (BeginFn ?Y1)             (EndFn ?Y2))))	Media.kif 1883-1888	If X is a birthdate of Jesus of Nazareth, Y is an instance of the year -6, and Z is an instance of the year 4, then X is a part of interval between the beginning of Y and the end of Z
(=>     (and         (deathdate JesusOfNazareth ?DAY)         (instance ?Y1             (YearFn 29))         (instance ?Y2             (YearFn 36)))     (temporalPart ?DAY         (TimeIntervalFn             (BeginFn ?Y1)             (EndFn ?Y2))))	Media.kif 1890-1895	If X is a deathdate of Jesus of Nazareth, Y is an instance of the year 29, and Z is an instance of the year 36, then X is a part of interval between the beginning of Y and the end of Z
(=>     (and         (instance ?T1             (YearFn 26))         (instance ?T2             (YearFn 100)))     (temporalPart         (WhenFn TwelveApostles)         (TimeIntervalFn             (BeginFn ?T1)             (EndFn ?T2))))	Media.kif 1906-1910	If X is an instance of the year 26 and Y is an instance of the year 100, then the time of existence of Twelve apostles is a part of interval between the beginning of X and the end of Y
(=>     (measuringListDuration ?LIST ?DURATION)     (exists (?T)         (and             (equal ?T                 (TimeIntervalFn                     (BeginFn                         (WhenFn                             (FirstFn ?LIST)))                     (EndFn                         (WhenFn                             (LastFn ?LIST)))))             (duration ?T ?DURATION))))	Weather.kif 3145-3153	If The Measuring for list X takes Y., then there exists Z such that equal Z, interval between the beginning of the time of existence of the first of X, the end of the time of existence of the last of X, and duration of Z is Y

Show simplified definition (without tree view)
Show simplified definition (with tree view)