TreeView Knowledge Base Browser - OilAndGasExtraction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 652-654
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1603-1603
No TPTP formula. May not be expressible in strict first order.	naics.kif 650-650	石油和天然气开采是矿业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 656-656	原油和天然气开采是石油和天然气开采的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 663-663	天然气液体萃取是石油和天然气开采的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41940-41940
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41939-41939
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41938-41938