No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6860-6860 |
例 瀕危物種問題 and 生物多樣性問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6862-6862 |
例 脆弱的生態系統問題 and 生物多樣性問題 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 6873-6873 |
例 土地清算問題 and 生物多樣性問題 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11075-11075 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11074-11074 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11073-11073 |
|