Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
ContinentalClimateZone(continental climate zone)
|
| appearance as argument number 1 |
|
| (subclass ContinentalClimateZone TemperateClimateZone) | Geography.kif 2925-2925 | Continental climate zone is a subclass of temperate climate zone |
| (documentation ContinentalClimateZone EnglishLanguage "ContinentalClimateZone is a subclass of TemperateClimateZone that is characterized by cold winters and hot summers.") | Geography.kif 2927-2929 | Continental climate zone is a subclass of temperate climate zone |
| (externalImage ContinentalClimateZone "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 37/ Location_Russia.svg") | pictureList.kif 2451-2451 | Continental climate zone is a subclass of temperate climate zone |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (climateTypeInArea ?AREA ContinentalClimateZone) (coldSeasonInArea ?AREA WinterSeason)) |
Geography.kif 2931-2933 | If continental climate zone is a climate type in area of X, then winter season is a cold season in area of X |
| (=> (climateTypeInArea ?AREA ContinentalClimateZone) (hotSeasonInArea ?AREA SummerSeason)) |
Geography.kif 2935-2937 | If continental climate zone is a climate type in area of X, then summer season is a hot season in area of X |
|