Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


(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 4712-4714
(externalImage Sphere "http://upload.wikimedia.org/wikipedia/commons/3/38/ Sphere-wireframe.png") pictureList.kif 2000-2000
(subclass Sphere ThreeDimensionalFigure) Mid-level-ontology.kif 4711-4711 Sphere is a subclass of three dimensional figure

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


(termFormat ChineseLanguage Sphere "球") domainEnglishFormat.kif 54591-54591
(termFormat ChineseTraditionalLanguage Sphere "球") domainEnglishFormat.kif 54590-54590
(termFormat EnglishLanguage Sphere "sphere") domainEnglishFormat.kif 54589-54589

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


(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (forall (?PT)
            (=>
                (pointOfFigure ?PT ?OBJ)
                (geometricDistance ?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4716-4724
(=>
    (and
        (defaultMaximumSphereRadius ?OBJECT
            (MeasureFn ?R ?U))
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST
                (MeasureFn ?RADIUS ?U))
            (greaterThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 12956-12966
(=>
    (and
        (defaultMinimumSphereRadius ?OBJECT
            (MeasureFn ?R ?U))
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST
                (MeasureFn ?RADIUS ?U))
            (lessThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 12937-12946
(=>
    (and
        (sphereRadius ?OBJECT ?RADIUS)
        (attribute ?OBJECT Sphere))
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?OBJECT)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Mid-level-ontology.kif 12919-12927

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


(=>
    (and
        (attribute ?X ?HEMI)
        (instance ?HEMI HemisphereFigure))
    (exists (?Y)
        (and
            (instance ?Y Sphere)
            (half ?X ?Y))))
Mid-level-ontology.kif 25947-25954
(=>
    (instance ?B Ball)
    (attribute ?B Sphere))
Mid-level-ontology.kif 16454-16456
(=>
    (instance ?BB BallBearing)
    (attribute ?BB Sphere))
Cars.kif 1413-1415
(=>
    (instance ?C Cell)
    (modalAttribute
        (or
            (cellShape ?C Sphere)
            (cellShape ?C Cylinder)) Likely))
VirusProteinAndCellPart.kif 367-373
(=>
    (instance ?SHAPE SphericalObject)
    (shape ?SHAPE Sphere))
Mid-level-ontology.kif 25005-25007


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 is open source software produced by Articulate Software and its partners