| No TPTP formula. May not be expressible in strict first order. |
naics.kif 886-886 |
钻井石油和天然气井 是 支持采矿活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 901-901 |
支持煤矿开采活动 是 支持采矿活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 908-908 |
支持金属采矿活动 是 支持采矿活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 915-915 |
除燃料外的非金属矿物的支持活动 是 支持采矿活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 893-893 |
支持石油和天然气业务活动 是 支持采矿活动 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56167-56167 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56166-56166 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 56165-56165 |
|
SupportActivitiesForMining