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 The number 1 argument of overcast days in period is an instance of geographic area
(domain overcastDaysInPeriod 2 TimeInterval) Weather.kif 953-953 The number 2 argument of overcast days in period is an instance of time interval
(domain overcastDaysInPeriod 3 NonnegativeRealNumber) Weather.kif 954-954 The number 3 argument of overcast days in period is an instance of nonnegative real number
(instance overcastDaysInPeriod TernaryPredicate) Weather.kif 951-951 overcast days in period is an instance of ternary predicate

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


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