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 |
|
|
| s__subAttribute(s__BusinessExecutive,s__BusinessPerson)
|
Mid-level-ontology.kif 24446-24446 | Business executive is a subattribute of business person |
| s__documentation(s__BusinessExecutive, s__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 |
|
|
| s__termFormat(s__EnglishLanguage, s__BusinessExecutive, "business executive") | Mid-level-ontology.kif 24449-24449 |
| antecedent |
|
|
| ! [V__X] : ((s__instance(V__X,s__AutonomousAgent) => (s__attribute(V__X,s__BusinessExecutive) => (? [V__BUSINESS,V__MANAGE] : ((s__instance(V__MANAGE,s__Managing) & s__instance(V__BUSINESS,s__Organization) & s__patient(V__MANAGE,V__BUSINESS) & s__agent(V__MANAGE,V__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 |
|
|
| ! [V__X : $i] : ((s__attribute(V__X, s__FemaleExecutiveRoom) => s__hasPurpose(V__X, ( ? [V__HUMAN:$i] : ((s__instance(V__HUMAN, s__Human) & s__attribute(V__HUMAN, s__Female) & s__attribute(V__HUMAN, s__BusinessExecutive) & s__stays(V__HUMAN, V__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 |
| ! [V__X : $i] : ((s__attribute(V__X, s__ExecutiveLevel) => ( ! [V__Y:$i] : (((s__instance(V__Y, s__HotelRoom) & s__located(V__Y, V__X)) => s__hasPurpose(V__Y, ( ? [V__HUMAN:$i] : ((s__attribute(V__HUMAN, s__BusinessExecutive) & s__instance(V__HUMAN, s__Human) & s__stays(V__HUMAN, V__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 |
|