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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WinterSeason

 Sigma KEE - WinterSeason
WinterSeason

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


(documentation WinterSeason EnglishLanguage "The SeasonOfYear that begins at the winter solstice and ends at the spring equinox.") Mid-level-ontology.kif 19142-19143
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))		 Geography.kif 1667-1667 WinterSeason is uguale a il periodo ricorrente da Dicembre a Febbraio
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/commons/ 0/ 05/ Schneelandschaft_Furx.JPG") pictureList.kif 4951-4951
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Windbuchencom.jpg") pictureList.kif 5095-5095
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg") pictureList.kif 5097-5097
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/en/a/ a6/ Skoropud.jpg") pictureList.kif 5096-5096
(subclass WinterSeason SeasonOfYear) Mid-level-ontology.kif 19141-19141 WinterSeason è una sottoclasse di SeasonOfYear

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


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 19131-19131 SeasonOfYear è esaustivamente partizionato in WinterSeason, SpringSeason, SummerSeason, + FallSeason
(termFormat ChineseLanguage WinterSeason "冬季") domainEnglishFormat.kif 63213-63213
(termFormat ChineseTraditionalLanguage WinterSeason "冬季") domainEnglishFormat.kif 63212-63212
(termFormat EnglishLanguage WinterSeason "winter season") domainEnglishFormat.kif 63211-63211

antecedent
-------------------------


(=>
    (instance ?WINTER WinterSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))		 Mid-level-ontology.kif 19152-19157
(=>
    (instance ?WINTER WinterSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?WINTER ?SPRING))))		 Mid-level-ontology.kif 19145-19150

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


(=>
    (climateTypeInArea ?AREA ColdClimateZone)
    (exists (?MO ?AMOUNT)
        (and
            (instance ?MO Month)
            (temporalPart ?MO WinterSeason)
            (averageTemperatureForPeriod ?AREA ?MO
                (MeasureFn ?AMOUNT CelsiusDegree))
            (lessThan ?AMOUNT -3.0))))		 Geography.kif 1533-1541
(=>
    (climateTypeInArea ?AREA ContinentalClimateZone)
    (coldSeasonInArea ?AREA WinterSeason))		 Geography.kif 1474-1476
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (coolSeasonInArea ?AREA WinterSeason))		 Geography.kif 1452-1454
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (rainySeasonInArea ?AREA WinterSeason))		 Geography.kif 1460-1462
(=>
    (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)
    (coolSeasonInArea ?AREA WinterSeason))		 Geography.kif 1489-1491
(=>
    (instance ?AUTUMN FallSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))		 Mid-level-ontology.kif 19208-19213
(=>
    (instance ?O OlympicGames)
    (or
        (exists (?W)
            (and
                (instance ?W WinterSeason)
                (temporalPart
                    (WhenFn ?O) ?W)))
        (exists (?S)
            (and
                (instance ?S SummerSeason)
                (temporalPart
                    (WhenFn ?O) ?S)))))		 Sports.kif 1341-1351
(=>
    (instance ?SPRING SpringSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?WINTER ?SPRING))))		 Mid-level-ontology.kif 19172-19177


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