(=>
(and
(facility ?AGENT ?OBJ)
(customer ?CUST ?AGENT)
(instance ?X ?OBJ)
(desires ?CUST
(exists (?PROC)
(and
(instance ?PROC IntentionalProcess)
(patient ?PROC ?X)
(agent ?PROC ?CUST)))))
(modalAttribute
(confersRight ?AGENT ?CUST
(uses ?X ?CUST)) Possibility)) |
Dining.kif 336-350 |
If X provides Y, X is a customer of Z, W is an instance of Y, and Z desires there exists V such that V is an instance of intentional process, W is a patient of V, and Z is an agent of V, then the statement Z allows Z uses W to perform task of the type X has the modal force of possibility |
