|
|
   MacOSX10_1
|
|
|
| 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 | 采煤 是 煤炭工业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 676-676 | 采煤 是 采矿除石油和天然气 的 subAttribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | naics.kif 696-696 | 无烟煤开采 是 采煤 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 682-682 | 烟煤和褐煤露天采矿 是 采煤 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. | naics.kif 689-689 | 烟煤地下采矿 是 采煤 的 subAttribute |
| 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 |
|
|
|
