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 | 太阳 是 星 的 instance |
appearance as argument number 2 |
(orbits PlanetEarth Sol) | Geography.kif 3407-3407 | 太阳 是 行星地球 的 orbits |
(orbits PlanetJupiter Sol) | Geography.kif 3415-3415 | 太阳 是 行星木星 的 orbits |
(orbits PlanetMars Sol) | Geography.kif 3413-3413 | 太阳 是 星球火星 的 orbits |
(orbits PlanetMercury Sol) | Geography.kif 3409-3409 | 太阳 是 行星汞 的 orbits |
(orbits PlanetNeptune Sol) | Geography.kif 3419-3419 | 太阳 是 行星海王星 的 orbits |
(orbits PlanetPluto Sol) | Geography.kif 3423-3423 | 太阳 是 行星冥王星 的 orbits |
(orbits PlanetSaturn Sol) | Geography.kif 3417-3417 | 太阳 是 行星土星 的 orbits |
(orbits PlanetUranus Sol) | Geography.kif 3421-3421 | 太阳 是 行星天王星 的 orbits |
(orbits PlanetVenus Sol) | Geography.kif 3411-3411 | 太阳 是 行星金星 的 orbits |
(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 |