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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sunlight
Sunlight
more pictures...

appearance as argument number 1
-------------------------


(documentation Sunlight EnglishLanguage "Any instance of RadiatingLight where the Sun (Sol) is the origin.") Mid-level-ontology.kif 634-635
(externalImage Sunlight "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ Trees_and_sunshine.JPG") pictureList.kif 2993-2993
(externalImage Sunlight "http://upload.wikimedia.org/wikipedia/commons/2/ 26/ PICT0320.jpg") pictureList.kif 3202-3202
(externalImage Sunlight "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Solar_Spectrum.png") pictureList.kif 3201-3201
(externalImage Sunlight "http://upload.wikimedia.org/wikipedia/commons/9/ 91/ Crepuscular_rays_with_clouds_and_high_contrast_fg_FL.jpg") pictureList.kif 3203-3203
(externalImage Sunlight "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ Weg_zum_Wei%C3%9Fen_Hirsch.jpg") pictureList.kif 3204-3204
(subclass Sunlight RadiatingLight) Mid-level-ontology.kif 633-633

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Sunlight "阳光") domainEnglishFormat.kif 56083-56083
(termFormat ChineseTraditionalLanguage Sunlight "陽光") domainEnglishFormat.kif 56082-56082
(termFormat EnglishLanguage Sunlight "sunlight") domainEnglishFormat.kif 56081-56081

antecedent
-------------------------


(=>
    (instance ?L Sunlight)
    (origin ?L Sol))
Geography.kif 3358-3360


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