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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - daylightHoursInterval

appearance as argument number 1

(documentation daylightHoursInterval EnglishLanguage "(daylightHoursInterval ?PLACE ?DAY ?INTERVAL) means that in the Region ?PLACE, on the Day indicated by ?DAY, there is daylight during the TimeInterval ?INTERVAL.") Weather.kif 854-857
(domain daylightHoursInterval 1 Region) Weather.kif 850-850 白天小时间隔 的 1 数量 是 地区instance
(domain daylightHoursInterval 3 TimeInterval) Weather.kif 852-852 白天小时间隔 的 3 数量 是 时距instance
(domainSubclass daylightHoursInterval 2 Day) Weather.kif 851-851 白天小时间隔 的 2 数量 是 subclass
(instance daylightHoursInterval TernaryPredicate) Weather.kif 849-849 白天小时间隔三元谓语instance

appearance as argument number 2

(format ChineseLanguage daylightHoursInterval "%1 %n{不是} 对于 %3 的 daylight 时数间格 %2 ") domainEnglishFormat.kif 668-668
(format ChineseTraditionalLanguage daylightHoursInterval "%1 %n{不是} 對於 %3 的 daylight 時數間格 %2 ") domainEnglishFormat.kif 667-667
(format EnglishLanguage daylightHoursInterval "%1 %n{doesn't} daylight hours interval %2 for %3") domainEnglishFormat.kif 666-666
(termFormat ChineseLanguage daylightHoursInterval "白天小时间隔") domainEnglishFormat.kif 18657-18657
(termFormat ChineseTraditionalLanguage daylightHoursInterval "白天小時間隔") domainEnglishFormat.kif 18656-18656
(termFormat EnglishLanguage daylightHoursInterval "daylight hours interval") domainEnglishFormat.kif 18655-18655

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