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	Breathing 是神經毒劑的 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	子類神經毒劑 and 化學劑

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 567-567	子類 G系列神經毒劑 and 神經毒劑
No TPTP formula. May not be expressible in strict first order.	WMD.kif 592-592	子類 V系列神經毒劑 and 神經毒劑
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