| NerveAgent(nerve agent)
| | organophosphate_nerve_agent |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 561-561 | Nerve agent biochemical agent antidote atropine for injecting |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 559-559 | Breathing is a biochemical agent delivery of nerve agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 560-560 | Paralysis is a biochemical agent syndrome of nerve agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 562-565 | Paralysis is a biochemical agent syndrome of nerve agent |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9466-9466 | Paralysis is a biochemical agent syndrome of nerve agent |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8611-8611 | Paralysis is a biochemical agent syndrome of nerve agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 558-558 | Nerve agent is a subclass of chemical agent |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 567-567 | G series nerve agent is a subclass of nerve agent |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 592-592 | V series nerve agent is a subclass of nerve agent |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40180-40180 | V series nerve agent is a subclass of nerve agent |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40179-40179 | V series nerve agent is a subclass of nerve agent |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 40178-40178 | V series nerve agent is a subclass of nerve agent |
|
|
|