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 19170-19171
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))		 Geography.kif 1667-1667
(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 19169-19169

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


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 19159-19159
(termFormat ChineseLanguage WinterSeason "冬季") domainEnglishFormat.kif 63215-63215
(termFormat ChineseTraditionalLanguage WinterSeason "冬季") domainEnglishFormat.kif 63214-63214
(termFormat EnglishLanguage WinterSeason "winter season") domainEnglishFormat.kif 63213-63213

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


(=>
    (instance ?WINTER WinterSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))		 Mid-level-ontology.kif 19180-19185
(=>
    (instance ?WINTER WinterSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?WINTER ?SPRING))))		 Mid-level-ontology.kif 19173-19178

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 19236-19241
(=>
    (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 19200-19205


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