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


KB Term:  Term intersection
English Word: 

  SummerSeason

 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 20741-20742
(equal SummerSeason
    (RecurrentTimeIntervalFn June August))		 Geography.kif 3057-3057 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
(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
(subclass SummerSeason SeasonOfYear) Mid-level-ontology.kif 20740-20740 Summer season is a subclass of season of year

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


(termFormat ChineseLanguage SummerSeason "夏季") domainEnglishFormat.kif 56062-56062
(termFormat ChineseTraditionalLanguage SummerSeason "夏季") domainEnglishFormat.kif 56061-56061
(termFormat EnglishLanguage SummerSeason "summer season") domainEnglishFormat.kif 56060-56060

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


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 20692-20692 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 20751-20756
(=>
    (instance ?SUMMER SummerSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?SPRING ?SUMMER))))		 Mid-level-ontology.kif 20744-20749

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


(=>
    (climateTypeInArea ?AREA ContinentalClimateZone)
    (hotSeasonInArea ?AREA SummerSeason))		 Geography.kif 2876-2878
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (drySeasonInArea ?AREA SummerSeason))		 Geography.kif 2862-2864
(=>
    (climateTypeInArea ?AREA MediterraneanClimateZone)
    (warmSeasonInArea ?AREA SummerSeason))		 Geography.kif 2854-2856
(=>
    (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone)
    (hotSeasonInArea ?AREA SummerSeason))		 Geography.kif 2891-2893
(=>
    (instance ?AUTUMN FallSeason)
    (exists (?SUMMER)
        (and
            (instance ?SUMMER SummerSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))		 Mid-level-ontology.kif 20762-20767
(=>
    (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 1354-1364
(=>
    (instance ?SPRING SpringSeason)
    (exists (?SUMMER)
        (and
            (instance ?SUMMER SummerSeason)
            (meetsTemporally ?SPRING ?SUMMER))))		 Mid-level-ontology.kif 20726-20731


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