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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - daylightHoursTotal
daylightHoursTotal

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


(documentation daylightHoursTotal EnglishLanguage "(daylightHoursTotal ?PLACE ?DAY ?TIME) means that in the Region ?PLACE, on the Day indicated by ?DAY, there is daylight for a total TimeDuration ?LENGTH.") Weather.kif 864-867
(domain daylightHoursTotal 1 Region) Weather.kif 860-860 The number 1 argument of daylight hours total is an instance of region
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 862-862 The number 3 argument of daylight hours total is an instance of time duration
(domainSubclass daylightHoursTotal 2 Day) Weather.kif 861-861 The number 2 argument of daylight hours total is a subclass of day
(instance daylightHoursTotal TernaryPredicate) Weather.kif 859-859 daylight hours total is an instance of ternary predicate

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


(format ChineseLanguage daylightHoursTotal "%1 %n{不是} 对于 %3 的 daylight 总共时数 %2 ") domainEnglishFormat.kif 672-672
(format ChineseTraditionalLanguage daylightHoursTotal "%1 %n{不是} 對於 %3 的 daylight 總共時數 %2 ") domainEnglishFormat.kif 671-671
(format EnglishLanguage daylightHoursTotal "%1 %n{doesn't} daylight hours total %2 for %3") domainEnglishFormat.kif 670-670
(termFormat ChineseLanguage daylightHoursTotal "白天的总时数") domainEnglishFormat.kif 18672-18672
(termFormat ChineseTraditionalLanguage daylightHoursTotal "白天的總時數") domainEnglishFormat.kif 18671-18671
(termFormat EnglishLanguage daylightHoursTotal "daylight hours total") domainEnglishFormat.kif 18670-18670


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