No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1819-1819 |
肥沃的地形 是 地形属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1748-1748 |
平坦的地形 是 地形属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1851-1851 |
地质稳定 是 地形属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1761-1761 |
低地形 是 地形属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1787-1787 |
多山的地形 是 地形属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1773-1773 |
陡峭的地形 是 地形属性 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57578-57578 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57577-57577 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 57576-57576 |
|