Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Attic

 Sigma KEE - Sol
Sol(sol)
Sun, solar, sun

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


(instance Sol Star) Mid-level-ontology.kif 12482-12482 Sol is an instance of star
(documentation Sol EnglishLanguage "Sol is the nearest Star to PlanetEarth and the focus of its SolarSystem.") Mid-level-ontology.kif 12483-12484 Sol is an instance of star
(externalImage Sol "http://upload.wikimedia.org/wikipedia/commons/5/52/Sun_spot_naked_eye.jpg") pictureList.kif 184-184 Sol is an instance of star

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


(orbits PlanetEarth Sol) Geography.kif 4814-4814 Sol is an orbits of planet earth
(orbits PlanetMercury Sol) Geography.kif 4816-4816 Sol is an orbits of planet mercury
(orbits PlanetVenus Sol) Geography.kif 4818-4818 Sol is an orbits of planet venus
(orbits PlanetMars Sol) Geography.kif 4820-4820 Sol is an orbits of planet mars
(orbits PlanetJupiter Sol) Geography.kif 4822-4822 Sol is an orbits of planet jupiter
(orbits PlanetSaturn Sol) Geography.kif 4824-4824 Sol is an orbits of planet saturn
(orbits PlanetNeptune Sol) Geography.kif 4826-4826 Sol is an orbits of planet neptune
(orbits PlanetUranus Sol) Geography.kif 4828-4828 Sol is an orbits of planet uranus
(orbits PlanetPluto Sol) Geography.kif 4830-4830 Sol is an orbits of planet pluto
(termFormat EnglishLanguage Sol "sol") domainEnglishFormat.kif 53823-53823 Sol is an orbits of planet pluto
(termFormat ChineseTraditionalLanguage Sol "太陽") domainEnglishFormat.kif 53824-53824 Sol is an orbits of planet pluto
(termFormat ChineseLanguage Sol "太阳") domainEnglishFormat.kif 53825-53825 Sol is an orbits of planet pluto

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


(=>
    (instance ?L Sunlight)
    (origin ?L Sol))		 Mid-level-ontology.kif 12486-12488 If X is an instance of sunlight, then X originates at sol
(=>
    (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 12495-12505 If X is an instance of sunburn and Y experiences X, then there exist Z, W such that Z is an instance of damaging, sol is an instrument for Z, W is an instance of skin, W is a part of Y, and W is a patient of Z
(=>
    (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 12513-12523 If X is an instance of tanning and Y experiences X, then there exist Z, W such that Z is an instance of radiating ultraviolet, sol is an instrument for Z, W is an instance of skin, W is a part of Y, and W is a patient of Z


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners