No TPTP formula. May not be expressible in strict first order. | Geography.kif 4043-4043 | 爬坡道 是 土地形式 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4044-4044 | 爬坡道 是 高地地区 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4085-4085 | 火山锥 是 爬坡道 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4385-4385 | Dune 是 爬坡道 的 subclass |