No TPTP formula. May not be expressible in strict first order. | WMD.kif 103-103 | BiochemicalWeapon est une sous-classe de WeaponOfMassDestruction |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 140-140 | BiologicalWeapon est une sous-classe de BiochemicalWeapon |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 453-453 | ChemicalWeapon est une sous-classe de BiochemicalWeapon |