No TPTP formula. May not be expressible in strict first order. | Geography.kif 1558-1558 | PolarClimateZone e' uma sub-classe de ClimateZone |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1584-1584 | TundraClimateZone e' uma sub-classe de PolarClimateZone |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1591-1591 | PolarTypeFClimateZone e' uma sub-classe de PolarClimateZone |