WinterSeason
|
|
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 19142-19143 | |
(equal WinterSeason (RecurrentTimeIntervalFn December February)) |
Geography.kif 1667-1667 | 等於 冬季 and 經常性時間間隔 December and 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 19141-19141 | 子類 冬季 and 一年的季節 |
appearance as argument number 2 |
(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) | Mid-level-ontology.kif 19131-19131 | 劃分 一年的季節, 冬季, 春暖花開的季節, 夏季 and 秋季 |
(termFormat ChineseLanguage WinterSeason "冬季") | domainEnglishFormat.kif 63213-63213 | |
(termFormat ChineseTraditionalLanguage WinterSeason "冬季") | domainEnglishFormat.kif 63212-63212 | |
(termFormat EnglishLanguage WinterSeason "winter season") | domainEnglishFormat.kif 63211-63211 |
antecedent |
(=> (instance ?WINTER WinterSeason) (exists (?AUTUMN) (and (instance ?AUTUMN FallSeason) (meetsTemporally ?AUTUMN ?WINTER)))) |
Mid-level-ontology.kif 19152-19157 |
|
(=> (instance ?WINTER WinterSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?WINTER ?SPRING)))) |
Mid-level-ontology.kif 19145-19150 |
|
consequent |