|
|
  ExecutiveLevel
|
|
|
| appearance as argument number 1 |
|
|
| (documentation ExecutiveLevel EnglishLanguage "ExecutiveLevel refers to a BuildingLevel in a HotelBuilding with HotelRooms that have been designed to accommodate the needs of the BusinessExecutive") | Hotel.kif 1219-1221 | |
| (instance ExecutiveLevel HotelLevelAttribute) | Hotel.kif 1218-1218 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ExecutiveLevel "executive level") | Hotel.kif 1222-1222 |
| antecedent |
|
|
| (=> (attribute ?X ExecutiveLevel) (forall (?Y) (=> (and (instance ?Y HotelRoom) (located ?Y ?X)) (hasPurpose ?Y (exists (?HUMAN) (and (attribute ?HUMAN BusinessExecutive) (instance ?HUMAN Human) (stays ?HUMAN ?Y))))))) |
Hotel.kif 1224-1236 |
| consequent |
|
|
| (=> (instance ?SVC ExecutiveService) (exists (?HUMAN ?LEVEL ?ROOM) (and (serviceRecipient ?SVC ?HUMAN) (stays ?HUMAN ?ROOM) (located ?ROOM ?LEVEL) (attribute ?LEVEL ExecutiveLevel)))) |
Hotel.kif 2245-2252 |
|
|
|