Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| DailyHousekeepingPolicy(daily housekeeping) |
| appearance as argument number 1 |
|
| (subclass DailyHousekeepingPolicy HousekeepingPolicy) | Hotel.kif 2667-2667 | Daily housekeeping is a subclass of housekeeping policy |
| (documentation DailyHousekeepingPolicy EnglishLanguage "DailyHousekeepingPolicy means that RoomCleaning is done at least once a day for the duration of a guest stay") | Hotel.kif 2668-2669 | Daily housekeeping is a subclass of housekeeping policy |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage DailyHousekeepingPolicy "daily housekeeping") | Hotel.kif 2670-2670 |
|