Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
MediterraneanClimateZone(mediterranean climate zone)
|
| appearance as argument number 1 |
|
| (subclass MediterraneanClimateZone TemperateClimateZone) | Geography.kif 2902-2902 | Mediterranean climate zone is a subclass of temperate climate zone |
| (documentation MediterraneanClimateZone EnglishLanguage "MediterraneanClimateZone is a subclass of TemperateClimateZone that is characterized by mild, cool, wet winters and warm dry summers. Mediterranean shores are the archetype, but the Mediterranean climate is also found elsewhere.") | Geography.kif 2904-2907 | Mediterranean climate zone is a subclass of temperate climate zone |
| (externalImage MediterraneanClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 74/ Medclim.png") | pictureList.kif 2489-2489 | Mediterranean climate zone is a subclass of temperate climate zone |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (climateTypeInArea ?AREA MediterraneanClimateZone) (coolSeasonInArea ?AREA WinterSeason)) |
Geography.kif 2909-2911 | If mediterranean climate zone is a climate type in area of X, then winter season is a cool season in area of X |
| (=> (climateTypeInArea ?AREA MediterraneanClimateZone) (warmSeasonInArea ?AREA SummerSeason)) |
Geography.kif 2913-2915 | If mediterranean climate zone is a climate type in area of X, then summer season is a warm season in area of X |
| (=> (climateTypeInArea ?AREA MediterraneanClimateZone) (rainySeasonInArea ?AREA WinterSeason)) |
Geography.kif 2917-2919 | If mediterranean climate zone is a climate type in area of X, then winter season is a rainy season in area of X |
| (=> (climateTypeInArea ?AREA MediterraneanClimateZone) (drySeasonInArea ?AREA SummerSeason)) |
Geography.kif 2921-2923 | If mediterranean climate zone is a climate type in area of X, then summer season is a dry season in area of X |
|