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

Formal Language: 



KB Term:  Term intersection
English Word: 

  daylightHoursTotal

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


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