SummerSeason(summer season) | summer, summertime |
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 19180-19181 | |
(equal SummerSeason (RecurrentTimeIntervalFn June August)) |
Geography.kif 1665-1665 | Summer season is equal to the recurring period from June to 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 19179-19179 | Summer season is a subclass of season of year |
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 19131-19131 | Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season |
antecedent |
(=> (instance ?SUMMER SummerSeason) (exists (?AUTUMN) (and (instance ?AUTUMN FallSeason) (meetsTemporally ?SUMMER ?AUTUMN)))) |
Mid-level-ontology.kif 19190-19195 |
|
(=> (instance ?SUMMER SummerSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?SPRING ?SUMMER)))) |
Mid-level-ontology.kif 19183-19188 |
|
consequent |