No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1819-1819 |
例 肥沃的地形 and 地形屬性 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1748-1748 |
例 平坦的地形 and 地形屬性 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1851-1851 |
例 地質穩定 and 地形屬性 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1761-1761 |
例 低地形 and 地形屬性 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1787-1787 |
例 多山的地形 and 地形屬性 |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 1773-1773 |
例 陡峭的地形 and 地形屬性 |
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 |
|