| 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 | 煤 是 採煤 的 industry 產品類別 |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1714-1714 | 子屬性 採煤 and 煤炭工業 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 676-676 | 子屬性 採煤 and 採礦除石油和天然氣 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 696-696 | 子屬性 無菸煤開採 and 採煤 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 682-682 | 子屬性 煙煤和褐煤露天採礦 and 採煤 |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 689-689 | 子屬性 煙煤地下採礦 and 採煤 |
| 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 |
|
|
|