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

Formal Language: 



KB Term:  Term intersection
English Word: 

  daylightHoursInterval

Sigma KEE - daylightHoursInterval
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 838-841
(domain daylightHoursInterval 1 Region) Weather.kif 834-834 Die Zahl 1 Argument von daylightHoursInterval ist ein fall von Region %n{nicht}
(domain daylightHoursInterval 3 TimeInterval) Weather.kif 836-836 Die Zahl 3 Argument von daylightHoursInterval ist ein fall von TimeInterval %n{nicht}
(domainSubclass daylightHoursInterval 2 Day) Weather.kif 835-835 Die Zahl 2 Argument von daylightHoursInterval ist eine teilkategorie von Day %n{nicht}
(instance daylightHoursInterval TernaryPredicate) Weather.kif 833-833 daylightHoursInterval ist ein fall von TernaryPredicate %n{nicht}

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 18666-18666
(termFormat ChineseTraditionalLanguage daylightHoursInterval "白天小時間隔") domainEnglishFormat.kif 18665-18665
(termFormat EnglishLanguage daylightHoursInterval "daylight hours interval") domainEnglishFormat.kif 18664-18664


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