Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  SummerSeason

 Sigma KEE - SummerSeason
SummerSeason(summer season)
summer, summertime

appearance as argument number 1
-------------------------


(subclass SummerSeason SeasonOfYear) Mid-level-ontology.kif 21117-21117 Summer season is a subclass of season of year
(documentation SummerSeason EnglishLanguage "The SeasonOfYear that begins at the summer solstice and ends at the autumnal equinox.") Mid-level-ontology.kif 21118-21119 Summer season is a subclass of season of year
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))		 Geography.kif 3116-3116 equal summer season and the recurring period from June to August
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ The_Chase_Wood_-_Newbury.jpg") pictureList.kif 2991-2991 equal summer season and the recurring period from June to August
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg") pictureList.kif 3197-3197 equal summer season and the recurring period from June to August
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Field_Hamois_Belgium_Luc_Viatour.jpg") pictureList.kif 3198-3198 equal summer season and the recurring period from June to August

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


(termFormat EnglishLanguage SummerSeason "summer season") domainEnglishFormat.kif 56054-56054
(termFormat ChineseTraditionalLanguage SummerSeason "夏季") domainEnglishFormat.kif 56055-56055
(termFormat ChineseLanguage SummerSeason "夏季") domainEnglishFormat.kif 56056-56056

appearance as argument number 4
-------------------------


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 21069-21069 Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season

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


(=>
    (instance ?SUMMER SummerSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?SPRING ?SUMMER))))		 Mid-level-ontology.kif 21121-21126 If X is an instance of summer season, then there exists Y such that Y is an instance of spring season and Y meets X
(=>
    (instance ?SUMMER SummerSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))		 Mid-level-ontology.kif 21128-21133 If X is an instance of summer season, then there exists Y such that Y is an instance of fall season and X meets Y

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


(=>
    (instance ?SPRING SpringSeason)
    (exists (?SUMMER)
        (and
            (instance ?SUMMER SummerSeason)
            (meetsTemporally ?SPRING ?SUMMER))))		 Mid-level-ontology.kif 21103-21108 If X is an instance of spring season, then there exists Y such that Y is an instance of summer season and X meets Y
(=>
    (instance ?AUTUMN FallSeason)
    (exists (?SUMMER)
        (and
            (instance ?SUMMER SummerSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))		 Mid-level-ontology.kif 21139-21144 If X is an instance of fall season, then there exists Y such that Y is an instance of summer season and Y meets X
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (warmSeasonInArea ?AREA SummerSeason))		 Geography.kif 2913-2915 If mediterranean climate zone is a climate type in area of X, then summer season is a warm season in area of X
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (drySeasonInArea ?AREA SummerSeason))		 Geography.kif 2921-2923 If mediterranean climate zone is a climate type in area of X, then summer season is a dry season in area of X
(=>
    (climateTypeInArea ?AREA ContinentalClimateZone)
    (hotSeasonInArea ?AREA SummerSeason))		 Geography.kif 2935-2937 If continental climate zone is a climate type in area of X, then summer season is a hot season in area of X
(=>
    (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)
    (hotSeasonInArea ?AREA SummerSeason))		 Geography.kif 2950-2952 If midlatitude continental climate zone is a climate type in area of X, then summer season is a hot season in area of X
(=>
    (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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners