No TPTP formula. May not be expressible in strict first order. | Geography.kif 4057-4057 | 子類 火山 and 土地形式 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4079-4079 | 子類 火山 and 火山 |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4086-4086 | 子類 火山錐 and 火山 |