TreeView Knowledge Base Browser - ExecutiveLevel

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ExecutiveLevel

ExecutiveLevel(executive level)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1219-1221
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1218-1218	Executive level is an instance of hotel level attribute

appearance as argument number 2

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

Hotel.kif 1222-1222

antecedent

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

consequent

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

Hotel.kif 2245-2252

If a service is an instance of executive service,
then there exist a human, an object and a temporary residence such that the human receives a service during the service and the human stays at the temporary residence and the temporary residence is located at the object and executive level is an attribute of the object

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners