| ClimateZone(climate zone)
| | climatic_zone |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1271-1276 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2446-2446 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 2554-2554 | |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1269-1269 | Climate zone is a subclass of attribute |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1345-1345 | Arid climate zone is a subclass of climate zone |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1514-1514 | Cold climate zone is a subclass of climate zone |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1482-1482 | Midlatitude continental climate zone is a subclass of climate zone |
| 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 1396-1396 | Semiarid climate zone is a subclass of climate zone |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1398-1398 | Temperate climate zone is a subclass of climate zone |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1278-1278 | Tropical climate zone is a subclass of climate zone |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15156-15156 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15155-15155 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15154-15154 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1246-1246 | The number 2 argument of climate type in area is a subclass of climate zone |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1263-1267 |
|
|
|
|