| SpringSeason(spring season)
| | spring, springtime |
| appearance as argument number 1 |
|
|
| (documentation SpringSeason EnglishLanguage "The SeasonOfYear that begins at the spring equinox and ends at the summer solstice. SpringSeason is the class of TimeIntervals associated with the calendar months of March through May.") | Mid-level-ontology.kif 20250-20253 | |
| (equal SpringSeason (RecurrentTimeIntervalFn March May)) |
Geography.kif 1652-1652 | Spring season is equal to the recurring period from March to May |
| (externalImage SpringSeason "http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Fr%C3%BChling_bl%C3%BChender_Kirschenbaum.jpg") | pictureList.kif 2637-2637 | Spring season is equal to the recurring period from March to May |
| (externalImage SpringSeason "http://upload.wikimedia.org/wikipedia/commons/ 8/ 85/ Urban_spring_blooms.jpg") | pictureList.kif 2533-2533 | Spring season is equal to the recurring period from March to May |
| (subclass SpringSeason SeasonOfYear) | Mid-level-ontology.kif 20249-20249 | Spring season is a subclass of season of year |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SpringSeason "春暖花开的季节") | domainEnglishFormat.kif 54885-54885 | |
| (termFormat ChineseTraditionalLanguage SpringSeason "春暖花開的季節") | domainEnglishFormat.kif 54884-54884 | |
| (termFormat EnglishLanguage SpringSeason "spring season") | domainEnglishFormat.kif 54883-54883 |
| appearance as argument number 3 |
|
|
| (partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) | Mid-level-ontology.kif 20221-20221 | Season of year is exhaustively partitioned into winter season, spring season, summer season, and fall season |
| antecedent |
|
|
| (=> (instance ?SPRING SpringSeason) (exists (?SUMMER) (and (instance ?SUMMER SummerSeason) (meetsTemporally ?SPRING ?SUMMER)))) |
Mid-level-ontology.kif 20255-20260 |
|
| (=> (instance ?SPRING SpringSeason) (exists (?WINTER) (and (instance ?WINTER WinterSeason) (meetsTemporally ?WINTER ?SPRING)))) |
Mid-level-ontology.kif 20262-20267 |
|
| consequent |
|
|
| (=> (instance ?SUMMER SummerSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?SPRING ?SUMMER)))) |
Mid-level-ontology.kif 20273-20278 |
|
| (=> (instance ?WINTER WinterSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?WINTER ?SPRING)))) |
Mid-level-ontology.kif 20235-20240 |
|
|
|
|