No TPTP formula. May not be expressible in strict first order. |
naics.kif 797-797 |
子屬性 壓碎和破碎的花崗岩採礦和採石 and 採石和採石 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 790-790 |
子屬性 壓碎和破碎的石灰石採礦和採石 and 採石和採石 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 783-783 |
子屬性 尺寸採礦和採石 and 採石和採石 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 804-804 |
子屬性 其他破碎和損壞的石材開采和採石 and 採石和採石 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55460-55460 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55459-55459 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55458-55458 |
|