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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bombing
Bombing(轰炸)

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21820-21821
No TPTP formula. May not be expressible in strict first order. pictureList.kif 4557-4557
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21819-21819 轰炸 是 摧毁 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21834-21834 汽车爆炸 是 轰炸 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21860-21860 手榴弹袭击 是 轰炸 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22034-22034 信件炸弹袭击 是 轰炸 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22051-22051 迫击炮袭击 是 轰炸 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22070-22070 火箭导弹袭击 是 轰炸 的 subclass
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22091-22091 自杀性爆炸事件 是 轰炸 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11579-11579
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11578-11578
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11577-11577

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


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


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