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