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

Formal Language: 



KB Term:  Term intersection
English Word: 

  warmSeasonInArea

 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 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

Show without tree


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