| Sol(sol)
| | Sun, solar, sun |
| appearance as argument number 1 |
|
|
| (documentation Sol EnglishLanguage "Sol is the nearest Star to PlanetEarth and the focus of its SolarSystem.") | Geography.kif 3343-3344 | |
| (externalImage Sol "http://upload.wikimedia.org/wikipedia/commons/5/52/Sun_spot_naked_eye.jpg") | pictureList.kif 184-184 | |
| (instance Sol Star) | Geography.kif 3342-3342 | Sol is an instance of star |
| appearance as argument number 2 |
|
|
| (orbits PlanetEarth Sol) | Geography.kif 3395-3395 | Sol is an orbits of planet earth |
| (orbits PlanetJupiter Sol) | Geography.kif 3403-3403 | Sol is an orbits of planet jupiter |
| (orbits PlanetMars Sol) | Geography.kif 3401-3401 | Sol is an orbits of planet mars |
| (orbits PlanetMercury Sol) | Geography.kif 3397-3397 | Sol is an orbits of planet mercury |
| (orbits PlanetNeptune Sol) | Geography.kif 3407-3407 | Sol is an orbits of planet neptune |
| (orbits PlanetPluto Sol) | Geography.kif 3411-3411 | Sol is an orbits of planet pluto |
| (orbits PlanetSaturn Sol) | Geography.kif 3405-3405 | Sol is an orbits of planet saturn |
| (orbits PlanetUranus Sol) | Geography.kif 3409-3409 | Sol is an orbits of planet uranus |
| (orbits PlanetVenus Sol) | Geography.kif 3399-3399 | Sol is an orbits of planet venus |
| (termFormat ChineseLanguage Sol "太阳") | domainEnglishFormat.kif 53861-53861 | Sol is an orbits of planet venus |
| (termFormat ChineseTraditionalLanguage Sol "太陽") | domainEnglishFormat.kif 53860-53860 | Sol is an orbits of planet venus |
| (termFormat EnglishLanguage Sol "sol") | domainEnglishFormat.kif 53859-53859 | Sol is an orbits of planet venus |
| consequent |
|
|
|
|
|