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


KB Term:  Term intersection
English Word: 

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 14197-14197 Astronomical body is a subclass of object
(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

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


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

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


(domain LevelPlaneFn 2 AstronomicalBody) Mid-level-ontology.kif 28163-28163 The number 2 argument of level plane is an instance of astronomical body
(domain CenterOfPlanetFn 1 AstronomicalBody) Mid-level-ontology.kif 28187-28187 The number 1 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 28190-28204 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))))		 Geography.kif 4834-4839 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 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