| appearance as argument number 1 |
|
| (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 1610-1613 | |
| (domain rainySeasonInArea 1 GeographicArea) | Geography.kif 1607-1607 | The number 1 argument of rainy season in area is an instance of geographic area |
| (domainSubclass rainySeasonInArea 2 TimeInterval) | Geography.kif 1608-1608 | The number 2 argument of rainy season in area is a subclass of time interval |
| (instance rainySeasonInArea AsymmetricRelation) | Geography.kif 1606-1606 | rainy season in area is an instance of asymmetric relation |
| (instance rainySeasonInArea BinaryPredicate) | Geography.kif 1605-1605 | rainy season in area is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage rainySeasonInArea "%2 %n 是区域 %1 的 rainy 季节") | domainEnglishFormat.kif 2099-2099 | |
| (format ChineseTraditionalLanguage rainySeasonInArea "%2 %n 是區域 %1 的 rainy 季節") | domainEnglishFormat.kif 2098-2098 | |
| (format EnglishLanguage rainySeasonInArea "%2 is %n a rainy season in area of %1") | domainEnglishFormat.kif 2097-2097 | |
| (termFormat ChineseLanguage rainySeasonInArea "该地区有雨季") | domainEnglishFormat.kif 48738-48738 | |
| (termFormat ChineseTraditionalLanguage rainySeasonInArea "該地區有雨季") | domainEnglishFormat.kif 48737-48737 | |
| (termFormat EnglishLanguage rainySeasonInArea "rainy season in area") | domainEnglishFormat.kif 48736-48736 |
| consequent |
|
|
| (=> (climateTypeInArea ?AREA MediterraneanClimateZone) (rainySeasonInArea ?AREA WinterSeason)) |
Geography.kif 1460-1462 |
|
| (=> (climateTypeInArea ?AREA MonsoonClimateZone) (exists (?INTERVAL) (rainySeasonInArea ?AREA ?INTERVAL))) |
Geography.kif 1341-1343 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners