OilAndGasExtraction - Sigma Knowledge base Browser

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	子屬性石油和天然氣開採 and 礦業

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 656-656	子屬性原油和天然氣開採 and 石油和天然氣開採
No TPTP formula. May not be expressible in strict first order.	naics.kif 663-663	子屬性天然氣液體萃取 and 石油和天然氣開採
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