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 21819-21820
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 21818-21818 Bombing est une sous-classe de destruction

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21833-21833 CarBombing est une sous-classe de Bombing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21859-21859 HandgrenadeAttack est une sous-classe de Bombing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22033-22033 LetterBombAttack est une sous-classe de Bombing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22050-22050 MortarAttack est une sous-classe de Bombing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22069-22069 RocketMissileAttack est une sous-classe de Bombing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22090-22090 SuicideBombing est une sous-classe de Bombing
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 21826-21831


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