TreeView Knowledge Base Browser - ExplosiveDevice

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ExplosiveDevice

Sigma KEE - ExplosiveDevice

ExplosiveDevice(explosive device)

Roman_candle, banger, burster, bursting_charge, catherine_wheel, charge, cracker, explosive, explosive_charge, explosive_compound, explosive_device, firecracker, firework, fizgig, maroon, pinwheel, pyrotechnic, rocket, seal_bomb, serpent, skyrocket, squib, torpedo

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17841-17843
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1104-1104
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17840-17840	Explosive device is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21823-21823	Bomb is a subclass of explosive device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17855-17855	Explosive mine is a subclass of explosive device
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 191-191	Grenade is a subclass of explosive device
No TPTP formula. May not be expressible in strict first order.	WMD.kif 130-130	Nuclear weapon is a subclass of explosive device
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22852-22852
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22851-22851
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 22850-22850

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17868-17873	If an object is an instance of explosive device, then there exists another object such that the other object is an instance of explosive substance and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17845-17853	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

consequent

No TPTP formula. May not be expressible in strict first order.

Military.kif 177-185

If a physical is an instance of bomber,
then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of explosive device

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