(=>
(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 |
