| 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 1603-1606 | |
| (domain rainySeasonInArea 1 GeographicArea) | Geography.kif 1600-1600 | The number 1 argument of rainy season in area is an instance of geographic area |
| (domainSubclass rainySeasonInArea 2 TimeInterval) | Geography.kif 1601-1601 | The number 2 argument of rainy season in area is a subclass of time interval |
| (instance rainySeasonInArea BinaryPredicate) | Geography.kif 1599-1599 | rainy season in area is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage rainySeasonInArea "%2 %n 是区域 %1 的 rainy 季节") | domainEnglishFormat.kif 2103-2103 | |
| (format ChineseTraditionalLanguage rainySeasonInArea "%2 %n 是區域 %1 的 rainy 季節") | domainEnglishFormat.kif 2102-2102 | |
| (format EnglishLanguage rainySeasonInArea "%2 is %n a rainy season in area of %1") | domainEnglishFormat.kif 2101-2101 | |
| (termFormat ChineseLanguage rainySeasonInArea "该地区有雨季") | domainEnglishFormat.kif 48731-48731 | |
| (termFormat ChineseTraditionalLanguage rainySeasonInArea "該地區有雨季") | domainEnglishFormat.kif 48730-48730 | |
| (termFormat EnglishLanguage rainySeasonInArea "rainy season in area") | domainEnglishFormat.kif 48729-48729 |
| consequent |
|
|
| (=> (climateTypeInArea ?AREA MediterraneanClimateZone) (rainySeasonInArea ?AREA WinterSeason)) |
Geography.kif 1454-1456 |
|
| (=> (climateTypeInArea ?AREA MonsoonClimateZone) (exists (?INTERVAL) (rainySeasonInArea ?AREA ?INTERVAL))) |
Geography.kif 1335-1337 |
|
|
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