Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FemaleExecutiveRoom(female executive room) |
| appearance as argument number 1 |
|
| s__instance(s__FemaleExecutiveRoom,s__HotelRoomAttribute)
|
Hotel.kif 1045-1045 | Female executive room is an instance of hotel room attribute |
| s__documentation(s__FemaleExecutiveRoom, s__EnglishLanguage, "FemaleExecutiveRoom describes a room that has been designed for the female executive") | Hotel.kif 1046-1047 | Female executive room is an instance of hotel room attribute |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage, s__FemaleExecutiveRoom, "female executive room") | Hotel.kif 1048-1048 |
| antecedent |
|
|
| ! [V__X : $i] : ((s__attribute(V__X, s__FemaleExecutiveRoom) => s__hasPurpose(V__X, ( ? [V__HUMAN:$i] : ((s__instance(V__HUMAN, s__Human) & s__attribute(V__HUMAN, s__Female) & s__attribute(V__HUMAN, s__BusinessExecutive) & s__stays(V__HUMAN, V__X))))))) | Hotel.kif 1050-1058 | If female executive room is an attribute of X, then X has the purpose there exists Y such that Y is an instance of human, female is an attribute of Y, business executive is an attribute of Y, and Y stays at X |
|