| No TPTP formula. May not be expressible in strict first order. | WMD.kif 444-444 | ChemicalAgent e' uma sub-classe de BiochemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 445-445 | ChemicalAgent e' uma sub-classe de Substancia Composta |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 446-446 | ChemicalAgent e' uma sub-classe de Substancia Biologica Ativa |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 451-451 | ChemicalAgent e' uma sub-classe de o complemento de Objeto Organico |
| 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 522-522 | BloodAgent e' uma sub-classe de ChemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 545-545 | IncapacitatingAgent e' uma sub-classe de ChemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 558-558 | NerveAgent e' uma sub-classe de ChemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 602-602 | ChokingAgent e' uma sub-classe de ChemicalAgent |
|
|