NerveAgent |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 561-561 | biochemicalAgentAntidote NerveAgent, Atropine and Injecting |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 559-559 | biochemicalAgentDelivery NerveAgent and Respirar |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 560-560 | biochemicalAgentSyndrome NerveAgent and Paralysis |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 562-565 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9467-9467 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8612-8612 | |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 558-558 | NerveAgent e' uma sub-classe de ChemicalAgent |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 567-567 | GSeriesNerveAgent e' uma sub-classe de NerveAgent |
No TPTP formula. May not be expressible in strict first order. | WMD.kif 592-592 | VSeriesNerveAgent e' uma sub-classe de NerveAgent |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40169-40169 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40168-40168 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40167-40167 |