| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17841-17841 | Explosive device is a subclass of 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. | MilitaryDevices.kif 191-191 | Grenade is a subclass of explosive device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17856-17856 | Explosive mine is a subclass of explosive device |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21824-21824 | Bomb is a subclass of explosive device |
|
|