Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  AstronomicalBody

 Sigma KEE - AstronomicalBody
AstronomicalBody(astronomical body)
more pictures...		Alpha_Geminorum, Andromeda, Antlia, Apollo_asteroid, Apus, Aquarius, Aquila, Ara, Aries, Auriga, Big_Dipper, Bootes, Caelum, Cancer, Canis_Major, Canis_Minor, Capricorn, Capricornus, Carina, Cassiopeia, Castor, Centaur, Centaurus, Cepheus, Ceres, Cetus, Chamaeleon, Chameleon, Charioteer, Charles's_Wain, Chiron, Circinus, Columba, Coma_Berenices, Copernican, Corona_Borealis, Corvus, Crab_Nebula, Crane, Crater, Crow, Crux, Crux_Australis, Cygnus, Delphinus, Dipper, Dorado, Dove, Draco, Dragon...

appearance as argument number 1
-------------------------


(subclass AstronomicalBody Object) Merge.kif 14331-14331 Astronomical body is a subclass of object
(disjoint AstronomicalBody GeographicArea) Merge.kif 14332-14332 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 14333-14338 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

appearance as argument number 2
-------------------------


(subclass Meteoroid AstronomicalBody) Merge.kif 1014-1014 Meteoroid is a subclass of astronomical body
(subclass Star AstronomicalBody) Mid-level-ontology.kif 12478-12478 Star is a subclass of astronomical body
(subclass Satellite AstronomicalBody) Mid-level-ontology.kif 27358-27358 Satellite is a subclass of astronomical body
(subclass NaturalSatellite AstronomicalBody) Geography.kif 4794-4794 Natural satellite is a subclass of astronomical body
(termFormat EnglishLanguage AstronomicalBody "astronomical body") english_format.kif 1105-1105 Natural satellite is a subclass of astronomical body

appearance as argument number 3
-------------------------


(domain orbits 2 AstronomicalBody) Mid-level-ontology.kif 27354-27354 The number 2 argument of orbits is an instance of astronomical body
(domain LevelPlaneFn 2 AstronomicalBody) Mid-level-ontology.kif 28067-28067 The number 2 argument of level plane is an instance of astronomical body
(domain CenterOfPlanetFn 1 AstronomicalBody) Mid-level-ontology.kif 28091-28091 The number 1 argument of level plane 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 28094-28108 If X is an instance of astronomical body, the approximate diameter of X is Y Z(s), Z is an instance of unit of length, W is an instance of point in space, and W is a part of X, then there exists V such that equal V and the centre of AstronomicalBody X is and the distance between V and W is Y and 2.0 Z(s)

consequent
-------------------------


(=>
    (instance ?SAT Satellite)
    (exists (?BODY)
        (and
            (instance ?BODY AstronomicalBody)
            (orbits ?SAT ?BODY))))		 Mid-level-ontology.kif 27362-27367 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
(=>
    (instance ?AIR Atmosphere)
    (exists (?BODY)
        (and
            (instance ?BODY AstronomicalBody)
            (meetsSpatially ?AIR ?BODY))))		 Weather.kif 22-27 If X is an instance of atmosphere, then there exists Y such that Y is an instance of astronomical body and X meets Y


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners