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	神经毒剂 biochemical 病毒解毒制剂阿托品对于注射
No TPTP formula. May not be expressible in strict first order.	WMD.kif 559-559	呼吸是神经毒剂的 biochemical 病毒传递
No TPTP formula. May not be expressible in strict first order.	WMD.kif 560-560	麻痹是神经毒剂的 biochemical 病毒征兆
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	神经毒剂是化学剂的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 567-567	G系列神经毒剂是神经毒剂的 subclass
No TPTP formula. May not be expressible in strict first order.	WMD.kif 592-592	V系列神经毒剂是神经毒剂的 subclass
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