CoalIndustry - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8424-8424
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9078-9078
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9081-9081
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1713-1713	例煤炭工業 and 行業屬性

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1714-1714	子屬性採煤 and 煤炭工業
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1715-1715	子屬性煤炭產品製造業 and 煤炭工業
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15336-15336
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15335-15335
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15334-15334