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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Explosion

Sigma KEE - Explosion
Explosion(explosion)
airburst, big_bang, blow_up, blowup, detonate, detonation, explode, explosion, fragmentation, inflation, rocket_propulsion

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15860-15861
No TPTP formula. May not be expressible in strict first order. pictureList.kif 420-420
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15859-15859 Explosion is a subclass of radiating

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 6277-6277 Shrapnel explosion is a subclass of explosion
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22846-22846
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22845-22845
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22844-22844

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


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1409-1418
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15870-15872
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15863-15868

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Cars.kif 349-361
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1398-1407
No TPTP formula. May not be expressible in strict first order. Cars.kif 491-500
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17873-17881
No TPTP formula. May not be expressible in strict first order. Cars.kif 280-289
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1350-1352
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17892-17894
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2103-2118


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