BusinessExecutive |
appearance as argument number 1 |
(documentation BusinessExecutive EnglishLanguage "BusinessExecutive refers to a person responsible for the management of a business") | Mid-level-ontology.kif 22208-22209 | |
(subAttribute BusinessExecutive BusinessPerson) | Mid-level-ontology.kif 22207-22207 | BusinessExecutive e' um sub-atributo de BusinessPerson |
appearance as argument number 2 |
(termFormat EnglishLanguage BusinessExecutive "business executive") | Mid-level-ontology.kif 22210-22210 |
antecedent |
(=> (attribute ?X BusinessExecutive) (exists (?BUSINESS ?MANAGE) (and (instance ?MANAGE Managing) (instance ?BUSINESS Organization) (patient ?MANAGE ?BUSINESS) (agent ?MANAGE ?X)))) |
Mid-level-ontology.kif 22212-22219 |
|
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 1224-1236 | |
(=> (attribute ?X FemaleExecutiveRoom) (hasPurpose ?X (exists (?HUMAN) (and (instance ?HUMAN Human) (attribute ?HUMAN Female) (attribute ?HUMAN BusinessExecutive) (stays ?HUMAN ?X))))) |
Hotel.kif 1042-1050 |