TemperateClimateZone(temperate climate zone)![]() | ![]() | North_Temperate_Zone, South_Temperate_Zone, Temperate_Zone |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1397-1400 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 3219-3219 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2999-2999 | |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1392-1392 | Temperate climate zone is a subclass of climate zone |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1462-1462 | Continental climate zone is a subclass of temperate climate zone |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1439-1439 | Mediterranean climate zone is a subclass of temperate climate zone |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1499-1499 | Temperate summer dry climate zone is a subclass of temperate climate zone |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1491-1491 | Temperate winter dry climate zone is a subclass of temperate climate zone |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57410-57410 | Temperate winter dry climate zone is a subclass of temperate climate zone |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57409-57409 | Temperate winter dry climate zone is a subclass of temperate climate zone |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 57408-57408 | Temperate winter dry climate zone is a subclass of temperate climate zone |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1413-1419 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1403-1410 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1422-1437 |
|
![]() |
![]() |