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

Formal Language: 

KB Term:  Term intersection
English Word: 


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

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