| No TPTP formula. May not be expressible in strict first order. | WMD.kif 444-444 | ChemicalAgent est une sous-classe de BiochemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 445-445 | ChemicalAgent est une sous-classe de substance compos�e |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 446-446 | ChemicalAgent est une sous-classe de substance biologique active |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 451-451 | ChemicalAgent est une sous-classe de le compl�ment de objet organique |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 475-475 | BlisterAgent est une sous-classe de ChemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 522-522 | BloodAgent est une sous-classe de ChemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 545-545 | IncapacitatingAgent est une sous-classe de ChemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 558-558 | NerveAgent est une sous-classe de ChemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 602-602 | ChokingAgent est une sous-classe de ChemicalAgent |
|
|