| 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 22105-22106 | |
| (subAttribute BusinessExecutive BusinessPerson) | Mid-level-ontology.kif 22104-22104 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BusinessExecutive "business executive") | Mid-level-ontology.kif 22107-22107 |
| antecedent |
|
|
| (=> (attribute ?X BusinessExecutive) (exists (?BUSINESS ?MANAGE) (and (instance ?MANAGE Managing) (instance ?BUSINESS Organization) (patient ?MANAGE ?BUSINESS) (agent ?MANAGE ?X)))) |
Mid-level-ontology.kif 22109-22116 |
| 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 |
|
|
|