| 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 1563-1566 | |
| (domain rainySeasonInArea 1 GeographicArea) | Geography.kif 1560-1560 | |
| (domainSubclass rainySeasonInArea 2 TimeInterval) | Geography.kif 1561-1561 | |
| (instance rainySeasonInArea AsymmetricRelation) | Geography.kif 1559-1559 | |
| (instance rainySeasonInArea BinaryPredicate) | Geography.kif 1558-1558 |
| 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 48692-48692 | |
| (termFormat ChineseTraditionalLanguage rainySeasonInArea "該地區有雨季") | domainEnglishFormat.kif 48691-48691 | |
| (termFormat EnglishLanguage rainySeasonInArea "rainy season in area") | domainEnglishFormat.kif 48690-48690 |
| consequent |
|
|
| (=> (instance ?AREA MediterraneanClimateZone) (rainySeasonInArea ?AREA WinterSeason)) |
Geography.kif 1424-1426 | |
| (=> (instance ?AREA MonsoonClimateZone) (exists (?INTERVAL) (rainySeasonInArea ?AREA ?INTERVAL))) |
Geography.kif 1323-1325 |
|
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