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 18578-18579
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))		 Geography.kif 1670-1670
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/commons/ 0/ 05/ Schneelandschaft_Furx.JPG") pictureList.kif 4952-4952
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Windbuchencom.jpg") pictureList.kif 5096-5096
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg") pictureList.kif 5098-5098
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/en/a/ a6/ Skoropud.jpg") pictureList.kif 5097-5097
(subclass WinterSeason SeasonOfYear) Mid-level-ontology.kif 18577-18577

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


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 18567-18567
(termFormat ChineseLanguage WinterSeason "冬季") domainEnglishFormat.kif 63180-63180
(termFormat ChineseTraditionalLanguage WinterSeason "冬季") domainEnglishFormat.kif 63179-63179
(termFormat EnglishLanguage WinterSeason "winter season") domainEnglishFormat.kif 63178-63178

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


(=>
    (instance ?WINTER WinterSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))		 Mid-level-ontology.kif 18588-18593
(=>
    (instance ?WINTER WinterSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?WINTER ?SPRING))))		 Mid-level-ontology.kif 18581-18586

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 1537-1545
(=>
    (climateTypeInArea ?AREA ContinentalClimateZone)
    (coldSeasonInArea ?AREA WinterSeason))		 Geography.kif 1478-1480
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (coolSeasonInArea ?AREA WinterSeason))		 Geography.kif 1456-1458
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (rainySeasonInArea ?AREA WinterSeason))		 Geography.kif 1464-1466
(=>
    (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)
    (coolSeasonInArea ?AREA WinterSeason))		 Geography.kif 1493-1495
(=>
    (instance ?AUTUMN FallSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))		 Mid-level-ontology.kif 18644-18649
(=>
    (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 1268-1278
(=>
    (instance ?SPRING SpringSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?WINTER ?SPRING))))		 Mid-level-ontology.kif 18608-18613


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