Exiting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Exiting

Exiting(exiting)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18634-18635
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18633-18633	Exiting is a subclass of translocation

appearance as argument number 2

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.	domainEnglishFormat.kif 22796-22796	Entering is disjoint from exiting

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7901-7909	If a process is an instance of exiting and the process originates 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 7890-7899	If a process is an instance of exiting and the process originates 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 18637-18650	If a process is an instance of exiting, then there exist an object and an agent such that the object is an instance of region and the process originates at the object and the agent is an agent of the process and the agent is an instance of agent and the agent is inside to the object holds during the beginning of the time of existence of the process and the agent is outside to the object 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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1361-1380	If a process is an instance of shooting and an object is an instance of gun and the object is an instrument for the process, then there exist a transfer, the objectB,, , another object,, , a third object and another region such that the transfer is a subprocess of the process and the transfer is an instance of exiting and the transfer is located at the objectB and the objectB is an instance of gun barrel and the objectB is a part of the object and the object transferred in the transfer is the other object and the other object is an instance of bullet and the other object originates at the third object and the third object is an instance of bullet cartridge and the third object is located at the objectB and the objectB is path along which the transfer occurs and the other region is the entrance for the objectB and the other region is an instance of gun muzzle

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