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

Formal Language: 


KB Term:  Term intersection
English Word: 

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

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


(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 20732-20735
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1822-1822 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
(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
(subclass SpringSeason SeasonOfYear) Mid-level-ontology.kif 20731-20731 Spring season is a subclass of season of year

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


(termFormat ChineseLanguage SpringSeason "春暖花开的季节") domainEnglishFormat.kif 54856-54856
(termFormat ChineseTraditionalLanguage SpringSeason "春暖花開的季節") domainEnglishFormat.kif 54855-54855
(termFormat EnglishLanguage SpringSeason "spring season") domainEnglishFormat.kif 54854-54854

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


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 20703-20703 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 20737-20742
(=>
    (instance ?SPRING SpringSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?WINTER ?SPRING))))
Mid-level-ontology.kif 20744-20749

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


(=>
    (instance ?SUMMER SummerSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?SPRING ?SUMMER))))
Mid-level-ontology.kif 20755-20760
(=>
    (instance ?WINTER WinterSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?WINTER ?SPRING))))
Mid-level-ontology.kif 20717-20722


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