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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SpringSeason
SpringSeason

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 19161-19164
(equal SpringSeason
    (RecurrentTimeIntervalFn March May))
Geography.kif 1664-1664
(externalImage SpringSeason "http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Fr%C3%BChling_bl%C3%BChender_Kirschenbaum.jpg") pictureList.kif 2638-2638
(externalImage SpringSeason "http://upload.wikimedia.org/wikipedia/commons/ 8/ 85/ Urban_spring_blooms.jpg") pictureList.kif 2534-2534
(subclass SpringSeason SeasonOfYear) Mid-level-ontology.kif 19160-19160

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


(termFormat ChineseLanguage SpringSeason "春暖花开的季节") domainEnglishFormat.kif 54852-54852
(termFormat ChineseTraditionalLanguage SpringSeason "春暖花開的季節") domainEnglishFormat.kif 54851-54851
(termFormat EnglishLanguage SpringSeason "spring season") domainEnglishFormat.kif 54850-54850

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


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 19132-19132

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


(=>
    (instance ?SPRING SpringSeason)
    (exists (?SUMMER)
        (and
            (instance ?SUMMER SummerSeason)
            (meetsTemporally ?SPRING ?SUMMER))))
Mid-level-ontology.kif 19166-19171
(=>
    (instance ?SPRING SpringSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?WINTER ?SPRING))))
Mid-level-ontology.kif 19173-19178

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


(=>
    (instance ?SUMMER SummerSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?SPRING ?SUMMER))))
Mid-level-ontology.kif 19184-19189
(=>
    (instance ?WINTER WinterSeason)
    (exists (?SPRING)
        (and
            (instance ?SPRING SpringSeason)
            (meetsTemporally ?WINTER ?SPRING))))
Mid-level-ontology.kif 19146-19151


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