Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Crib
|
|
|
| appearance as argument number 1 |
|
|
| (instance DeluxeRoom HotelRoomAttribute) | Hotel.kif 999-999 | Deluxe room is an instance of hotel room attribute |
| (documentation DeluxeRoom EnglishLanguage "DeluxeRoom describes a room that has better amenities, furnishing, size or location than a standard room") | Hotel.kif 1000-1001 | Deluxe room is an instance of hotel room attribute |
| (successorAttribute DeluxeRoom Suite) | Hotel.kif 1009-1009 | Deluxe room is an immediate successor attribute of suite |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DeluxeRoom "deluxe room") | Hotel.kif 1002-1002 | |
| (successorAttribute StandardRoom DeluxeRoom) | Hotel.kif 1003-1003 | Standard room is an immediate successor attribute of deluxe room |
| appearance as argument number 3 |
|
|
| (codeMapping RCroomType "SP" DeluxeRoom) | TravelPolicies.kif 1061-1061 | "SP" in RCroomType denotes deluxe room |
|