No TPTP formula. May not be expressible in strict first order. |
naics.kif 846-846 |
其他非金属矿物开采和采石 是 非金属矿物开采和采石 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 811-811 |
砂砾粘土和陶瓷和难处理矿物开采和采石 是 非金属矿物开采和采石 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 777-777 |
采石和采石 是 非金属矿物开采和采石 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40809-40809 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40808-40808 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40807-40807 |
|