Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| HotelMiniBar(mini bar) |
| appearance as argument number 1 |
|
| (subclass HotelMiniBar CollectionOfObjects) | Hotel.kif 1729-1729 | Mini bar is a subclass of collection |
| (documentation HotelMiniBar EnglishLanguage "HotelMiniBar is a CollectionOfObjects of (FoodForFn Human) that is available for a certain price") | Hotel.kif 1730-1731 | Mini bar is a subclass of collection |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage HotelMiniBar "mini bar") | Hotel.kif 1732-1732 |
| antecedent |
|
|
| (=> (instance ?X HotelMiniBar) (memberType ?X (FoodForFn Human))) |
Hotel.kif 1734-1736 | If X is an instance of mini bar, then food for human is a member type of X |
| (=> (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 |
|
|
| (=> (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 |
|