No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | BiochemicalAgent est une sous-classe de substance biologique active |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 97-97 | AerosolizedAgent est une sous-classe de BiochemicalAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 152-152 | BiologicalAgent est une sous-classe de BiochemicalAgent |
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 1009-1009 | LifeThreateningAgent est une sous-classe de BiochemicalAgent |