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 817-818
(externalImage Sunlight "http://upload.wikimedia.org/wikipedia/commons/1/ 11/ Trees_and_sunshine.JPG") pictureList.kif 2994-2994
(externalImage Sunlight "http://upload.wikimedia.org/wikipedia/commons/2/ 26/ PICT0320.jpg") pictureList.kif 3203-3203
(externalImage Sunlight "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Solar_Spectrum.png") pictureList.kif 3202-3202
(externalImage Sunlight "http://upload.wikimedia.org/wikipedia/commons/9/ 91/ Crepuscular_rays_with_clouds_and_high_contrast_fg_FL.jpg") pictureList.kif 3204-3204
(externalImage Sunlight "http://upload.wikimedia.org/wikipedia/commons/a/ a4/ Weg_zum_Wei%C3%9Fen_Hirsch.jpg") pictureList.kif 3205-3205
(subclass Sunlight RadiatingLight) Mid-level-ontology.kif 816-816

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


(termFormat ChineseLanguage Sunlight "阳光") domainEnglishFormat.kif 56073-56073
(termFormat ChineseTraditionalLanguage Sunlight "陽光") domainEnglishFormat.kif 56072-56072
(termFormat EnglishLanguage Sunlight "sunlight") domainEnglishFormat.kif 56071-56071

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


(=>
    (instance ?L Sunlight)
    (origin ?L Sol))
Geography.kif 3239-3241


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