TreeView Knowledge Base Browser - CrudePetroleumExtraction

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2457-2457
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2564-2564
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2566-2566
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1843-1843	石油是原油开采的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1841-1841	原油开采是原油和天然气开采的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1832-1832	原油开采是石油工业的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17910-17910
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17909-17909
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 17908-17908