CrudePetroleumExtraction - Sigma Knowledge base Browser

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	子屬性原油開採 and 原油和天然氣開採
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1832-1832	子屬性原油開採 and 石油工業

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