No TPTP formula. May not be expressible in strict first order. |
naics.kif 676-676 |
采煤 是 采矿除石油和天然气 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 702-702 |
金属矿开采 是 采矿除石油和天然气 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 771-771 |
非金属矿物开采和采石 是 采矿除石油和天然气 的 subAttribute |
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 |
|