| CoalMining(coal mining)
|
| appearance as argument number 1 |
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 678-680 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 4617-4617 | |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1716-1716 | Coal is an industry product type of coal mining |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1714-1714 | Coal mining is a subattribute of coal industry |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 676-676 | Coal mining is a subattribute of mining except oil and gas |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 696-696 | Anthracite mining is a subattribute of coal mining |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 682-682 | Bituminous coal and lignite surface mining is a subattribute of coal mining |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 689-689 | Bituminous coal underground mining is a subattribute of coal mining |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15342-15342 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15341-15341 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15340-15340 |
|
|
|