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 466-469
(domain daylightHoursInterval 1 Region) Weather.kif 462-462
(domain daylightHoursInterval 3 TimeInterval) Weather.kif 464-464
(domainSubclass daylightHoursInterval 2 Day) Weather.kif 463-463
(instance daylightHoursInterval TernaryPredicate) Weather.kif 461-461

appearance as argument number 2

(format EnglishLanguage daylightHoursInterval "%1 %n{doesn't} daylight hours interval %2 for %3") domainEnglishFormat.kif 176-176
(termFormat EnglishLanguage daylightHoursInterval "daylight hours interval") domainEnglishFormat.kif 3532-3532

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners