No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1798-1798 |
子屬性 採礦除石油和天然氣 and 採礦業 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1799-1799 |
子屬性 支持金屬採礦活動 and 採礦業 |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1800-1800 |
子屬性 除燃料外的非金屬礦物的支持活動 and 採礦業 |
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 |
|