No TPTP formula. May not be expressible in strict first order. |
naics.kif 846-846 |
子屬性 其他非金屬礦物開采和採石 and 非金屬礦物開采和採石 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 811-811 |
子屬性 砂礫粘土和陶瓷和難處理礦物開采和採石 and 非金屬礦物開采和採石 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 777-777 |
子屬性 採石和採石 and 非金屬礦物開采和採石 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40811-40811 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40810-40810 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40809-40809 |
|