Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| roomAmenity |
| appearance as argument number 1 |
|
| (instance roomAmenity BinaryPredicate) | Hotel.kif 273-273 | room amenity is an instance of binary predicate |
| (documentation roomAmenity EnglishLanguage "(roomAmenity ?ROOM ?PHYS) means that TravelerAccommodation provides Physical ?PHYS in HotelUnit ?ROOM") | Hotel.kif 274-275 | room amenity is an instance of binary predicate |
| (domainSubclass roomAmenity 1 HotelUnit) | Hotel.kif 278-278 | The number 1 argument of room amenity is a subclass of hotel unit |
| (domainSubclass roomAmenity 2 Physical) | Hotel.kif 279-279 | The number 2 argument of room amenity is a subclass of physical |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage roomAmenity "room amenity") | Hotel.kif 276-276 | |
| (subrelation freeRoomAmenity roomAmenity) | Hotel.kif 334-334 | free room amenity is a subrelation of room amenity |
| (subrelation paidRoomAmenity roomAmenity) | Hotel.kif 380-380 | paid room amenity is a subrelation of room amenity |
| (format EnglishLanguage roomAmenity "%2 is an amenity in %1") | domainEnglishFormat.kif 4440-4440 | paid room amenity is a subrelation of room amenity |
| (format ChineseTraditionalLanguage roomAmenity "%2 是 amenity 在 %1 ") | domainEnglishFormat.kif 4441-4441 | paid room amenity is a subrelation of room amenity |
| (format ChineseLanguage roomAmenity "%2 是 amenity 在 %1 ") | domainEnglishFormat.kif 4442-4442 | paid room amenity is a subrelation of room amenity |
| antecedent |
|
|
| (=> (and (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (forall (?R) (=> (instance ?R ?ROOM) (exists (?O) (and (instance ?R ?ROOM) (instance ?O ?OBJ) (located ?O ?R)))))) |
Hotel.kif 281-292 | If X is an amenity in Y and X is a subclass of object, then For all Object Z: if Z is an instance of Y, then there exists W such that Z is an instance of Y, W is an instance of X, and W is located at Z |
| (=> (and (guest ?CUST ?HOTEL) (stays ?CUST ?R) (element ?R (PropertyFn ?HOTEL)) (instance ?R ?ROOM) (roomAmenity ?ROOM ?OBJ) (subclass ?OBJ Object)) (exists (?O) (and (instance ?O ?OBJ) (located ?O ?R) (confersRight ?HOTEL ?CUST (exists (?PROC) (and (agent ?PROC ?CUST) (or (instrument ?PROC ?O) (patient ?PROC ?O) (resource ?PROC ?O)))))))) |
Hotel.kif 294-313 | If All of the following hold: (1) X is a guest at Y (2) X stays at Z (3) Z is an element of belongings of Y (4) Z is an instance of W (5) V is an amenity in W (6) V is a subclass of object, then there exists U such that U is an instance of V, U is located at Z, X allows there exists T such that X is an agent of T, and U is an instrument for T or U is a patient of T or U is a resource for T to perform task of the type Y |
| (=> (and (roomAmenity ?ROOM ?SVC) (subclass ?SVC Process)) (modalAttribute (exists (?X ?S ?HOTEL ?PROC) (and (instance ?X ?ROOM) (element ?X (PropertyFn ?HOTEL)) (agent ?S ?HOTEL) (or (instance ?S ?SVC) (and (instance ?PROC ?SVC) (subProcess ?S ?PROC))) (located ?S ?X))) Possibility)) |
Hotel.kif 317-332 | If X is an amenity in Y and X is a subclass of process, then All of the following hold: (1) the statement there exist Z, W,, , V (2) U such that Z is an instance of Y (3) Z is an element of belongings of V (4) V is an agent of W (5) W is an instance of X or U is an instance of X (6) W is a subprocess of U (7) W is located at Z has the modal force of possibility |
| (=> (roomAmenity ?HR TemperatureControl) (exists (?DEVICE ?ROOM ?TEMP) (and (instance ?ROOM ?HR) (instance ?DEVICE AirConditioner) (instance ?TEMP TemperatureControl) (located ?TEMP ?ROOM) (part ?TEMP ?DEVICE)))) |
Hotel.kif 1505-1513 | If temperature control is an amenity in X, then there exist Y, Z, W such that Z is an instance of X, Y is an instance of air conditioner, W is an instance of temperature control, W is located at Z, and W is a part of Y |
| (=> (roomAmenity ?ROOM MotionPicture) (exists (?R ?MS ?MP) (and (instance ?R ?ROOM) (instance ?MS MediaSystem) (located ?MS ?R) (instance ?MP MotionPicture) (modalAttribute (exists (?RL) (and (instance ?RL RadiatingLight) (instrument ?RL ?MS) (patient ?RL ?MP))) Possibility)))) |
Hotel.kif 1517-1530 | If motion picture is an amenity in X, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of X (3) Z is an instance of media system (4) Z is located at Y (5) W is an instance of motion picture (6) the statement there exists V such that V is an instance of radiating light (7) Z is an instrument for V (8) W is a patient of V has the modal force of possibility |
| (=> (roomAmenity ?X HotelMiniBar) (exists (?ROOM ?BAR ?HOTEL) (and (instance ?ROOM ?X) (element ?ROOM (PropertyFn ?HOTEL)) (instance ?BAR HotelMiniBar) (located ?BAR ?ROOM) (forall (?ITEM) (=> (member ?ITEM ?BAR) (exists (?AMT) (price ?ITEM ?AMT ?HOTEL))))))) |
Hotel.kif 1738-1750 | If mini bar is an amenity in X, then there exist Y, Z, W such that Y is an instance of X, Y is an element of belongings of W, Z is an instance of mini bar, Z is located at Y, and V V is a member of Zthere exists U such that V is price U for W |
| consequent |
|
|
| (=> (allRoomsPhysicalAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ)))) |
Hotel.kif 171-176 | If all rooms in X have Y, then For all HotelUnit Z: if Z is a member type of X, then Y is an amenity in Z |
| (=> (someRoomsPhysicalAmenity ?INV ?OBJ) (exists (?X) (and (memberType ?INV ?X) (roomAmenity ?X ?OBJ)))) |
Hotel.kif 187-192 | If some rooms in X have Y, then there exists Z such that Z is a member type of X and Y is an amenity in Z |
| (=> (someRoomsServiceAmenity ?INV ?SVC) (exists (?X) (and (memberType ?INV ?X) (roomAmenity ?X ?SVC)))) |
Hotel.kif 203-208 | If some rooms in X have Y, then there exists Z such that Z is a member type of X and Y is an amenity in Z |
| (=> (allRoomsServiceAmenity ?INV ?OBJ) (forall (?X) (=> (memberType ?INV ?X) (roomAmenity ?X ?OBJ)))) |
Hotel.kif 218-223 | If all rooms in X have service Y, then For all HotelUnit Z: if Z is a member type of X, then Y is an amenity in Z |
|