No TPTP formula. May not be expressible in strict first order. |
naics.kif 872-872 |
子屬性 所有其他非金屬礦物開採 and 其他非金屬礦物開采和採石 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 865-865 |
子屬性 其他化學和化肥礦物開採 and 其他非金屬礦物開采和採石 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 859-859 |
子屬性 磷礦開採 and 其他非金屬礦物開采和採石 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 852-852 |
子屬性 鉀鹼和硼酸鹽礦物開採 and 其他非金屬礦物開采和採石 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43316-43316 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43315-43315 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 43314-43314 |
|