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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FallSeason

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 18570-18571
(equal FallSeason
    (RecurrentTimeIntervalFn September November))
Geography.kif 1669-1669 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 2580-2580
(externalImage FallSeason "http://upload.wikimedia.org/wikipedia/commons/ 1/ 1d/ Czechia%2C_Jicin%2C_Wallenstein%27s_alley.jpg") pictureList.kif 2468-2468
(externalImage FallSeason "http://upload.wikimedia.org/wikipedia/commons/ 7/ 78/ Fall_Colors.JPG") pictureList.kif 2579-2579
(subclass FallSeason SeasonOfYear) Mid-level-ontology.kif 18569-18569 Fall season is a subclass of season of year

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


(termFormat ChineseLanguage FallSeason "秋季") domainEnglishFormat.kif 23187-23187
(termFormat ChineseTraditionalLanguage FallSeason "秋季") domainEnglishFormat.kif 23186-23186
(termFormat EnglishLanguage FallSeason "fall season") domainEnglishFormat.kif 23185-23185

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


(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) Mid-level-ontology.kif 18503-18503 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 18573-18578
(=>
    (instance ?AUTUMN FallSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))
Mid-level-ontology.kif 18580-18585

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


(=>
    (instance ?SUMMER SummerSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))
Mid-level-ontology.kif 18562-18567
(=>
    (instance ?WINTER WinterSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))
Mid-level-ontology.kif 18524-18529


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