(=>
(instance ?AFTERNOON Afternoon)
(exists (?HOUR ?DAY)
(and
(instance ?HOUR
(HourFn 12 ?DAY))
(starts ?HOUR ?AFTERNOON)))) |
Merge.kif 8997-9003 |
If X is an instance of afternoon, then there exist Y, Z such that Y is an instance of the hour 12, and Y starts X |
(=>
(instance ?MORNING Morning)
(exists (?HOUR ?DAY)
(and
(instance ?HOUR
(HourFn 12 ?DAY))
(finishes ?HOUR ?MORNING)))) |
Merge.kif 9009-9015 |
If X is an instance of morning, then there exist Y, Z such that Y is an instance of the hour 12, and Y finishes X |
(=>
(instance ?AM AnteMeridiem)
(exists (?D ?HOUR1 ?HOUR2)
(and
(instance ?HOUR1
(HourFn 0 ?D))
(starts ?HOUR1 ?AM)
(instance ?HOUR2
(HourFn 12 ?D))
(finishes ?HOUR2 ?AM)))) |
Mid-level-ontology.kif 21032-21039 |
If X is an instance of ante meridiem, then there exist Y, Z, W such that Z is an instance of the hour 0, Z starts X, W is an instance of the hour 12, and W finishes X |
(=>
(instance ?PM PostMeridiem)
(exists (?D ?HOUR1 ?HOUR2)
(and
(instance ?HOUR1
(HourFn 12 ?D))
(starts ?HOUR1 ?PM)
(instance ?HOUR2
(HourFn 23 ?D))
(finishes ?HOUR2 ?PM)))) |
Mid-level-ontology.kif 21046-21053 |
If X is an instance of post meridiem, then there exist Y, Z, W such that Z is an instance of the hour 12, Z starts X, W is an instance of the hour 23, and W finishes X |
(=>
(dayPhone ?Number ?Agent)
(exists (?Phone ?Hour ?Num)
(and
(phoneNumber ?Number ?Phone)
(greaterThan ?Num 6)
(lessThan ?Num 18)
(instance ?TIME
(HourFn ?Num ?Day))
(holdsDuring ?TIME
(exists (?T)
(and
(instance ?T Telephoning)
(destination ?T ?Agent)
(patient ?T ?Phone)
(possesses ?Agent ?Phone)
(modalAttribute
(exists (?A)
(and
(instance ?A Answering)
(subProcess ?A ?T)
(agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3749-3769 |
If X is a day phone of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a phone number of Y (3) V is greater than 6 (4) V is less than 18 (5) U is an instance of the hour V (6) there exists T such that T is an instance of telephoning (7) T ends up at X (8) Z is a patient of T (9) X possesses Z (10) the statement there exists S such that S is an instance of answering (11) S is a subprocess of T (12) X is an agent of S has the modal force of likely holds during U |
(=>
(eveningPhone ?Number ?Agent)
(exists (?Phone ?Hour ?Num)
(and
(phoneNumber ?Number ?Phone)
(greaterThan ?Num 18)
(lessThan ?Num 6)
(instance ?TIME
(HourFn ?Num ?Day))
(holdsDuring ?TIME
(exists (?T)
(and
(instance ?T Telephoning)
(destination ?T ?Agent)
(patient ?T ?Phone)
(possesses ?Agent ?Phone)
(modalAttribute
(exists (?A)
(and
(instance ?A Answering)
(subProcess ?A ?T)
(agent ?A ?Agent))) Likely))))))) |
FinancialOntology.kif 3793-3813 |
If X is an evening phone of Y, then All of the following hold: (1) there exist Z, W (2) V such that Z is a phone number of Y (3) V is greater than 18 (4) V is less than 6 (5) U is an instance of the hour V (6) there exists T such that T is an instance of telephoning (7) T ends up at X (8) Z is a patient of T (9) X possesses Z (10) the statement there exists S such that S is an instance of answering (11) S is a subprocess of T (12) X is an agent of S has the modal force of likely holds during U |
(=>
(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 |
HourFn