FemaleExecutiveRoom - Sigma Knowledge base Browser

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	Female executive room is an instance of hotel room attribute

appearance as argument number 2

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