BusinessExecutive - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22156-22157
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22155-22155	Business executive is a subattribute of business person

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 22158-22158

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 22160-22167

consequent

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1224-1236	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1042-1050	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