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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 19143-19144
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1667-1667 WinterSeason est p�riode recurrente de DecembreF�vrier
(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 19142-19142 WinterSeason est une sous-classe de SeasonOfYear

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


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 19132-19132 SeasonOfYear est compl�tement d�compos� en 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 19153-19158
(=>
    (instance ?WINTER WinterSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?WINTER ?SPRING))))
Mid-level-ontology.kif 19146-19151

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 19209-19214
(=>
    (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 1340-1350
(=>
    (instance ?SPRING SpringSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?WINTER ?SPRING))))
Mid-level-ontology.kif 19173-19178


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