FemaleExecutiveRoom - Sigma Knowledge base Browser

appearance as argument number 1

(instance FemaleExecutiveRoom HotelRoomAttribute)	Hotel.kif 1045-1045	Female executive room is an instance of hotel room attribute
(documentation FemaleExecutiveRoom 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

antecedent

(=>
    (attribute ?X FemaleExecutiveRoom)
    (hasPurpose ?X
        (exists (?HUMAN)
            (and
                (instance ?HUMAN Human)
                (attribute ?HUMAN Female)
                (attribute ?HUMAN BusinessExecutive)
                (stays ?HUMAN ?X)))))

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