|
|
  CoalMining
|
|
|
| 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 | industryProductType CoalMining and Coal |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1714-1714 | CoalMining est un sous-attribut de CoalIndustry |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 676-676 | CoalMining est un sous-attribut de MiningExceptOilAndGas |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 696-696 | AnthraciteMining est un sous-attribut de CoalMining |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 682-682 | BituminousCoalAndLigniteSurfaceMining est un sous-attribut de CoalMining |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 689-689 | BituminousCoalUndergroundMining est un sous-attribut de CoalMining |
| 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 |
|
|
|
