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	煤炭工业是行业属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1714-1714	采煤是煤炭工业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1715-1715	煤炭产品制造业是煤炭工业的 subAttribute
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