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

KB Term:  Term intersection
English Word: 

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 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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners