consequent

(=>     (instance ?SPRING SpringSeason)     (exists (?WINTER)         (and             (instance ?WINTER WinterSeason)             (meetsTemporally ?WINTER ?SPRING))))	Mid-level-ontology.kif 21110-21115	If X is an instance of spring season, then there exists Y such that Y is an instance of winter season and Y meets X
(=>     (instance ?AUTUMN FallSeason)     (exists (?WINTER)         (and             (instance ?WINTER WinterSeason)             (meetsTemporally ?AUTUMN ?WINTER))))	Mid-level-ontology.kif 21146-21151	If X is an instance of fall season, then there exists Y such that Y is an instance of winter season and X meets Y
(=>     (climateTypeInArea ?AREA MediterraneanClimateZone)     (coolSeasonInArea ?AREA WinterSeason))	Geography.kif 2909-2911	If mediterranean climate zone is a climate type in area of X, then winter season is a cool season in area of X
(=>     (climateTypeInArea ?AREA MediterraneanClimateZone)     (rainySeasonInArea ?AREA WinterSeason))	Geography.kif 2917-2919	If mediterranean climate zone is a climate type in area of X, then winter season is a rainy season in area of X
(=>     (climateTypeInArea ?AREA ContinentalClimateZone)     (coldSeasonInArea ?AREA WinterSeason))	Geography.kif 2931-2933	If continental climate zone is a climate type in area of X, then winter season is a cold season in area of X
(=>     (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)     (coolSeasonInArea ?AREA WinterSeason))	Geography.kif 2946-2948	If midlatitude continental climate zone is a climate type in area of X, then winter season is a cool season in area of X
(=>     (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 2990-2998	If cold climate zone is a climate type in area of X, then there exist Y and Z such that Y is an instance of month and Y is a part of winter season and X average temperature for period Y for Z celsius degree(s) and Z is less than -3.0
(=>     (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 1368-1378	If X is an instance of olympic games, then there exists Y such that Y is an instance of winter season and the time of existence of X is a part of Y or there exists Z such that Z is an instance of summer season and the time of existence of X is a part of Z

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners