No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17841-17841 | ExplosiveDevice e' uma sub-classe de Aparelho |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 130-130 | NuclearWeapon e' uma sub-classe de ExplosiveDevice |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 191-191 | Grenade e' uma sub-classe de ExplosiveDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17856-17856 | ExplosiveMine e' uma sub-classe de ExplosiveDevice |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21824-21824 | Bomb e' uma sub-classe de ExplosiveDevice |