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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - coolSeasonInArea
coolSeasonInArea

appearance as argument number 1
-------------------------


(documentation coolSeasonInArea EnglishLanguage "(coolSeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the cool season occurs during the TimeInterval ?INTERVAL. For example, (coolSeasonInArea Angola (RecurringTimeIntervalFn May October") Geography.kif 1640-1643
(domain coolSeasonInArea 1 GeographicArea) Geography.kif 1637-1637
(domainSubclass coolSeasonInArea 2 TimeInterval) Geography.kif 1638-1638
(instance coolSeasonInArea AsymmetricRelation) Geography.kif 1635-1635
(instance coolSeasonInArea BinaryPredicate) Geography.kif 1634-1634

appearance as argument number 2
-------------------------


(format ChineseLanguage coolSeasonInArea "%2 %n 是在地区 %1 的 cool 季节") domainEnglishFormat.kif 552-552
(format ChineseTraditionalLanguage coolSeasonInArea "%2 %n 是在地區 %1 的 cool 季節") domainEnglishFormat.kif 551-551
(format EnglishLanguage coolSeasonInArea "%2 is %n a cool season in area of %1") domainEnglishFormat.kif 550-550
(termFormat ChineseLanguage coolSeasonInArea "该地区凉爽的季节") domainEnglishFormat.kif 17184-17184
(termFormat ChineseTraditionalLanguage coolSeasonInArea "該地區涼爽的季節") domainEnglishFormat.kif 17183-17183
(termFormat EnglishLanguage coolSeasonInArea "cool season in area") domainEnglishFormat.kif 17182-17182

consequent
-------------------------


(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (coolSeasonInArea ?AREA WinterSeason))
Geography.kif 1452-1454
(=>
    (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)
    (coolSeasonInArea ?AREA WinterSeason))
Geography.kif 1489-1491


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