| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1263-1267 |
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1269-1269 | ClimateZone e' uma sub-classe de Atributo |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1278-1278 | TropicalClimateZone e' uma sub-classe de ClimateZone |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1345-1345 | AridClimateZone e' uma sub-classe de ClimateZone |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1396-1396 | SemiaridClimateZone e' uma sub-classe de ClimateZone |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1398-1398 | TemperateClimateZone e' uma sub-classe de ClimateZone |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1482-1482 | MidlatitudeContinentalClimateZone e' uma sub-classe de ClimateZone |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1514-1514 | ColdClimateZone e' uma sub-classe de ClimateZone |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1558-1558 | PolarClimateZone e' uma sub-classe de ClimateZone |
|
|