TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Satellite AstronomicalBody)	Mid-level-ontology.kif 27358-27358	Satellite is a subclass of astronomical body
(documentation Satellite EnglishLanguage "Satellite is the collection of bodies that revolve around some astronomical body, e.g., planets around a star. This class includes both artificial and NaturalSatellites.")	Mid-level-ontology.kif 27359-27361	Satellite is a subclass of astronomical body

appearance as argument number 2

(subclass ArtificialSatellite Satellite)	Mid-level-ontology.kif 27369-27369	Satellite is a subclass of satellite
(subclass NaturalSatellite Satellite)	Geography.kif 4793-4793	Natural satellite is a subclass of satellite
(termFormat EnglishLanguage Satellite "satellite")	domainEnglishFormat.kif 51286-51286	Natural satellite is a subclass of satellite
(termFormat ChineseTraditionalLanguage Satellite "衛星")	domainEnglishFormat.kif 51287-51287	Natural satellite is a subclass of satellite
(termFormat ChineseLanguage Satellite "卫星")	domainEnglishFormat.kif 51288-51288	Natural satellite is a subclass of satellite

appearance as argument number 3

(domainSubclass communicationSatelliteForArea 2 Satellite)

antecedent

(=>
    (instance ?SAT Satellite)
    (exists (?BODY)
        (and
            (instance ?BODY AstronomicalBody)
            (orbits ?SAT ?BODY))))

If X is an instance of satellite, then there exists Y such that Y is an instance of astronomical body and Y is an orbits of X