No TPTP formula. May not be expressible in strict first order. | Geography.kif 4026-4026 | 子類 山 and 土地形式 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4027-4027 | 子類 山 and 高地地區 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4078-4078 | 子類 火山 and 山 |
![]() |