Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| warmSeasonInArea |
| appearance as argument number 1 |
|
| (instance warmSeasonInArea BinaryPredicate) | Geography.kif 3071-3071 | warm season in area is an instance of binary predicate |
| (domain warmSeasonInArea 1 GeographicArea) | Geography.kif 3072-3072 | The number 1 argument of warm season in area is an instance of geographic area |
| (domainSubclass warmSeasonInArea 2 TimeInterval) | Geography.kif 3073-3073 | The number 2 argument of warm season in area is a subclass of timeframe |
| (documentation warmSeasonInArea EnglishLanguage "(warmSeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the warm season occurs during the TimeInterval ?INTERVAL.") | Geography.kif 3075-3077 | The number 2 argument of warm season in area is a subclass of timeframe |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage warmSeasonInArea "%2 is %n a warm season in area of %1") | domainEnglishFormat.kif 2605-2605 | |
| (format ChineseTraditionalLanguage warmSeasonInArea "%2 %n 是 在區域 %1 的 warm 季節") | domainEnglishFormat.kif 2606-2606 | |
| (format ChineseLanguage warmSeasonInArea "%2 %n 是 在区域 %1 的 warm 季节") | domainEnglishFormat.kif 2607-2607 | |
| (termFormat EnglishLanguage warmSeasonInArea "warm season in area") | domainEnglishFormat.kif 62218-62218 | |
| (termFormat ChineseTraditionalLanguage warmSeasonInArea "地區溫暖的季節") | domainEnglishFormat.kif 62219-62219 | |
| (termFormat ChineseLanguage warmSeasonInArea "地区温暖的季节") | domainEnglishFormat.kif 62220-62220 |
| consequent |
|
|
| (=> (climateTypeInArea ?AREA MediterraneanClimateZone) (warmSeasonInArea ?AREA SummerSeason)) |
Geography.kif 2913-2915 | If mediterranean climate zone is a climate type in area of X, then summer season is a warm season in area of X |
|