TreeView Knowledge Base Browser - Escaping

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 17304-17306
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17303-17303	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 17308-17316	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 17318-17322	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 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