No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1798-1798 |
采矿除石油和天然气 是 采矿业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1799-1799 |
支持金属采矿活动 是 采矿业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1800-1800 |
除燃料外的非金属矿物的支持活动 是 采矿业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37913-37913 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37912-37912 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37911-37911 |
|