(=>
(and
(paidPropertyAmenity ?AGENT ?PHYS)
(instance ?X ?PHYS)
(customer ?CUST ?AGENT)
(or
(and
(instance ?X Process)
(or
(agent ?X ?CUST)
(experiencer ?X ?CUST)))
(and
(possesses ?AGENT ?X)
(instance ?X Object)
(uses ?X ?CUST))))
(exists (?PRICE ?U)
(and
(price ?X
(MeasureFn ?PRICE ?U) ?AGENT)
(instance ?U UnitOfCurrency)
(greaterThan ?PRICE 0)))) |
Hotel.kif 573-593 |
If renters of X can pay to use Y, Z is an instance of Y, X is a customer of W, and Z is an instance of process and W is an agent of Z or W experiences Z or X possesses Z, Z is an instance of object, and W uses Z, then there exist V and U such that Z is price V U(s) for X and U is an instance of unit of currency and V is greater than 0 |
