No TPTP formula. May not be expressible in strict first order. | WMD.kif 475-475 | BlisterAgent e' uma sub-classe de ChemicalAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 492-492 | MustardGas e' uma sub-classe de BlisterAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 506-506 | Lewisite e' uma sub-classe de BlisterAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 517-517 | PhosgeneOxime e' uma sub-classe de BlisterAgent |
![]() |