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 白天的总时数 的 1 数量 是 地区instance
(domain daylightHoursTotal 3 TimeDuration) Weather.kif 862-862 白天的总时数 的 3 数量 是 持续时间instance
(domainSubclass daylightHoursTotal 2 Day) Weather.kif 861-861 白天的总时数 的 2 数量 是 subclass
(instance daylightHoursTotal TernaryPredicate) Weather.kif 859-859 白天的总时数三元谓语instance

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 18663-18663
(termFormat ChineseTraditionalLanguage daylightHoursTotal "白天的總時數") domainEnglishFormat.kif 18662-18662
(termFormat EnglishLanguage daylightHoursTotal "daylight hours total") domainEnglishFormat.kif 18661-18661


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