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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - overcastDaysInPeriod
overcastDaysInPeriod

appearance as argument number 1
-------------------------


(documentation overcastDaysInPeriod EnglishLanguage "(overcastDaysInPeriod ?AREA ?PERIOD ?NUMBER) means that during the time ?PERIOD, the GeographicArea ?AREA experienced ?NUMBER of OvercastWeather days.") Weather.kif 956-959
(domain overcastDaysInPeriod 1 GeographicArea) Weather.kif 952-952
(domain overcastDaysInPeriod 2 TimeInterval) Weather.kif 953-953
(domain overcastDaysInPeriod 3 NonnegativeRealNumber) Weather.kif 954-954
(instance overcastDaysInPeriod TernaryPredicate) Weather.kif 951-951

appearance as argument number 2
-------------------------


(format ChineseLanguage overcastDaysInPeriod "%2 %n 是在周期 %1 的 overcast 天") domainEnglishFormat.kif 1887-1887
(format ChineseTraditionalLanguage overcastDaysInPeriod "%2 %n 是在週期 %1 的 overcast 天") domainEnglishFormat.kif 1886-1886
(format EnglishLanguage overcastDaysInPeriod "%2 is %n an overcast days in period of %1") domainEnglishFormat.kif 1885-1885
(termFormat ChineseLanguage overcastDaysInPeriod "期间阴天") domainEnglishFormat.kif 43714-43714
(termFormat ChineseTraditionalLanguage overcastDaysInPeriod "期間陰天") domainEnglishFormat.kif 43713-43713
(termFormat EnglishLanguage overcastDaysInPeriod "overcast days in period") domainEnglishFormat.kif 43712-43712


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