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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(documentation SummerSeason EnglishLanguage "The SeasonOfYear that begins at the summer solstice and ends at the autumnal equinox.") Mid-level-ontology.kif 17017-17018
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))
Geography.kif 1618-1618 Summer season is equal to 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 3200-3200
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ The_Chase_Wood_-_Newbury.jpg") pictureList.kif 2993-2993
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg") pictureList.kif 3199-3199
(subclass SummerSeason SeasonOfYear) Mid-level-ontology.kif 17016-17016 Summer season is a subclass of season of year

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


(termFormat ChineseLanguage SummerSeason "夏季") domainEnglishFormat.kif 55952-55952
(termFormat ChineseTraditionalLanguage SummerSeason "夏季") domainEnglishFormat.kif 55951-55951
(termFormat EnglishLanguage SummerSeason "summer season") domainEnglishFormat.kif 55950-55950

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


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

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


(=>
    (instance ?SUMMER SummerSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 17027-17032
(=>
    (instance ?SUMMER SummerSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?SPRING ?SUMMER))))
Mid-level-ontology.kif 17020-17025

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


(=>
    (instance ?AREA ContinentalClimateZone)
    (hotSeasonInArea ?AREA SummerSeason))
Geography.kif 1442-1444
(=>
    (instance ?AREA MediterraneanClimateZone)
    (drySeasonInArea ?AREA SummerSeason))
Geography.kif 1428-1430
(=>
    (instance ?AREA MediterraneanClimateZone)
    (warmSeasonInArea ?AREA SummerSeason))
Geography.kif 1420-1422
(=>
    (instance ?AREA MidlatitudeContinentalClimateZone)
    (hotSeasonInArea ?AREA SummerSeason))
Geography.kif 1457-1459
(=>
    (instance ?AUTUMN FallSeason)
    (exists (?SUMMER)
        (and
            (instance ?SUMMER SummerSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 17038-17043
(=>
    (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 1192-1202
(=>
    (instance ?SPRING SpringSeason)
    (exists (?SUMMER)
        (and
            (instance ?SUMMER SummerSeason)
            (meetsTemporally ?SPRING ?SUMMER))))
Mid-level-ontology.kif 17002-17007


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