Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| paidFunctionRoomAmenity |
| appearance as argument number 1 |
|
| (subrelation paidFunctionRoomAmenity functionRoomAmenity) | Hotel.kif 870-870 | free function room amenity is a subrelation of function room amenity |
| (domainSubclass paidFunctionRoomAmenity 1 HotelFunctionRoom) | Hotel.kif 871-871 | The number 1 argument of free function room amenity is a subclass of hotel function room |
| (domainSubclass paidFunctionRoomAmenity 2 Physical) | Hotel.kif 872-872 | The number 2 argument of free function room amenity is a subclass of physical |
| (instance paidFunctionRoomAmenity BinaryPredicate) | Hotel.kif 873-873 | free function room amenity is an instance of binary predicate |
| (documentation paidFunctionRoomAmenity EnglishLanguage "(paidFunctionRoomAmenity ?RM ?PHY) means that the use of ?PHY provided by TravelerAccommodation to customers renting HotelFunctionRoom incurs charges") | Hotel.kif 874-876 | free function room amenity is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage paidFunctionRoomAmenity "free function room amenity") | Hotel.kif 877-877 | |
| (format EnglishLanguage paidFunctionRoomAmenity "renters of %1 can pay to use %2") | domainEnglishFormat.kif 4064-4064 | |
| (format ChineseTraditionalLanguage paidFunctionRoomAmenity "%1 的 承租人 能 pay 去使用 %2 ") | domainEnglishFormat.kif 4065-4065 | |
| (format ChineseLanguage paidFunctionRoomAmenity "%1 的 承租人 能 pay 去使用 %2 ") | domainEnglishFormat.kif 4066-4066 |
| antecedent |
|
|
| (=> (and (paidFunctionRoomAmenity ?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)))) (exists (?PRICE ?U) (and (price ?X (MeasureFn ?PRICE ?U) ?AGENT) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))) |
Hotel.kif 879-905 | If All of the following hold: (1) renters of X can pay to use Y (2) Z is an instance of X (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 Y (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 there exist S and R such that T is price S R(s) for W and R is an instance of unit of currency and S is greater than 0 |
|