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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FallSeason
FallSeason(fall season)
autumn, fall

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


(documentation FallSeason EnglishLanguage "The SeasonOfYear that begins at the autumnal equinox and ends at the winter solstice.") Mid-level-ontology.kif 19226-19227
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1666-1666 Fall season is equal to the recurring period from September to November
(externalImage FallSeason "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0d/ Red_autumn_leaves.jpg") pictureList.kif 2579-2579
(externalImage FallSeason "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Czechia%2C_Jicin%2C_Wallenstein%27s_alley.jpg") pictureList.kif 2467-2467
(externalImage FallSeason "http://upload.wikimedia.org/wikipedia/commons/ 7/ 78/ Fall_Colors.JPG") pictureList.kif 2578-2578
(subclass FallSeason SeasonOfYear) Mid-level-ontology.kif 19225-19225 Fall season is a subclass of season of year

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


(termFormat ChineseLanguage FallSeason "秋季") domainEnglishFormat.kif 23194-23194
(termFormat ChineseTraditionalLanguage FallSeason "秋季") domainEnglishFormat.kif 23193-23193
(termFormat EnglishLanguage FallSeason "fall season") domainEnglishFormat.kif 23192-23192

appearance as argument number 5
-------------------------


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 19159-19159 Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season

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


(=>
    (instance ?AUTUMN FallSeason)
    (exists (?SUMMER)
        (and
            (instance ?SUMMER SummerSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19229-19234
(=>
    (instance ?AUTUMN FallSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19236-19241

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


(=>
    (instance ?SUMMER SummerSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 19218-19223
(=>
    (instance ?WINTER WinterSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))
Mid-level-ontology.kif 19180-19185


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