Entering - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Entering

Entering(entering)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18616-18616	Entering is disjoint from exiting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18613-18615	Entering is disjoint from exiting
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18612-18612	Entering is a subclass of translocation

appearance as argument number 2

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

domainEnglishFormat.kif 22200-22200

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7880-7888	If a process is an instance of entering and the process ends up at a region and physically restricted region is an attribute of the region and not another region is the entrance for the region , then the statement the other region is path along which the process occurs has the modal force of prohibition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7869-7878	If a process is an instance of entering and the process ends up at an object and physically restricted region is an attribute of the object, then the statement there exists an entity such that the entity is the entrance for the object and the entity is path along which the process occurs has the modal force of obligation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18618-18631	If a process is an instance of entering, then there exist an entity and an agent such that the entity is an instance of region and the process ends up at the entity and the agent is an agent of the process and the agent is an instance of agent and the agent is outside to the entity holds during the beginning of the time of existence of the process and the agent is inside to the entity holds during the end of the time of existence of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7834-7845	If a region is an instance of Facility and physically restricted region is an attribute of the region and another region is the entrance for the region , then the other region has the purpose there exists an entity such that the entity is an instance of entering or the entity is an instance of exiting and the other region is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7847-7859	If an object is an instance of Facility and physically restricted region is an attribute of the object, then the statement there exist an entity and another entity such that the entity is an instance of entering or the entity is an instance of exiting and the other entity is path along which the entity occurs and not the other entity is the entrance for the object has the modal force of unlikely

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

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