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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bombing

Sigma KEE - Bombing
Bombing(轟炸)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21251-21252
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4558-4558
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21250-21250 子類 轟炸 and Destruction

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21265-21265 子類 汽車爆炸 and 轟炸
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21291-21291 子類 手榴彈襲擊 and 轟炸
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21463-21463 子類 信件炸彈襲擊 and 轟炸
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21480-21480 子類 迫擊砲襲擊 and 轟炸
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21499-21499 子類 火箭導彈襲擊 and 轟炸
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21520-21520 子類 自殺性爆炸事件 and 轟炸
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11582-11582
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11581-11581
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11580-11580

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21258-21263


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