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 567-570
(domain overcastDaysInPeriod 1 GeographicArea) Weather.kif 563-563 The number 1 argument of overcast days in period is an instance of geographic area
(domain overcastDaysInPeriod 2 TimeDuration) Weather.kif 564-564 The number 2 argument of overcast days in period is an instance of time duration
(domain overcastDaysInPeriod 3 NonnegativeRealNumber) Weather.kif 565-565 The number 3 argument of overcast days in period is an instance of nonnegative real number
(instance overcastDaysInPeriod TernaryPredicate) Weather.kif 562-562 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 43627-43627
(termFormat ChineseTraditionalLanguage overcastDaysInPeriod "期間陰天") domainEnglishFormat.kif 43626-43626
(termFormat EnglishLanguage overcastDaysInPeriod "overcast days in period") domainEnglishFormat.kif 43625-43625


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners