Lewisite - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 507-507	路易氏剂 biochemical 病毒解毒制剂二巯基丙醇对于遮盖
No TPTP formula. May not be expressible in strict first order.	WMD.kif 508-511
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4769-4769
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31551-31551	roomTempState 路易氏剂 and 液体
No TPTP formula. May not be expressible in strict first order.	WMD.kif 506-506	路易氏剂是发泡剂的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34181-34181
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34180-34180
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34179-34179