| 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 1773-1776 | |
| (domain rainySeasonInArea 1 GeographicArea) | Geography.kif 1770-1770 | |
| (domainSubclass rainySeasonInArea 2 TimeInterval) | Geography.kif 1771-1771 | |
| (instance rainySeasonInArea BinaryPredicate) | Geography.kif 1769-1769 |
| 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 48702-48702 | |
| (termFormat ChineseTraditionalLanguage rainySeasonInArea "該地區有雨季") | domainEnglishFormat.kif 48701-48701 | |
| (termFormat EnglishLanguage rainySeasonInArea "rainy season in area") | domainEnglishFormat.kif 48700-48700 |
| consequent |
|
|
| (=> (climateTypeInArea ?AREA MediterraneanClimateZone) (rainySeasonInArea ?AREA WinterSeason)) |
Geography.kif 1624-1626 | |
| (=> (climateTypeInArea ?AREA MonsoonClimateZone) (exists (?INTERVAL) (rainySeasonInArea ?AREA ?INTERVAL))) |
Geography.kif 1505-1507 |
|
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