Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| paidRoomAmenity |
| appearance as argument number 1 |
|
| (subrelation paidRoomAmenity roomAmenity) | Hotel.kif 380-380 | paid room amenity is a subrelation of room amenity |
| (instance paidRoomAmenity BinaryPredicate) | Hotel.kif 381-381 | paid room amenity is an instance of binary predicate |
| (domainSubclass paidRoomAmenity 1 HotelUnit) | Hotel.kif 382-382 | The number 1 argument of paid room amenity is a subclass of hotel unit |
| (domainSubclass paidRoomAmenity 2 Physical) | Hotel.kif 383-383 | The number 2 argument of paid room amenity is a subclass of physical |
| (documentation paidRoomAmenity EnglishLanguage "(paidRoomAmenity ?ROOM ?PHYS) means that there is a fee associated with the use of an object or the rendering of a service") | Hotel.kif 384-386 | The number 2 argument of paid room amenity is a subclass of physical |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage paidRoomAmenity "paid room amenity") | Hotel.kif 387-387 | |
| (format EnglishLanguage paidRoomAmenity "renters of %1 can pay to use %2") | domainEnglishFormat.kif 4072-4072 | |
| (format ChineseTraditionalLanguage paidRoomAmenity "%1 的 承租人 能 pay 去使用 %2 ") | domainEnglishFormat.kif 4073-4073 | |
| (format ChineseLanguage paidRoomAmenity "%1 的 承租人 能 pay 去使用 %2 ") | domainEnglishFormat.kif 4074-4074 |
| antecedent |
|
|
| (=> (and (paidRoomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?O ?OBJ) (located ?O ?R) (instance ?P Process) (agent ?P ?GUEST) (or (located ?P ?R) (patient ?P ?O) (instrument ?P ?O) (resource ?P ?O))) (exists (?PRICE ?U) (and (price ?O (MeasureFn ?PRICE ?U) ?GUEST) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))) |
Hotel.kif 396-417 | If All of the following hold: (1) renters of X can pay to use Y (2) Y is a subclass of object (3) Z is an instance of X (4) W stays at Z (5) Z is an element of belongings of V (6) U is an instance of Y (7) U is located at Z (8) T is an instance of process (9) W is an agent of T (10) At least one of the following holds: (1) T is located at Z (2) U is a patient of T (3) U is an instrument for T (4) U is a resource for T, then there exist S and R such that U is price S R(s) for W and R is an instance of unit of currency and S is greater than 0 |
| (=> (and (paidRoomAmenity ?ROOM ?PROC) (subclass ?PROC Process) (instance ?R ?ROOM) (stays ?GUEST ?R) (element ?R (PropertyFn ?HOTEL)) (patient ?P ?GUEST) (or (instance ?P ?PROC) (and (instance ?S ?PROC) (subProcess ?P ?S))) (located ?P ?R)) (exists (?PRICE ?U) (and (price ?P (MeasureFn ?PRICE ?U) ?GUEST) (instance ?U UnitOfCurrency) (greaterThan ?PRICE 0)))) |
Hotel.kif 419-438 | If All of the following hold: (1) renters of X can pay to use Y (2) Y is a subclass of process (3) Z is an instance of X (4) W stays at Z (5) Z is an element of belongings of V (6) W is a patient of U (7) U is an instance of Y or T is an instance of Y and U is a subprocess of T (8) U is located at Z, then there exist S and R such that U is price S R(s) for W and R is an instance of unit of currency and S is greater than 0 |
|