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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 17313-17315
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1105-1105
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17312-17312 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 21390-21390 Bomb is a subclass of explosive device
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17327-17327 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 22845-22845
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22844-22844
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22843-22843

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17340-17345
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17317-17325

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


No TPTP formula. May not be expressible in strict first order. Military.kif 177-185


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