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 Le nombre 1 argument de coolSeasonInArea est une instance de secteur g�ographique
(domainSubclass coolSeasonInArea 2 TimeInterval) Geography.kif 1638-1638 Le nombre 2 argument de coolSeasonInArea est une sous-classe de interval temporel
(instance coolSeasonInArea AsymmetricRelation) Geography.kif 1635-1635 coolSeasonInArea est une instance de relation asym�trique
(instance coolSeasonInArea BinaryPredicate) Geography.kif 1634-1634 coolSeasonInArea est une instance de pr�dicat binaire

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