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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SummerSeason
SummerSeason(夏季)

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 19181-19182
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))		 Geography.kif 1665-1665 夏季 equal 从六月到八月再次发生所需的时间
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Field_Hamois_Belgium_Luc_Viatour.jpg") pictureList.kif 3199-3199
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ The_Chase_Wood_-_Newbury.jpg") pictureList.kif 2992-2992
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg") pictureList.kif 3198-3198
(subclass SummerSeason SeasonOfYear) Mid-level-ontology.kif 19180-19180 夏季 是 一年的季节 的 subclass

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


(termFormat ChineseLanguage SummerSeason "夏季") domainEnglishFormat.kif 56059-56059
(termFormat ChineseTraditionalLanguage SummerSeason "夏季") domainEnglishFormat.kif 56058-56058
(termFormat EnglishLanguage SummerSeason "summer season") domainEnglishFormat.kif 56057-56057

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


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 19132-19132 一年的季节 详尽无遗地 partition 成 冬季, 春暖花开的季节, 夏季, 和 秋季

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


(=>
    (instance ?SUMMER SummerSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))		 Mid-level-ontology.kif 19191-19196
(=>
    (instance ?SUMMER SummerSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?SPRING ?SUMMER))))		 Mid-level-ontology.kif 19184-19189

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


(=>
    (climateTypeInArea ?AREA ContinentalClimateZone)
    (hotSeasonInArea ?AREA SummerSeason))		 Geography.kif 1478-1480
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (drySeasonInArea ?AREA SummerSeason))		 Geography.kif 1464-1466
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (warmSeasonInArea ?AREA SummerSeason))		 Geography.kif 1456-1458
(=>
    (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)
    (hotSeasonInArea ?AREA SummerSeason))		 Geography.kif 1493-1495
(=>
    (instance ?AUTUMN FallSeason)
    (exists (?SUMMER)
        (and
            (instance ?SUMMER SummerSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))		 Mid-level-ontology.kif 19202-19207
(=>
    (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 1340-1350
(=>
    (instance ?SPRING SpringSeason)
    (exists (?SUMMER)
        (and
            (instance ?SUMMER SummerSeason)
            (meetsTemporally ?SPRING ?SUMMER))))		 Mid-level-ontology.kif 19166-19171


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 is open source software produced by Articulate Software and its partners