Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| rainySeasonInArea |
| appearance as argument number 1 |
|
| (instance rainySeasonInArea BinaryPredicate) | Geography.kif 3062-3062 | rainy season in area is an instance of binary predicate |
| (domain rainySeasonInArea 1 GeographicArea) | Geography.kif 3063-3063 | The number 1 argument of rainy season in area is an instance of geographic area |
| (domainSubclass rainySeasonInArea 2 TimeInterval) | Geography.kif 3064-3064 | The number 2 argument of rainy season in area is a subclass of timeframe |
| (documentation rainySeasonInArea EnglishLanguage "(rainySeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the rainy or wet season occurs during the TimeInterval ?INTERVAL. For example, (rainySeasonInArea Angola (RecurringTimeIntervalFn November April)).") | Geography.kif 3066-3069 | The number 2 argument of rainy season in area is a subclass of timeframe |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage rainySeasonInArea "%2 is %n a rainy season in area of %1") | domainEnglishFormat.kif 2101-2101 | |
| (format ChineseTraditionalLanguage rainySeasonInArea "%2 %n 是區域 %1 的 rainy 季節") | domainEnglishFormat.kif 2102-2102 | |
| (format ChineseLanguage rainySeasonInArea "%2 %n 是区域 %1 的 rainy 季节") | domainEnglishFormat.kif 2103-2103 | |
| (termFormat EnglishLanguage rainySeasonInArea "rainy season in area") | domainEnglishFormat.kif 48693-48693 | |
| (termFormat ChineseTraditionalLanguage rainySeasonInArea "該地區有雨季") | domainEnglishFormat.kif 48694-48694 | |
| (termFormat ChineseLanguage rainySeasonInArea "该地区有雨季") | domainEnglishFormat.kif 48695-48695 |
| consequent |
|
|
| (=> (climateTypeInArea ?AREA MonsoonClimateZone) (exists (?INTERVAL) (rainySeasonInArea ?AREA ?INTERVAL))) |
Geography.kif 2798-2800 | If monsoon climate zone is a climate type in area of X, then there exists Y such that Y is a rainy 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 |
|