No TPTP formula. May not be expressible in strict first order. | Geography.kif 1558-1558 | Polar climate zone is a subclass of climate zone |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1584-1584 | Tundra climate zone is a subclass of polar climate zone |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1591-1591 | Polar typeF climate zone is a subclass of polar climate zone |