Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| BusinessExecutive(business executive) |  | executive, executive_director |
| appearance as argument number 1 |
|
|
| (subAttribute BusinessExecutive BusinessPerson) | Mid-level-ontology.kif 24446-24446 | Business executive is a subattribute of business person |
| (documentation BusinessExecutive EnglishLanguage "BusinessExecutive refers to a person responsible for the management of a business") | Mid-level-ontology.kif 24447-24448 | Business executive is a subattribute of business person |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage BusinessExecutive "business executive") | Mid-level-ontology.kif 24449-24449 |
| antecedent |
|
|
| (=> (attribute ?X BusinessExecutive) (exists (?BUSINESS ?MANAGE) (and (instance ?MANAGE Managing) (instance ?BUSINESS Organization) (patient ?MANAGE ?BUSINESS) (agent ?MANAGE ?X)))) |
Mid-level-ontology.kif 24451-24458 | If business executive is an attribute of X, then there exist Y, Z such that Z is an instance of managing, Y is an instance of organization, Y is a patient of Z, and X is an agent of Z |
| consequent |
|
|
| (=> (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 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 |
| (=> (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 X, then For all Physical Y: if Y is an instance of hotel room and Y is located at X, then Y has the purpose there exists Z such that business executive is an attribute of Z, Z is an instance of human, and Z stays at Y |
|