No TPTP formula. May not be expressible in strict first order. |
naics.kif 670-670 |
采矿除石油和天然气 是 矿业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 650-650 |
石油和天然气开采 是 矿业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 880-880 |
支持采矿活动 是 矿业 的 subAttribute |
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 |
|