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

KB Term:  Term intersection
English Word: 

Sigma KEE - CenterOfPlanetFn
CenterOfPlanetFn

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


(instance CenterOfPlanetFn UnaryFunction) Mid-level-ontology.kif 28084-28084 Level plane is an instance of unary function
(instance CenterOfPlanetFn SpatialRelation) Mid-level-ontology.kif 28085-28085 Level plane is an instance of spatial relation
(documentation CenterOfPlanetFn EnglishLanguage "CenterOfPlanetFn is a Function that takes a AstronomicalBody and and denotes a PointInSpace that is the centre of the planet. All PointInSpace that make up the surface of the AstronomicalBody are aproximately equidistant from its center.") Mid-level-ontology.kif 28086-28088 Level plane is an instance of spatial relation
(domain CenterOfPlanetFn 1 AstronomicalBody) Mid-level-ontology.kif 28091-28091 The number 1 argument of level plane is an instance of astronomical body
(range CenterOfPlanetFn PointInSpace) Mid-level-ontology.kif 28092-28092 The range of level plane is an instance of point in space

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


(termFormat EnglishLanguage CenterOfPlanetFn "level plane") Mid-level-ontology.kif 28089-28089
(format EnglishLanguage CenterOfPlanetFn "the centre of AstronomicalBody %1 is") Mid-level-ontology.kif 28090-28090

antecedent
-------------------------


(=>
    (equal ?C
        (CenterOfPlanetFn ?A))
    (part ?C ?A))		 Mid-level-ontology.kif 28110-28113 If equal X and the centre of AstronomicalBody Y is, then X is a part of Y

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


(=>
    (and
        (equal ?PLANE
            (LevelPlaneFn ?P ?A))
        (part ?P ?R)
        (instance ?R Region)
        (located ?R ?A))
    (exists (?L)
        (and
            (instance ?L LineInSpace)
            (endPointsOfLineInSpace ?P
                (CenterOfPlanetFn ?A) ?L)
            (orientation ?PLANE ?L RightAngle))))		 Mid-level-ontology.kif 28070-28082 If equal X, the PlaneInSpace is perpendicular to the line formed by Y, and the centre of the AstronomicalBody., Y is a part of Z, Z is an instance of region, and Z is located at W, then there exists V such that V is an instance of line in space, Y, the centre of AstronomicalBody W is are end points of V, and X is at a right angle to to V
(=>
    (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)


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners