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

Formal Language: 



KB Term:  Term intersection
English Word: 

  overcastDaysInPeriod

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 43711-43711
(termFormat ChineseTraditionalLanguage overcastDaysInPeriod "期間陰天") domainEnglishFormat.kif 43710-43710
(termFormat EnglishLanguage overcastDaysInPeriod "overcast days in period") domainEnglishFormat.kif 43709-43709


Show simplified definition (without tree view)
Show simplified definition (with tree view)

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