MustardGas - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 493-496
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7385-7385
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7386-7386
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 6715-6715
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 7387-7387
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31548-31548	roomTempState 芥子氣 and 加油站
No TPTP formula. May not be expressible in strict first order.	WMD.kif 492-492	子類芥子氣 and 發泡劑

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 503-503	子類氮芥子氣 and 芥子氣
No TPTP formula. May not be expressible in strict first order.	WMD.kif 498-498	子類硫芥子氣 and 芥子氣
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39459-39459
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39458-39458
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39457-39457