Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| propertyAmenity |
| appearance as argument number 1 |
|
| (instance propertyAmenity BinaryPredicate) | Hotel.kif 496-496 | property amenity is an instance of binary predicate |
| (documentation propertyAmenity EnglishLanguage "(propertyAmenity ?AGENT ?PHYS) means that &AutonomousAgent ?AGENT provides Physical ?PHYS on its property") | Hotel.kif 497-498 | property amenity is an instance of binary predicate |
| (domain propertyAmenity 1 AutonomousAgent) | Hotel.kif 501-501 | The number 1 argument of property amenity is an instance of agent |
| (domainSubclass propertyAmenity 2 Physical) | Hotel.kif 502-502 | The number 2 argument of property amenity is a subclass of physical |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
|