Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| ExecutiveLevel(executive level) |
| appearance as argument number 1 |
|
| (instance ExecutiveLevel HotelLevelAttribute) | Hotel.kif 1226-1226 | Executive level is an instance of hotel level attribute |
| (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 1227-1229 | Executive level is an instance of hotel level attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ExecutiveLevel "executive level") | Hotel.kif 1230-1230 |
| 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 1232-1244 | If executive level is an attribute of X, then For all Physical Y: if Y is an instance of hotel room and Y is located at X, then Y has the purpose there exists Z such that business executive is an attribute of Z, Z is an instance of human, and Z stays at Y |
| consequent |
|
|
| (=> (instance ?SVC ExecutiveService) (exists (?HUMAN ?LEVEL ?ROOM) (and (serviceRecipient ?SVC ?HUMAN) (stays ?HUMAN ?ROOM) (located ?ROOM ?LEVEL) (attribute ?LEVEL ExecutiveLevel)))) |
Hotel.kif 2263-2270 | If X is an instance of executive service, then there exist Y, Z, W such that Y receives a service during X, Y stays at W, W is located at Z, and executive level is an attribute of Z |
|