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

KB Term:  Term intersection
English Word: 

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

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


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

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


(termFormat EnglishLanguage FallSeason "fall season") domainEnglishFormat.kif 23188-23188
(termFormat ChineseTraditionalLanguage FallSeason "秋季") domainEnglishFormat.kif 23189-23189
(termFormat ChineseLanguage FallSeason "秋季") domainEnglishFormat.kif 23190-23190

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


(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 ?AUTUMN FallSeason)
    (exists (?SUMMER)
        (and
            (instance ?SUMMER SummerSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))		 Mid-level-ontology.kif 21139-21144 If X is an instance of fall season, then there exists Y such that Y is an instance of summer season and Y meets X
(=>
    (instance ?AUTUMN FallSeason)
    (exists (?WINTER)
        (and
            (instance ?WINTER WinterSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))		 Mid-level-ontology.kif 21146-21151 If X is an instance of fall season, then there exists Y such that Y is an instance of winter season and X meets Y

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


(=>
    (instance ?WINTER WinterSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?AUTUMN ?WINTER))))		 Mid-level-ontology.kif 21090-21095 If X is an instance of winter season, then there exists Y such that Y is an instance of fall season and Y meets X
(=>
    (instance ?SUMMER SummerSeason)
    (exists (?AUTUMN)
        (and
            (instance ?AUTUMN FallSeason)
            (meetsTemporally ?SUMMER ?AUTUMN))))		 Mid-level-ontology.kif 21128-21133 If X is an instance of summer season, then there exists Y such that Y is an instance of fall season and X meets Y


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