Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| functionRoomAmenity |
| appearance as argument number 1 |
|
| (instance functionRoomAmenity BinaryPredicate) | Hotel.kif 806-806 | function room amenity is an instance of binary predicate |
| (documentation functionRoomAmenity EnglishLanguage "(functionRoomAmenity ?RM ?PHYS) means that Physical ?PHYS is available for people who Renting HotelFunctionRoom ?RM") | Hotel.kif 807-809 | function room amenity is an instance of binary predicate |
| (domainSubclass functionRoomAmenity 1 HotelFunctionRoom) | Hotel.kif 812-812 | The number 1 argument of function room amenity is a subclass of hotel function room |
| (domainSubclass functionRoomAmenity 2 Physical) | Hotel.kif 813-813 | The number 2 argument of function room amenity is a subclass of physical |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (functionRoomAmenity ?FR ?PHY) (instance ?RM ?FR) (element ?RM (PropertyFn ?HOTEL)) (instance ?RENT Renting) (patient ?RENT ?RM) (agent ?RENT ?HOTEL) (destination ?RENT ?CUST) (subclass ?PHY Object)) (modalAttribute (exists (?O ?P) (and (instance ?O ?PHY) (instance ?P Process) (or (resource ?P ?O) (instrument ?P ?O) (patient ?P ?O)) (or (agent ?P ?CUST) (experiencer ?P ?CUST)))) Possibility)) |
Hotel.kif 815-836 | If All of the following hold: (1) use of X is free for Y (2) Z is an instance of Y (3) Z is an element of belongings of W (4) V is an instance of renting (5) Z is a patient of V (6) W is an agent of V (7) V ends up at U (8) X is a subclass of object, then the statement there exist T, S such that T is an instance of X, S is an instance of process, T is a resource for S, T is an instrument for S, T is a patient of S, and U is an agent of S, or U experiences S has the modal force of possibility |
|