Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| freeFunctionRoomAmenity |
| appearance as argument number 1 |
|
| (subrelation freeFunctionRoomAmenity functionRoomAmenity) | Hotel.kif 838-838 | free function room amenity is a subrelation of function room amenity |
| (domainSubclass freeFunctionRoomAmenity 1 HotelFunctionRoom) | Hotel.kif 839-839 | The number 1 argument of free function room amenity is a subclass of hotel function room |
| (domainSubclass freeFunctionRoomAmenity 2 Physical) | Hotel.kif 840-840 | The number 2 argument of free function room amenity is a subclass of physical |
| (instance freeFunctionRoomAmenity BinaryPredicate) | Hotel.kif 841-841 | free function room amenity is an instance of binary predicate |
| (documentation freeFunctionRoomAmenity EnglishLanguage "(freeFunctionRoomAmenity ?RM ?PHY) means that the use of ?PHY provided by TravelerAccommodation to customers renting HotelFunctionRoom does not incur charges") | Hotel.kif 842-844 | free function room amenity is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage freeFunctionRoomAmenity "free function room amenity") | Hotel.kif 845-845 | |
| (format EnglishLanguage freeFunctionRoomAmenity "%2 is free for customers renting %1") | domainEnglishFormat.kif 3486-3486 | |
| (format ChineseTraditionalLanguage freeFunctionRoomAmenity "%2 是 free 對於顧客出租 %1 ") | domainEnglishFormat.kif 3487-3487 | |
| (format ChineseLanguage freeFunctionRoomAmenity "%2 是 free 对于顾客出租 %1 ") | domainEnglishFormat.kif 3488-3488 |
| antecedent |
|
|
| (=> (and (freeFunctionRoomAmenity ?FR ?PHYS) (instance ?RM ?FR) (element ?RM (PropertyFn ?AGENT)) (instance ?R Renting) (patient ?R ?RM) (destination ?R ?CUST) (instance ?X ?PHYS) (possesses ?AGENT ?X) (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 847-868 | If All of the following hold: (1) X is free for customers renting 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) V ends up at U (7) T is an instance of X (8) W possesses T (9) W is a customer of U (10) T is an instance of process and U is an agent of T or U experiences T or W possesses T, T is an instance of object, and U uses T, then T is price 0 united states dollar(s) for W |
|