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 19170-19171 | |
(equal WinterSeason (RecurrentTimeIntervalFn December February)) |
Geography.kif 1667-1667 | 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 4951-4951 | |
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Windbuchencom.jpg") | pictureList.kif 5095-5095 | |
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg") | pictureList.kif 5097-5097 | |
(externalImage WinterSeason "http://upload.wikimedia.org/wikipedia/en/a/ a6/ Skoropud.jpg") | pictureList.kif 5096-5096 | |
(subclass WinterSeason SeasonOfYear) | Mid-level-ontology.kif 19169-19169 | Winter season is a subclass of season of year |
appearance as argument number 2 |
(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 |
(termFormat ChineseLanguage WinterSeason "冬季") | domainEnglishFormat.kif 63215-63215 | |
(termFormat ChineseTraditionalLanguage WinterSeason "冬季") | domainEnglishFormat.kif 63214-63214 | |
(termFormat EnglishLanguage WinterSeason "winter season") | domainEnglishFormat.kif 63213-63213 |
antecedent |
(=> (instance ?WINTER WinterSeason) (exists (?AUTUMN) (and (instance ?AUTUMN FallSeason) (meetsTemporally ?AUTUMN ?WINTER)))) |
Mid-level-ontology.kif 19180-19185 |
|
(=> (instance ?WINTER WinterSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?WINTER ?SPRING)))) |
Mid-level-ontology.kif 19173-19178 |
|
consequent |