Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Escaping

Sigma KEE - Escaping
Escaping(逃逸)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17276-17278
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17275-17275 逃逸易位subclass

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 17280-17288
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17290-17294


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