Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - rainySeasonInArea
rainySeasonInArea

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 该地区有雨季 的 1 数量 是 地理区域instance
(domainSubclass rainySeasonInArea 2 TimeInterval) Geography.kif 1608-1608 该地区有雨季 的 2 数量 是 时距subclass
(instance rainySeasonInArea AsymmetricRelation) Geography.kif 1606-1606 该地区有雨季非对称关系instance
(instance rainySeasonInArea BinaryPredicate) Geography.kif 1605-1605 该地区有雨季二元谓语instance

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 48698-48698
(termFormat ChineseTraditionalLanguage rainySeasonInArea "該地區有雨季") domainEnglishFormat.kif 48697-48697
(termFormat EnglishLanguage rainySeasonInArea "rainy season in area") domainEnglishFormat.kif 48696-48696

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