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


KB Term:  Term intersection
English Word: 

  SpringSeason

 Sigma KEE - SpringSeason
SpringSeason(spring season)
spring, springtime

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


(subclass SpringSeason SeasonOfYear) Mid-level-ontology.kif 21097-21097 Spring season is a subclass of season of year
(documentation SpringSeason EnglishLanguage "The SeasonOfYear that begins at the spring equinox and ends at the summer solstice. SpringSeason is the class of TimeIntervals associated with the calendar months of March through May.") Mid-level-ontology.kif 21098-21101 Spring season is a subclass of season of year
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))		 Geography.kif 3115-3115 equal spring season and the recurring period from March to May
(externalImage SpringSeason "http://upload.wikimedia.org/wikipedia/commons/ 8/ 85/ Urban_spring_blooms.jpg") pictureList.kif 2533-2533 equal spring season and the recurring period from March to May
(externalImage SpringSeason "http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Fr%C3%BChling_bl%C3%BChender_Kirschenbaum.jpg") pictureList.kif 2637-2637 equal spring season and the recurring period from March to May

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


(termFormat EnglishLanguage SpringSeason "spring season") domainEnglishFormat.kif 54847-54847
(termFormat ChineseTraditionalLanguage SpringSeason "春暖花開的季節") domainEnglishFormat.kif 54848-54848
(termFormat ChineseLanguage SpringSeason "春暖花开的季节") domainEnglishFormat.kif 54849-54849

appearance as argument number 3
-------------------------


(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 ?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 ?SPRING SpringSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?WINTER ?SPRING))))		 Mid-level-ontology.kif 21110-21115 If X is an instance of spring season, then there exists Y such that Y is an instance of winter season and Y meets X

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


(=>
    (instance ?WINTER WinterSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?WINTER ?SPRING))))		 Mid-level-ontology.kif 21083-21088 If X is an instance of winter season, then there exists Y such that Y is an instance of spring season and X meets Y
(=>
    (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


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners