| appearance as argument number 1 |
|
| (documentation warmSeasonInArea EnglishLanguage "(warmSeasonInArea ?AREA ?INTERVAL) means that in the GeographicArea ?AREA, the warm season occurs during the TimeInterval ?INTERVAL.") | Geography.kif 1620-1622 | |
| (domain warmSeasonInArea 1 GeographicArea) | Geography.kif 1617-1617 | Il numero 1 argomenti di warmSeasonInArea è un istanza di AreaGeografica |
| (domainSubclass warmSeasonInArea 2 TimeInterval) | Geography.kif 1618-1618 | Il numero 2 argomento warmSeasonInArea è una sottoclasse diIntervalloTemporale |
| (instance warmSeasonInArea AsymmetricRelation) | Geography.kif 1616-1616 | warmSeasonInArea è un' istanza di RelazioneAsimmetrica |
| (instance warmSeasonInArea BinaryPredicate) | Geography.kif 1615-1615 | warmSeasonInArea è un' istanza di PredicatoBinario |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage warmSeasonInArea "%2 %n 是 在区域 %1 的 warm 季节") | domainEnglishFormat.kif 2611-2611 | |
| (format ChineseTraditionalLanguage warmSeasonInArea "%2 %n 是 在區域 %1 的 warm 季節") | domainEnglishFormat.kif 2610-2610 | |
| (format EnglishLanguage warmSeasonInArea "%2 is %n a warm season in area of %1") | domainEnglishFormat.kif 2609-2609 | |
| (termFormat ChineseLanguage warmSeasonInArea "地区温暖的季节") | domainEnglishFormat.kif 62219-62219 | |
| (termFormat ChineseTraditionalLanguage warmSeasonInArea "地區溫暖的季節") | domainEnglishFormat.kif 62218-62218 | |
| (termFormat EnglishLanguage warmSeasonInArea "warm season in area") | domainEnglishFormat.kif 62217-62217 |
| consequent |
|
|
| (=> (climateTypeInArea ?AREA MediterraneanClimateZone) (warmSeasonInArea ?AREA SummerSeason)) |
Geography.kif 1456-1458 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners