|
|
   SpringSeason
|
|
|
| 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 19188-19191 | |
| (equal SpringSeason (RecurrentTimeIntervalFn March May)) |
Geography.kif 1664-1664 | 等於 春暖花開的季節 and 經常性時間間隔 March and May |
| (externalImage SpringSeason "http://upload.wikimedia.org/wikipedia/commons/ 5/ 57/ Fr%C3%BChling_bl%C3%BChender_Kirschenbaum.jpg") | pictureList.kif 2638-2638 | |
| (externalImage SpringSeason "http://upload.wikimedia.org/wikipedia/commons/ 8/ 85/ Urban_spring_blooms.jpg") | pictureList.kif 2534-2534 | |
| (subclass SpringSeason SeasonOfYear) | Mid-level-ontology.kif 19187-19187 | 子類 春暖花開的季節 and 一年的季節 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage SpringSeason "春暖花开的季节") | domainEnglishFormat.kif 54854-54854 | |
| (termFormat ChineseTraditionalLanguage SpringSeason "春暖花開的季節") | domainEnglishFormat.kif 54853-54853 | |
| (termFormat EnglishLanguage SpringSeason "spring season") | domainEnglishFormat.kif 54852-54852 |
| appearance as argument number 3 |
|
|
| (partition SeasonOfYear WinterSeason SpringSeason SummerSeason FallSeason) | Mid-level-ontology.kif 19159-19159 | 劃分 一年的季節, 冬季, 春暖花開的季節, 夏季 and 秋季 |
| antecedent |
|
|
| (=> (instance ?SPRING SpringSeason) (exists (?SUMMER) (and (instance ?SUMMER SummerSeason) (meetsTemporally ?SPRING ?SUMMER)))) |
Mid-level-ontology.kif 19193-19198 |
|
| (=> (instance ?SPRING SpringSeason) (exists (?WINTER) (and (instance ?WINTER WinterSeason) (meetsTemporally ?WINTER ?SPRING)))) |
Mid-level-ontology.kif 19200-19205 |
|
| consequent |
|
|
| (=> (instance ?SUMMER SummerSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?SPRING ?SUMMER)))) |
Mid-level-ontology.kif 19211-19216 |
|
| (=> (instance ?WINTER WinterSeason) (exists (?SPRING) (and (instance ?SPRING SpringSeason) (meetsTemporally ?WINTER ?SPRING)))) |
Mid-level-ontology.kif 19173-19178 |
|
|
|
|
