WinterSeason(winter season)![]() ![]() | ![]() | winter, wintertime |
appearance as argument number 1 |
![]() |
(documentation WinterSeason EnglishLanguage "The SeasonOfYear that begins at the winter solstice and ends at the spring equinox.") | Mid-level-ontology.kif 20232-20233 | |
(equal WinterSeason (RecurrentTimeIntervalFn December February)) |
Geography.kif 1655-1655 | Winter season is equal to the recurring period from December to February |
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/commons/ 0/ 05/ Schneelandschaft_Furx.JPG") | pictureList.kif 4950-4950 | Winter season is equal to the recurring period from December to February |
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Windbuchencom.jpg") | pictureList.kif 5094-5094 | Winter season is equal to the recurring period from December to February |
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg") | pictureList.kif 5096-5096 | Winter season is equal to the recurring period from December to February |
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/en/a/ a6/ Skoropud.jpg") | pictureList.kif 5095-5095 | Winter season is equal to the recurring period from December to February |
(subclass WinterSeason SeasonOfYear) | Mid-level-ontology.kif 20231-20231 | Winter season is a subclass of season of year |
appearance as argument number 2 |
![]() |
(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) | Mid-level-ontology.kif 20221-20221 | Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season |
(termFormat ChineseLanguage WinterSeason "冬季") | domainEnglishFormat.kif 63236-63236 | Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season |
(termFormat ChineseTraditionalLanguage WinterSeason "冬季") | domainEnglishFormat.kif 63235-63235 | Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season |
(termFormat EnglishLanguage WinterSeason "winter season") | domainEnglishFormat.kif 63234-63234 | Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season |
antecedent |
![]() |
(=> (instance ?WINTER WinterSeason) (exists (?AUTUMN) (and (instance ?AUTUMN FallSeason) (meetsTemporally ?AUTUMN ?WINTER)))) |
Mid-level-ontology.kif 20242-20247 |
|
(=> (instance ?WINTER WinterSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?WINTER ?SPRING)))) |
Mid-level-ontology.kif 20235-20240 |
|
consequent |
![]() |
![]() |
![]() |