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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Hijacking

 Sigma KEE - Hijacking
Hijacking(劫持)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21886-21887
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2689-2689
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21885-21885 子類 劫持 and 劫財

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28197-28197
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28196-28196
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28195-28195

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21896-21901
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21889-21894
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21903-21916


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