(=>
(and
(customer ?CUST ?AGENT)
(propertyAmenity ?AGENT ?PHYS)
(subclass ?PHYS Object)
(instance ?X ?PHYS))
(confersRight ?AGENT ?CUST
(exists (?PROC)
(and
(instance ?PROC Process)
(or
(resource ?PROC ?X)
(instrument ?PROC ?X)
(patient ?PROC ?X))
(or
(agent ?PROC ?CUST)
(experiencer ?PROC ?CUST)))))) |
Hotel.kif 504-520 |
If X is a customer of Y, X has Z, Z is a subclass of object, and W is an instance of Z, then Y allows there exists V such that V is an instance of process, W is a resource for V, W is an instrument for V, W is a patient of V, and Y is an agent of V, or Y experiences V to perform task of the type X |
(=>
(and
(customer ?CUST ?AGENT)
(propertyAmenity ?AGENT ?PHYS)
(subclass ?PHYS Process))
(modalAttribute
(exists (?S ?LOC ?PROC)
(and
(element ?LOC
(PropertyFn ?AGENT))
(agent ?S ?AGENT)
(patient ?S ?CUST)
(or
(instance ?S ?PHYS)
(and
(instance ?PROC ?PHYS)
(subProcess ?S ?PROC)))
(located ?S ?LOC))) Possibility)) |
Hotel.kif 522-538 |
If X is a customer of Y, X has Z, and Z is a subclass of process, then All of the following hold: (1) the statement there exist W, V (2) U such that V is an element of belongings of X (3) X is an agent of W (4) Y is a patient of W (5) W is an instance of Z or U is an instance of Z (6) W is a subprocess of U (7) W is located at V has the modal force of possibility |
(=>
(propertyAmenity ?HR VideoCheckOut)
(exists (?VD ?ROOM)
(and
(instance ?VD VideoDisplay)
(capability VideoCheckOut instrument ?VD)
(located ?VD ?ROOM)
(instance ?ROOM ?HR)))) |
Hotel.kif 2249-2256 |
If X has video check-out, then there exist Y, Z such that Y is an instance of video display, Y is capable of doing video check-out as a instrument, Y is located at Z, and Z is an instance of X |
