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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 862-862
(domainSubclass daylightHoursTotal 2 Day) Weather.kif 861-861
(instance daylightHoursTotal TernaryPredicate) Weather.kif 859-859

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