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 20752-20753 | |
(equal SummerSeason (RecurrentTimeIntervalFn June August)) |
Geography.kif 1823-1823 | equal summer season and 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 3198-3198 | equal summer season and the recurring period from June to August |
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/commons/ f/ f6/ The_Chase_Wood_-_Newbury.jpg") | pictureList.kif 2991-2991 | equal summer season and the recurring period from June to August |
(externalImage SummerSeason "http://upload.wikimedia.org/wikipedia/en/0/ 08/ Seasons3.svg") | pictureList.kif 3197-3197 | equal summer season and the recurring period from June to August |
(subclass SummerSeason SeasonOfYear) | Mid-level-ontology.kif 20751-20751 | Summer season is a subclass of season of year |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage SummerSeason "夏季") | domainEnglishFormat.kif 56063-56063 | |
(termFormat ChineseTraditionalLanguage SummerSeason "夏季") | domainEnglishFormat.kif 56062-56062 | |
(termFormat EnglishLanguage SummerSeason "summer season") | domainEnglishFormat.kif 56061-56061 |
appearance as argument number 4 |
![]() |
(partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) | Mid-level-ontology.kif 20703-20703 | 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 20762-20767 |
|
(=> (instance ?SUMMER SummerSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?SPRING ?SUMMER)))) |
Mid-level-ontology.kif 20755-20760 |
|
consequent |
![]() |
![]() |
![]() |