|
|
  FemaleExecutiveRoom
|
|
|
| appearance as argument number 1 |
|
|
| (documentation FemaleExecutiveRoom EnglishLanguage "FemaleExecutiveRoom describes a room that has been designed for the female executive") | Hotel.kif 1038-1039 | |
| (instance FemaleExecutiveRoom HotelRoomAttribute) | Hotel.kif 1037-1037 | 例 FemaleExecutiveRoom and HotelRoomAttribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FemaleExecutiveRoom "female executive room") | Hotel.kif 1040-1040 |
| antecedent |
|
|
| (=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X))))) |
Hotel.kif 1042-1050 |
|
|
|