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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sol
Sol

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


(documentation Sol EnglishLanguage "Sol is the nearest Star to PlanetEarth and the focus of its SolarSystem.") Geography.kif 3236-3237
(externalImage Sol "http://upload.wikimedia.org/wikipedia/commons/5/52/Sun_spot_naked_eye.jpg") pictureList.kif 184-184
(instance Sol Star) Geography.kif 3235-3235

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


(orbits PlanetEarth Sol) Geography.kif 3288-3288
(orbits PlanetJupiter Sol) Geography.kif 3296-3296
(orbits PlanetMars Sol) Geography.kif 3294-3294
(orbits PlanetMercury Sol) Geography.kif 3290-3290
(orbits PlanetNeptune Sol) Geography.kif 3300-3300
(orbits PlanetPluto Sol) Geography.kif 3304-3304
(orbits PlanetSaturn Sol) Geography.kif 3298-3298
(orbits PlanetUranus Sol) Geography.kif 3302-3302
(orbits PlanetVenus Sol) Geography.kif 3292-3292
(termFormat ChineseLanguage Sol "溶胶") domainEnglishFormat.kif 53811-53811
(termFormat ChineseTraditionalLanguage Sol "溶膠") domainEnglishFormat.kif 53810-53810
(termFormat EnglishLanguage Sol "sol") domainEnglishFormat.kif 53809-53809

consequent
-------------------------


(=>
    (and
        (instance ?S Sunburn)
        (experiencer ?S ?H))
    (exists (?D ?SKIN)
        (and
            (instance ?D Damaging)
            (instrument ?D Sol)
            (instance ?SKIN Skin)
            (part ?SKIN ?H)
            (patient ?D ?SKIN))))
Mid-level-ontology.kif 10272-10282
(=>
    (and
        (instance ?S Tanning)
        (experiencer ?S ?H))
    (exists (?D ?SKIN)
        (and
            (instance ?D RadiatingUltraviolet)
            (instrument ?D Sol)
            (instance ?SKIN Skin)
            (part ?SKIN ?H)
            (patient ?D ?SKIN))))
Mid-level-ontology.kif 10290-10300
(=>
    (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