AstronomicalBody - Sigma Knowledge base Browser

appearance as argument number 1

(disjoint AstronomicalBody GeographicArea)	Merge.kif 14198-14198	Astronomical body is disjoint from geographic area
(documentation AstronomicalBody EnglishLanguage "The Class of all astronomical objects of significant size. It includes SelfConnectedObjects like planets, stars, and asteroids, as well as Collections like nebulae, galaxies, and constellations. Note that the planet Earth is an AstronomicalBody, but every Region of Earth is a GeographicArea.")	Merge.kif 14199-14204	Astronomical body is disjoint from geographic area
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 0/ 00/ Crab_Nebula.jpg")	pictureList.kif 8352-8352	Astronomical body is disjoint from geographic area
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Grav.lens1.arp.750pix.jpg")	pictureList.kif 8917-8917	Astronomical body is disjoint from geographic area
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Ant_Nebula.jpg")	pictureList.kif 8918-8918	Astronomical body is disjoint from geographic area
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 6/ 66/ Uvsun_trace_big.jpg")	pictureList.kif 8919-8919	Astronomical body is disjoint from geographic area
(externalImage AstronomicalBody "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7a/ Galileo_moon_phases.jpg")	pictureList.kif 8920-8920	Astronomical body is disjoint from geographic area
(subclass AstronomicalBody Object)	Merge.kif 14197-14197	Astronomical body is a subclass of object

appearance as argument number 2

(subclass Meteoroid AstronomicalBody)	Geography.kif 4891-4891	Meteoroid is a subclass of astronomical body
(subclass NaturalSatellite AstronomicalBody)	Geography.kif 4842-4842	Natural satellite is a subclass of astronomical body
(subclass Satellite AstronomicalBody)	Geography.kif 4821-4821	Satellite is a subclass of astronomical body
(subclass Star AstronomicalBody)	Geography.kif 4805-4805	Star is a subclass of astronomical body
(termFormat EnglishLanguage AstronomicalBody "astronomical body")	english_format.kif 1101-1101	Star is a subclass of astronomical body

appearance as argument number 3

(domain CenterOfPlanetFn 1 AstronomicalBody)	Mid-level-ontology.kif 27952-27952	The number 1 argument of level plane is an instance of astronomical body
(domain LevelPlaneFn 2 AstronomicalBody)	Mid-level-ontology.kif 27928-27928	The number 2 argument of level plane is an instance of astronomical body
(domain orbits 2 AstronomicalBody)	Geography.kif 4829-4829	The number 2 argument of orbits is an instance of astronomical body

antecedent

(=>
    (and
        (instance ?A AstronomicalBody)
        (approximateDiameter ?A
            (MeasureFn ?D ?U))
        (instance ?U UnitOfLength)
        (instance ?P PointInSpace)
        (part ?P ?A))
    (exists (?C)
        (and
            (equal ?C
                (CenterOfPlanetFn ?A))
            (distance ?C ?P
                (MeasureFn
                    (DivisionFn ?D 2.0) ?U)))))

Mid-level-ontology.kif 27955-27969

If a self connected object is an instance of astronomical body and the approximate diameter of the self connected object is a real number an unit of measure(s) and the unit of measure is an instance of unit of length and an object is an instance of point in space and the object is a part of the self connected object,
then there exists a point in space such that equal the point in space and the centre of AstronomicalBody the self connected object is and the distance between the point in space and the object is the real number and 2.0 the unit of measure(s)

consequent

(=> (instance ?AIR Atmosphere) (exists (?BODY) (and (instance ?BODY AstronomicalBody) (meetsSpatially ?AIR ?BODY))))	Weather.kif 22-27	If an object is an instance of atmosphere, then there exists another object such that the other object is an instance of astronomical body and the object meets the other object
(=> (instance ?SAT Satellite) (exists (?BODY) (and (instance ?BODY AstronomicalBody) (orbits ?SAT ?BODY))))	Geography.kif 4834-4839	If an object is an instance of satellite, then there exists an astronomical body such that the astronomical body is an instance of astronomical body and the astronomical body is an orbits of the object

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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

KB Term:			Term intersection

English Word: