TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Planet NaturalSatellite)	Geography.kif 4809-4809	Planet is a subclass of natural satellite
(documentation Planet EnglishLanguage "Planet is the class of large NaturalSatellites that revolve around a star.")	Geography.kif 4810-4811	Planet is a subclass of natural satellite
(externalImage Planet "http://upload.wikimedia.org/wikipedia/commons/b/b4/ Saturn_%28planet%29_large.jpg")	pictureList.kif 1496-1496	Planet is a subclass of natural satellite

appearance as argument number 2

(instance PlanetEarth Planet)	Geography.kif 4813-4813	Planet earth is an instance of planet
(instance PlanetMercury Planet)	Geography.kif 4815-4815	Planet mercury is an instance of planet
(instance PlanetVenus Planet)	Geography.kif 4817-4817	Planet venus is an instance of planet
(instance PlanetMars Planet)	Geography.kif 4819-4819	Planet mars is an instance of planet
(instance PlanetJupiter Planet)	Geography.kif 4821-4821	Planet jupiter is an instance of planet
(instance PlanetSaturn Planet)	Geography.kif 4823-4823	Planet saturn is an instance of planet
(instance PlanetNeptune Planet)	Geography.kif 4825-4825	Planet neptune is an instance of planet
(instance PlanetUranus Planet)	Geography.kif 4827-4827	Planet uranus is an instance of planet
(instance PlanetPluto Planet)	Geography.kif 4829-4829	Planet pluto is an instance of planet
(termFormat EnglishLanguage Planet "planet")	domainEnglishFormat.kif 46025-46025	Planet pluto is an instance of planet
(termFormat ChineseTraditionalLanguage Planet "行星")	domainEnglishFormat.kif 46026-46026	Planet pluto is an instance of planet
(termFormat ChineseLanguage Planet "行星")	domainEnglishFormat.kif 46027-46027	Planet pluto is an instance of planet