No TPTP formula. May not be expressible in strict first order. |
naics.kif 872-872 |
所有其他非金属矿物开采 是 其他非金属矿物开采和采石 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 865-865 |
其他化学和化肥矿物开采 是 其他非金属矿物开采和采石 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 859-859 |
磷矿开采 是 其他非金属矿物开采和采石 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 852-852 |
钾碱和硼酸盐矿物开采 是 其他非金属矿物开采和采石 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43314-43314 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43313-43313 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43312-43312 |
|