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

Formal Language: 


KB Term:  Term intersection
English Word: 

  rainySeasonInArea

 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 1603-1606
(domain rainySeasonInArea 1 GeographicArea) Geography.kif 1600-1600
(domainSubclass rainySeasonInArea 2 TimeInterval) Geography.kif 1601-1601
(instance rainySeasonInArea BinaryPredicate) Geography.kif 1599-1599

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 1454-1456
(=>
    (climateTypeInArea ?AREA MonsoonClimateZone)
    (exists (?INTERVAL)
        (rainySeasonInArea ?AREA ?INTERVAL)))		 Geography.kif 1335-1337


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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