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

Formal Language: 



KB Term:  Term intersection
English Word: 

  coolSeasonInArea

 Sigma KEE - coolSeasonInArea
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 The number 1 argument of cool season in area is an instance of geographic area
(domainSubclass coolSeasonInArea 2 TimeInterval) Geography.kif 1638-1638 The number 2 argument of cool season in area is a subclass of time interval
(instance coolSeasonInArea AsymmetricRelation) Geography.kif 1635-1635 cool season in area is an instance of asymmetric relation
(instance coolSeasonInArea BinaryPredicate) Geography.kif 1634-1634 cool season in area is an instance of binary predicate

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