No TPTP formula. May not be expressible in strict first order. |
naics.kif 839-839 |
粘土和陶瓷及耐火矿物开采 是 砂砾粘土和陶瓷和难处理矿物开采和采石 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 819-819 |
建筑砂和砾石开采 是 砂砾粘土和陶瓷和难处理矿物开采和采石 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 826-826 |
工业采砂 是 砂砾粘土和陶瓷和难处理矿物开采和采石 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 832-832 |
高岭土和球粘土开采 是 砂砾粘土和陶瓷和难处理矿物开采和采石 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51069-51069 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51068-51068 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 51067-51067 |
|