No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21823-21823 | Bomb is a subclass of weapon |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21824-21824 | Bomb is a subclass of explosive device |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1249-1249 | Molotov cocktail is a subclass of bomb |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21866-21866 | Hand grenade is a subclass of bomb |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6072-6072 | Improvised explosive device is a subclass of bomb |