TreeView Knowledge Base Browser - NaturalGasIndustry

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1826-1826	天然气是天然气工业的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1822-1822	天然气工业是行业属性的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1824-1824	天然气分配是天然气工业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1823-1823	天然气液体萃取是天然气工业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1825-1825	管道输送天然气是天然气工业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39873-39873
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39872-39872
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 39871-39871