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 e' uma instancia de 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 |