BusinessExecutive - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BusinessExecutive EnglishLanguage "BusinessExecutive refers to a person responsible for the management of a business")	Mid-level-ontology.kif 23816-23817
(subAttribute BusinessExecutive BusinessPerson)	Mid-level-ontology.kif 23815-23815	Business executive is a subattribute of business person

appearance as argument number 2

Mid-level-ontology.kif 23818-23818

antecedent

(=>
    (attribute ?X BusinessExecutive)
    (exists (?BUSINESS ?MANAGE)
        (and
            (instance ?MANAGE Managing)
            (instance ?BUSINESS Organization)
            (patient ?MANAGE ?BUSINESS)
            (agent ?MANAGE ?X))))

Mid-level-ontology.kif 23820-23827

consequent

(=> (attribute ?X ExecutiveLevel) (forall (?Y) (=> (and (instance ?Y HotelRoom) (located ?Y ?X)) (hasPurpose ?Y (exists (?HUMAN) (and (attribute ?HUMAN BusinessExecutive) (instance ?HUMAN Human) (stays ?HUMAN ?Y)))))))	Hotel.kif 1232-1244	If executive level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical has the purpose there exists an entity such that business executive is an attribute of the entity and the entity is an instance of human and the entity stays at the physical
(=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X)))))	Hotel.kif 1050-1058	If female executive room is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of human and female is an attribute of the entity and business executive is an attribute of the entity and the entity stays at the object