Escaping - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Escaping

Escaping(escaping)

Hegira, Hejira, escape, flight, skedaddle

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17277-17279
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17276-17276	Escaping is a subclass of translocation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22402-22402
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22401-22401
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22400-22400

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17281-17289	If a process is an instance of escaping and an agent is an agent of the process, then there exists another process such that the other process is an instance of confining and the agent is a patient of the other process and the time of existence of the other process meets the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17291-17295	If an entity is an instance of escaping, then there doesn't exist a cognitive agent such that the cognitive agent has the right to perform the cognitive agent is an agent of the entity

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