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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WinterSeason
WinterSeason(winter season)
winter, winter_season, wintertime, 冬季

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 16926-16927
(equal WinterSeason
    (RecurrentTimeIntervalFn December February))
Geography.kif 1608-1608 Winter season is equal to the recurring period from December to February
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/commons/ 0/ 05/ Schneelandschaft_Furx.JPG") pictureList.kif 4952-4952 "http://upload.wikimedia.org/wikipedia/commons/0/05/ Schneelandschaft_Furx.JPG" is a URL depicting winter season
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Windbuchencom.jpg") pictureList.kif 5096-5096 "http://upload.wikimedia.org/wikipedia/commons/9/95/ Windbuchencom.jpg" is a URL depicting winter season
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg") pictureList.kif 5098-5098 "http://upload.wikimedia.org/wikipedia/en/0/08/Seasons3.svg" is a URL depicting winter season
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/en/a/ a6/ Skoropud.jpg") pictureList.kif 5097-5097 "http://upload.wikimedia.org/wikipedia/en/a/a6/Skoropud.jpg" is a URL depicting winter season
(subclass WinterSeason SeasonOfYear) Mid-level-ontology.kif 16925-16925 Winter season is a subclass of season of year

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


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 16915-16915 Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season
(termFormat ChineseLanguage WinterSeason "冬季") domainEnglishFormat.kif 63163-63163 "冬季" is the printable form of winter season in ChineseLanguage
(termFormat ChineseTraditionalLanguage WinterSeason "冬季") domainEnglishFormat.kif 63162-63162 "冬季" is the printable form of winter season in ChineseTraditionalLanguage
(termFormat EnglishLanguage WinterSeason "winter season") domainEnglishFormat.kif 63161-63161 "winter season" is the printable form of winter season in english language

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


(=>
    (instance ?WINTER WinterSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))
Mid-level-ontology.kif 16936-16941
(=>
    (instance ?WINTER WinterSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?WINTER ?SPRING))))
Mid-level-ontology.kif 16929-16934

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


(=>
    (instance ?AREA ContinentalClimateZone)
    (coldSeasonInArea ?AREA WinterSeason))
Geography.kif 1426-1428
(=>
    (instance ?AREA MediterraneanClimateZone)
    (coolSeasonInArea ?AREA WinterSeason))
Geography.kif 1404-1406
(=>
    (instance ?AREA MediterraneanClimateZone)
    (rainySeasonInArea ?AREA WinterSeason))
Geography.kif 1412-1414
(=>
    (instance ?AREA MidlatitudeContinentalClimateZone)
    (coolSeasonInArea ?AREA WinterSeason))
Geography.kif 1441-1443
(=>
    (instance ?AUTUMN FallSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))
Mid-level-ontology.kif 16992-16997
(=>
    (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 1190-1200
(=>
    (instance ?SPRING SpringSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?WINTER ?SPRING))))
Mid-level-ontology.kif 16956-16961


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners