| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21822-21822 | Bomb est une sous-classe de arme |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21823-21823 | Bomb est une sous-classe de ExplosiveDevice |
| No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1249-1249 | MolotovCocktail est une sous-classe de Bomb |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21865-21865 | HandGrenade est une sous-classe de Bomb |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6072-6072 | IED est une sous-classe de Bomb |
|
|