SummerSeason - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - SummerSeason

SummerSeason(summer season)

summer, summer_season, summertime, 夏季

appearance as argument number 1

(documentation SummerSeason EnglishLanguage "The SeasonOfYear that begins at the summer solstice and ends at the autumnal equinox.")	Mid-level-ontology.kif 16964-16965
(equal SummerSeason (RecurrentTimeIntervalFn June August))	Geography.kif 1618-1618	Summer season is equal to the recurring period from June to August
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Field_Hamois_Belgium_Luc_Viatour.jpg")	pictureList.kif 3200-3200	"http://upload.wikimedia.org/wikipedia/commons/c/c4/ Field_Hamois_Belgium_Luc_Viatour.jpg" is a URL depicting summer season
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ The_Chase_Wood_-_Newbury.jpg")	pictureList.kif 2993-2993	"http://upload.wikimedia.org/wikipedia/commons/f/f6/ The_Chase_Wood_-_Newbury.jpg" is a URL depicting summer season
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg")	pictureList.kif 3199-3199	"http://upload.wikimedia.org/wikipedia/en/0/08/Seasons3.svg" is a URL depicting summer season
(subclass SummerSeason SeasonOfYear)	Mid-level-ontology.kif 16963-16963	Summer season is a subclass of season of year

appearance as argument number 2

(termFormat ChineseLanguage SummerSeason "夏季")	domainEnglishFormat.kif 56005-56005	"夏季" is the printable form of summer season in ChineseLanguage
(termFormat ChineseTraditionalLanguage SummerSeason "夏季")	domainEnglishFormat.kif 56004-56004	"夏季" is the printable form of summer season in ChineseTraditionalLanguage
(termFormat EnglishLanguage SummerSeason "summer season")	domainEnglishFormat.kif 56003-56003	"summer season" is the printable form of summer season in english language

appearance as argument number 4

(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason)

Mid-level-ontology.kif 16915-16915

Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season

antecedent

(=> (instance ?SUMMER SummerSeason) (exists (?AUTUMN) (and (instance ?AUTUMN FallSeason) (meetsTemporally ?SUMMER ?AUTUMN))))	Mid-level-ontology.kif 16974-16979	If a time interval is an instance of summer season, then there exists another time interval such that the other time interval is an instance of fall season and the time interval meets the other time interval
(=> (instance ?SUMMER SummerSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?SPRING ?SUMMER))))	Mid-level-ontology.kif 16967-16972	If a time interval is an instance of summer season, then there exists another time interval such that the other time interval is an instance of spring season and the other time interval meets the time interval

consequent

(=> (instance ?AREA ContinentalClimateZone) (hotSeasonInArea ?AREA SummerSeason))	Geography.kif 1442-1444	If a geographic area is an instance of continental climate zone, then summer season is a hot season in area of the geographic area
(=> (instance ?AREA MediterraneanClimateZone) (drySeasonInArea ?AREA SummerSeason))	Geography.kif 1428-1430	If a geographic area is an instance of mediterranean climate zone, then summer season is a dry season in area of the geographic area
(=> (instance ?AREA MediterraneanClimateZone) (warmSeasonInArea ?AREA SummerSeason))	Geography.kif 1420-1422	If a geographic area is an instance of mediterranean climate zone, then summer season is a warm season in area of the geographic area
(=> (instance ?AREA MidlatitudeContinentalClimateZone) (hotSeasonInArea ?AREA SummerSeason))	Geography.kif 1457-1459	If a geographic area is an instance of midlatitude continental climate zone, then summer season is a hot season in area of the geographic area
(=> (instance ?AUTUMN FallSeason) (exists (?SUMMER) (and (instance ?SUMMER SummerSeason) (meetsTemporally ?SUMMER ?AUTUMN))))	Mid-level-ontology.kif 16985-16990	If a time interval is an instance of fall season, then there exists another time interval such that the other time interval is an instance of summer season and the other time interval meets the time interval
(=> (instance ?O OlympicGames) (or (exists (?W) (and (instance ?W WinterSeason) (temporalPart (WhenFn ?O) ?W))) (exists (?S) (and (instance ?S SummerSeason) (temporalPart (WhenFn ?O) ?S)))))	Sports.kif 1192-1202	If a physical is an instance of olympic games, then there exists a time position such that the time position is an instance of winter season and the time of existence of the physical is a part of the time position or there exists another time position such that the other time position is an instance of summer season and the time of existence of the physical is a part of the other time position
(=> (instance ?SPRING SpringSeason) (exists (?SUMMER) (and (instance ?SUMMER SummerSeason) (meetsTemporally ?SPRING ?SUMMER))))	Mid-level-ontology.kif 16949-16954	If a time interval is an instance of spring season, then there exists another time interval such that the other time interval is an instance of summer season and the time interval meets the other time interval

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners