NerveAgent - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 556-556	Nerve agent biochemical agent antidote atropine for poking
No TPTP formula. May not be expressible in strict first order.	WMD.kif 554-554	Breathing is a biochemical agent delivery of nerve agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 555-555	Paralysis is a biochemical agent syndrome of nerve agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 557-560
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9478-9478
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8616-8616
No TPTP formula. May not be expressible in strict first order.	WMD.kif 553-553	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 562-562	G series nerve agent is a subclass of nerve agent
No TPTP formula. May not be expressible in strict first order.	WMD.kif 587-587	V series nerve agent is a subclass of nerve agent
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40152-40152
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40151-40151
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 40150-40150