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


KB Term:  Term intersection
English Word: 

  Sphere

 Sigma KEE - Sphere
Sphere(sphere)
ball, crystal_ball, globe, orb, sphere, spherical, spherule

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


(subclass Sphere ThreeDimensionalFigure) Mid-level-ontology.kif 6079-6079 Sphere is a subclass of three dimensional figure
(documentation Sphere EnglishLanguage "The class of ThreeDimensionalFigures such that all GeometricPoints that make up the Sphere are equidistant from a single GeometricPoint, known as the center of the Sphere.") Mid-level-ontology.kif 6080-6082 Sphere is a subclass of three dimensional figure
(externalImage Sphere "http://upload.wikimedia.org/wikipedia/commons/3/38/ Sphere_wireframe.png") pictureList.kif 1998-1998 Sphere is a subclass of three dimensional figure

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


(termFormat EnglishLanguage Sphere "sphere") domainEnglishFormat.kif 54607-54607
(termFormat ChineseTraditionalLanguage Sphere "球") domainEnglishFormat.kif 54608-54608
(termFormat ChineseLanguage Sphere "球") domainEnglishFormat.kif 54609-54609

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


(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (pointOfFigure ?PT1 ?OBJ)
        (pointOfFigure ?PT2 ?OBJ)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (and
            (geometricDistance ?PT1 ?CENTER ?DIST)
            (geometricDistance ?PT2 ?CENTER ?DIST))))		 Mid-level-ontology.kif 6084-6093 If X is an attribute of Y, Z is a vertex of Y, W is a vertex of Y, and X is an instance of sphere, then there exist V, U such that Z is geometric distance V for U, and W is geometric distance V for U
(=>
    (and
        (defaultMinimumSphereRadius ?OBJECT
            (MeasureFn ?R ?U))
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (exists (?RADIUS)
            (and
                (sphereRadius ?INST
                    (MeasureFn ?RADIUS ?U))
                (lessThan ?RADIUS ?R))) Unlikely))		 Mid-level-ontology.kif 15030-15040 If the minimum expected radius of X is Y Z(s), W is an instance of X, and sphere is an attribute of W, then the statement there exists V such that the radius of W is V Z(s) and V is less than Y has the modal force of unlikely
(=>
    (and
        (defaultMaximumSphereRadius ?OBJECT
            (MeasureFn ?R ?U))
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (exists (?RADIUS)
            (and
                (sphereRadius ?INST
                    (MeasureFn ?RADIUS ?U))
                (greaterThan ?RADIUS ?R))) Unlikely))		 Mid-level-ontology.kif 15049-15060 If the maximum expected radius of X is Y Z(s), W is an instance of X, and sphere is an attribute of W, then the statement there exists V such that the radius of W is V Z(s) and V is greater than Y has the modal force of unlikely

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


(=>
    (instance ?B Ball)
    (attribute ?B Sphere))		 Mid-level-ontology.kif 18629-18631 If X is an instance of ball, then sphere is an attribute of X
(=>
    (instance ?SHAPE SphericalObject)
    (shape ?SHAPE Sphere))		 Mid-level-ontology.kif 27893-27895 If X is an instance of spherical object, then X is sphere
(=>
    (and
        (attribute ?X ?HEMI)
        (instance ?HEMI HemisphereFigure))
    (exists (?Y)
        (and
            (instance ?Y Sphere)
            (half ?X ?Y))))		 Mid-level-ontology.kif 29154-29161 If X is an attribute of Y and X is an instance of hemisphere, then there exists Z such that Z is an instance of sphere and Y is half of Z
(=>
    (instance ?BB BallBearing)
    (attribute ?BB Sphere))		 Cars.kif 1327-1329 If X is an instance of ball bearing, then sphere is an attribute of X
(=>
    (instance ?C Cell)
    (modalAttribute
        (or
            (cellShape ?C Sphere)
            (cellShape ?C Cylinder)) Likely))		 VirusProteinAndCellPart.kif 401-406 If X is an instance of cell, then the statement X cells are shaped like a sphere or X cells are shaped like a cylinder has the modal force of likely


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