WinterSeason - Sigma Knowledge base Browser

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, 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 20714-20715
(equal WinterSeason (RecurrentTimeIntervalFn December February))	Geography.kif 1792-1792	equal winter season and the recurring period from December to February
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/commons/ 0/ 05/ Schneelandschaft_Furx.JPG")	pictureList.kif 4950-4950	equal winter season and the recurring period from December to February
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Windbuchencom.jpg")	pictureList.kif 5094-5094	equal winter season and the recurring period from December to February
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg")	pictureList.kif 5096-5096	equal winter season and the recurring period from December to February
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/en/a/ a6/ Skoropud.jpg")	pictureList.kif 5095-5095	equal winter season and the recurring period from December to February
(subclass WinterSeason SeasonOfYear)	Mid-level-ontology.kif 20713-20713	Winter season is a subclass of season of year

appearance as argument number 2

(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason)	Mid-level-ontology.kif 20703-20703	Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season
(termFormat ChineseLanguage WinterSeason "冬季")	domainEnglishFormat.kif 63207-63207	Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season
(termFormat ChineseTraditionalLanguage WinterSeason "冬季")	domainEnglishFormat.kif 63206-63206	Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season
(termFormat EnglishLanguage WinterSeason "winter season")	domainEnglishFormat.kif 63205-63205	Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season

antecedent

(=> (instance ?WINTER WinterSeason) (exists (?AUTUMN) (and (instance ?AUTUMN FallSeason) (meetsTemporally ?AUTUMN ?WINTER))))	Mid-level-ontology.kif 20724-20729	If a time interval is an instance of winter season, then there exists another time interval such that the other time interval is an instance of fall season and the other time interval meets the time interval
(=> (instance ?WINTER WinterSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?WINTER ?SPRING))))	Mid-level-ontology.kif 20717-20722	If a time interval is an instance of winter season, then there exists another time interval such that the other time interval is an instance of spring season and the time interval meets the other time interval

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 1664-1672	If cold climate zone is a climate type in area of a geographic area, then there exist a time interval and a real number such that the time interval is an instance of month and the time interval is a part of winter season and the geographic area average temperature for period the time interval for the real number celsius degree(s) and the real number is less than -3.0
(=> (climateTypeInArea ?AREA ContinentalClimateZone) (coldSeasonInArea ?AREA WinterSeason))	Geography.kif 1605-1607	If continental climate zone is a climate type in area of a geographic area, then winter season is a cold season in area of the geographic area
(=> (climateTypeInArea ?AREA MediterraneanClimateZone) (coolSeasonInArea ?AREA WinterSeason))	Geography.kif 1583-1585	If mediterranean climate zone is a climate type in area of a geographic area, then winter season is a cool season in area of the geographic area
(=> (climateTypeInArea ?AREA MediterraneanClimateZone) (rainySeasonInArea ?AREA WinterSeason))	Geography.kif 1591-1593	If mediterranean climate zone is a climate type in area of a geographic area, then winter season is a rainy season in area of the geographic area
(=> (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone) (coolSeasonInArea ?AREA WinterSeason))	Geography.kif 1620-1622	If midlatitude continental climate zone is a climate type in area of a geographic area, then winter season is a cool season in area of the geographic area
(=> (instance ?AUTUMN FallSeason) (exists (?WINTER) (and (instance ?WINTER WinterSeason) (meetsTemporally ?AUTUMN ?WINTER))))	Mid-level-ontology.kif 20780-20785	If a time interval is an instance of fall season, then there exists another time interval such that the other time interval is an instance of winter season and the time interval meets the other time interval
(=> (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 1354-1364	If a physical is an instance of olympic games, then there exists a time position such that the time position is an instance of winter season and the time of existence of the physical is a part of the time position or there exists another time position such that the other time position is an instance of summer season and the time of existence of the physical is a part of the other time position
(=> (instance ?SPRING SpringSeason) (exists (?WINTER) (and (instance ?WINTER WinterSeason) (meetsTemporally ?WINTER ?SPRING))))	Mid-level-ontology.kif 20744-20749	If a time interval is an instance of spring season, then there exists another time interval such that the other time interval is an instance of winter season and the other time interval meets the time interval

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