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 19143-19144 | |
(equal WinterSeason (RecurrentTimeIntervalFn December February)) |
Geography.kif 1667-1667 | 冬季 equal 从十二月到二月再次发生所需的时间 |
(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 19142-19142 | 冬季 是 一年的季节 的 subclass |
appearance as argument number 2 |
(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) | Mid-level-ontology.kif 19132-19132 | 一年的季节 详尽无遗地 partition 成 冬季, 春暖花开的季节, 夏季, 和 秋季 |
(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 19153-19158 | |
(=> (instance ?WINTER WinterSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?WINTER ?SPRING)))) |
Mid-level-ontology.kif 19146-19151 |
consequent |