TreeView Knowledge Base Browser - Explosion

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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	If a process is an instance of taking off and an entity is a patient of the process and there doesn't exist another process such that the other process is an instance of explosion and the entity is a patient of the other process, then the entity is an instance of absolute dud
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15870-15872	If an object is an instance of explosion, then the object is capable of doing damaging as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15863-15868	If a process is an instance of explosion, then there exists another process such that the other process is an instance of chemical process and the other process causes the process

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 349-361	If an object is an instance of crankshaft and another object is an instance of intermittent combustion engine and the other object is a part of the object, then the object has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of rotating and the object is a patient of the other entity and the other entity is located at the other object and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1398-1407	If an entity is an instance of absolute dud and a process is an instance of taking off and the entity is a patient of the process, then there doesn't exist another process such that the other process is an instance of explosion and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 491-500	If a time interval is an instance of two stroke compression and the time interval is located at an object and the object is an instance of two stroke engine, then there exists another time interval such that the other time interval is an instance of explosion and the other time interval takes place during the time interval and the other time interval is located at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17873-17881	If a physical is an instance of explosive device, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the physical is an instrument for the entity and the entity causes the other entity and the other entity is an instance of damaging
No TPTP formula. May not be expressible in strict first order.	Cars.kif 280-289	If a physical is an instance of intermittent combustion engine, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of explosion and the other entity is an instance of motion and the entity is located at the physical and the other entity is located at the physical and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1350-1352	If an object is an instance of gun powder, then the object is capable of doing explosion as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17892-17894	If an object is an instance of explosive substance, then the object is capable of doing explosion as a instrument
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2103-2118	If an entity is an instance of shrapnel, then there exist an object and a process such that the object is an instance of bomb and the process is an instance of explosion and the object is an instrument for the process and the entity is a part of the object holds during immediately before the time of existence of the process and the entity is not a part of the object holds during immediately after the time of existence of the process

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