Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   LeftLung
|
|
|
| appearance as argument number 1 |
|
|
| (instance StandardRoom HotelRoomAttribute) | Hotel.kif 992-992 | Standard room is an instance of hotel room attribute |
| (documentation StandardRoom EnglishLanguage "StandardRoom describes the most basic room type offered by the hotel. It is mean to describe a room in relation to other rooms in the same hotel as opposed to the same type of room in a different hotel") | Hotel.kif 993-995 | Standard room is an instance of hotel room attribute |
| (successorAttributeClosure StandardRoom Suite) | Hotel.kif 997-997 | Standard room is a successor attribute of suite |
| (successorAttribute StandardRoom DeluxeRoom) | Hotel.kif 1003-1003 | Standard room is an immediate successor attribute of deluxe room |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage StandardRoom "standard room") | Hotel.kif 996-996 |
|