(=>
(and
(freePropertyAmenity ?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))))
(price ?X
(MeasureFn 0 UnitedStatesDollar) ?AGENT)) |
Hotel.kif 548-563 |
If use of X is free for Y, Z is an instance of X, Y is a customer of W, and Z is an instance of process and W is an agent of Z or W experiences Z or Y possesses Z, Z is an instance of object, and W uses Z, then Z is price 0 united states dollar(s) for Y |
