No TPTP formula. May not be expressible in strict first order. |
naics.kif 670-670 |
Mining except oil and gas is a subattribute of mining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 650-650 |
Oil and gas extraction is a subattribute of mining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 880-880 |
Support activities for mining is a subattribute of mining |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37895-37895 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37894-37894 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37893-37893 |
|