No TPTP formula. May not be expressible in strict first order. |
naics.kif 676-676 |
子屬性 採煤 and 採礦除石油和天然氣 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 702-702 |
子屬性 金屬礦開採 and 採礦除石油和天然氣 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 771-771 |
子屬性 非金屬礦物開采和採石 and 採礦除石油和天然氣 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37907-37907 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37906-37906 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37905-37905 |
|