No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21822-21822 | Bomb is a subclass of weapon |
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. | 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 21865-21865 | 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 |
![]() |