No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2608-2608 |
例 生物多樣性 and 生物多樣性屬 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2606-2606 |
例 生物多樣性低 and 生物多樣性屬 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 2607-2607 |
例 中程度的生物多樣性 and 生物多樣性屬 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11063-11063 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11062-11062 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 11061-11061 |
|