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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(termFormat ChineseLanguage Sphere "球") domainEnglishFormat.kif 54612-54612
(termFormat ChineseTraditionalLanguage Sphere "球") domainEnglishFormat.kif 54611-54611
(termFormat EnglishLanguage Sphere "sphere") domainEnglishFormat.kif 54610-54610

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


(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (forall (?PT)
            (=>
                (pointOfFigure ?PT ?OBJ)
                (geometricDistance ?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 4990-4998
(=>
    (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 13486-13497
(=>
    (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 13467-13477

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


(=>
    (and
        (attribute ?X ?HEMI)
        (instance ?HEMI HemisphereFigure))
    (exists (?Y)
        (and
            (instance ?Y Sphere)
            (half ?X ?Y))))
Mid-level-ontology.kif 26560-26567
(=>
    (instance ?B Ball)
    (attribute ?B Sphere))
Mid-level-ontology.kif 17011-17013
(=>
    (instance ?BB BallBearing)
    (attribute ?BB Sphere))
Cars.kif 1413-1415
(=>
    (instance ?C Cell)
    (modalAttribute
        (or
            (cellShape ?C Sphere)
            (cellShape ?C Cylinder)) Likely))
VirusProteinAndCellPart.kif 418-424
(=>
    (instance ?SHAPE SphericalObject)
    (shape ?SHAPE Sphere))
Mid-level-ontology.kif 25614-25616


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