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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Sol

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 3355-3356
(externalImage Sol "http://upload.wikimedia.org/wikipedia/commons/5/52/Sun_spot_naked_eye.jpg") pictureList.kif 184-184
(instance Sol Star) Geography.kif 3354-3354 SolStarinstance では %n

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


(orbits PlanetEarth Sol) Geography.kif 3407-3407 orbits PlanetEarth and Sol
(orbits PlanetJupiter Sol) Geography.kif 3415-3415 orbits PlanetJupiter and Sol
(orbits PlanetMars Sol) Geography.kif 3413-3413 orbits PlanetMars and Sol
(orbits PlanetMercury Sol) Geography.kif 3409-3409 orbits PlanetMercury and Sol
(orbits PlanetNeptune Sol) Geography.kif 3419-3419 orbits PlanetNeptune and Sol
(orbits PlanetPluto Sol) Geography.kif 3423-3423 orbits PlanetPluto and Sol
(orbits PlanetSaturn Sol) Geography.kif 3417-3417 orbits PlanetSaturn and Sol
(orbits PlanetUranus Sol) Geography.kif 3421-3421 orbits PlanetUranus and Sol
(orbits PlanetVenus Sol) Geography.kif 3411-3411 orbits PlanetVenus and Sol
(termFormat ChineseLanguage Sol "太阳") domainEnglishFormat.kif 53828-53828
(termFormat ChineseTraditionalLanguage Sol "太陽") domainEnglishFormat.kif 53827-53827
(termFormat EnglishLanguage Sol "sol") domainEnglishFormat.kif 53826-53826

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 11005-11015
(=>
    (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 11023-11033
(=>
    (instance ?L Sunlight)
    (origin ?L Sol))
Geography.kif 3358-3360


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 is open source software produced by Articulate Software and its partners