NerveAgent - Sigma Knowledge base Browser

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
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	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 40167-40167
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40166-40166
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40165-40165