Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - warmSeasonInArea
warmSeasonInArea

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
(domainSubclass warmSeasonInArea 2 TimeInterval) Geography.kif 1618-1618
(instance warmSeasonInArea AsymmetricRelation) Geography.kif 1616-1616
(instance warmSeasonInArea BinaryPredicate) Geography.kif 1615-1615

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 62217-62217
(termFormat ChineseTraditionalLanguage warmSeasonInArea "地區溫暖的季節") domainEnglishFormat.kif 62216-62216
(termFormat EnglishLanguage warmSeasonInArea "warm season in area") domainEnglishFormat.kif 62215-62215

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