No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21823-21823 | Bomb e' uma sub-classe de Arma |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21824-21824 | Bomb e' uma sub-classe de ExplosiveDevice |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1249-1249 | MolotovCocktail e' uma sub-classe de Bomb |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21866-21866 | HandGrenade e' uma sub-classe de Bomb |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 6072-6072 | IED e' uma sub-classe de Bomb |