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, summer_season, 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 16964-16965
(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 "http://upload.wikimedia.org/wikipedia/commons/c/c4/ Field_Hamois_Belgium_Luc_Viatour.jpg" is a URL depicting summer season
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ The_Chase_Wood_-_Newbury.jpg") pictureList.kif 2993-2993 "http://upload.wikimedia.org/wikipedia/commons/f/f6/ The_Chase_Wood_-_Newbury.jpg" is a URL depicting summer season
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg") pictureList.kif 3199-3199 "http://upload.wikimedia.org/wikipedia/en/0/08/Seasons3.svg" is a URL depicting summer season
(subclass SummerSeason SeasonOfYear) Mid-level-ontology.kif 16963-16963 Summer season is a subclass of season of year

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


(termFormat ChineseLanguage SummerSeason "夏季") domainEnglishFormat.kif 56005-56005 "夏季" is the printable form of summer season in ChineseLanguage
(termFormat ChineseTraditionalLanguage SummerSeason "夏季") domainEnglishFormat.kif 56004-56004 "夏季" is the printable form of summer season in ChineseTraditionalLanguage
(termFormat EnglishLanguage SummerSeason "summer season") domainEnglishFormat.kif 56003-56003 "summer season" is the printable form of summer season in english language

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


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 16915-16915 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 16974-16979
(=>
    (instance ?SUMMER SummerSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?SPRING ?SUMMER))))
Mid-level-ontology.kif 16967-16972

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 16985-16990
(=>
    (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 16949-16954


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