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 coolSeasonInArea の数値 1 引数は 地理的地域instance では %n
(domainSubclass coolSeasonInArea 2 TimeInterval) Geography.kif 1638-1638 coolSeasonInArea の数値 2 引数は 時間間隔subclass では %n
(instance coolSeasonInArea AsymmetricRelation) Geography.kif 1635-1635 coolSeasonInArea非対称関係instance では %n
(instance coolSeasonInArea BinaryPredicate) Geography.kif 1634-1634 coolSeasonInArea2進述語instance では %n

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