SummerSeason(夏季) |
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 19181-19182 | |
(equal SummerSeason (RecurrentTimeIntervalFn June August)) |
Geography.kif 1665-1665 | 等於 夏季 and 經常性時間間隔 June and August |
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/commons/ c/ c4/ Field_Hamois_Belgium_Luc_Viatour.jpg") | pictureList.kif 3199-3199 | |
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ The_Chase_Wood_-_Newbury.jpg") | pictureList.kif 2992-2992 | |
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg") | pictureList.kif 3198-3198 | |
(subclass SummerSeason SeasonOfYear) | Mid-level-ontology.kif 19180-19180 | 子類 夏季 and 一年的季節 |
appearance as argument number 2 |
(termFormat ChineseLanguage SummerSeason "夏季") | domainEnglishFormat.kif 56059-56059 | |
(termFormat ChineseTraditionalLanguage SummerSeason "夏季") | domainEnglishFormat.kif 56058-56058 | |
(termFormat EnglishLanguage SummerSeason "summer season") | domainEnglishFormat.kif 56057-56057 |
appearance as argument number 4 |
(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) | Mid-level-ontology.kif 19132-19132 | 劃分 一年的季節, 冬季, 春暖花開的季節, 夏季 and 秋季 |
antecedent |
(=> (instance ?SUMMER SummerSeason) (exists (?AUTUMN) (and (instance ?AUTUMN FallSeason) (meetsTemporally ?SUMMER ?AUTUMN)))) |
Mid-level-ontology.kif 19191-19196 |
|
(=> (instance ?SUMMER SummerSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?SPRING ?SUMMER)))) |
Mid-level-ontology.kif 19184-19189 |
|
consequent |