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 | Oil and gas extraction is a subattribute of mining |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | naics.kif 656-656 | Crude petroleum and natural gas extraction is a subattribute of oil and gas extraction |
No TPTP formula. May not be expressible in strict first order. | naics.kif 663-663 | Natural gas liquid extraction is a subattribute of oil and gas extraction |
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 |