coolSeasonInArea |
appearance as argument number 1 |
(documentation coolSeasonInArea EnglishLanguage "(coolSeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the cool season occurs during the TimeInterval ?INTERVAL. For example, (coolSeasonInArea Angola (RecurringTimeIntervalFn May October") | Geography.kif 1640-1643 | |
(domain coolSeasonInArea 1 GeographicArea) | Geography.kif 1637-1637 | |
(domainSubclass coolSeasonInArea 2 TimeInterval) | Geography.kif 1638-1638 | |
(instance coolSeasonInArea AsymmetricRelation) | Geography.kif 1635-1635 | |
(instance coolSeasonInArea BinaryPredicate) | Geography.kif 1634-1634 |
appearance as argument number 2 |
(format ChineseLanguage coolSeasonInArea "%2 %n 是在地区 %1 的 cool 季节") | domainEnglishFormat.kif 552-552 | |
(format ChineseTraditionalLanguage coolSeasonInArea "%2 %n 是在地區 %1 的 cool 季節") | domainEnglishFormat.kif 551-551 | |
(format EnglishLanguage coolSeasonInArea "%2 is %n a cool season in area of %1") | domainEnglishFormat.kif 550-550 | |
(termFormat ChineseLanguage coolSeasonInArea "该地区凉爽的季节") | domainEnglishFormat.kif 17184-17184 | |
(termFormat ChineseTraditionalLanguage coolSeasonInArea "該地區涼爽的季節") | domainEnglishFormat.kif 17183-17183 | |
(termFormat EnglishLanguage coolSeasonInArea "cool season in area") | domainEnglishFormat.kif 17182-17182 |
consequent |
(=> (climateTypeInArea ?AREA MediterraneanClimateZone) (coolSeasonInArea ?AREA WinterSeason)) |
Geography.kif 1452-1454 | |
(=> (climateTypeInArea ?AREA MidlatitudeContinentalClimateZone) (coolSeasonInArea ?AREA WinterSeason)) |
Geography.kif 1489-1491 |