| No TPTP formula. May not be expressible in strict first order. | WMD.kif 80-80 | BiochemicalAgent e' uma sub-classe de Substancia Biologica Ativa |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 97-97 | AerosolizedAgent e' uma sub-classe de BiochemicalAgent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 152-152 | BiologicalAgent e' uma sub-classe de BiochemicalAgent |
| 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 1009-1009 | LifeThreateningAgent e' uma sub-classe de BiochemicalAgent |
|
|