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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Sphere
Sphere

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 4958-4960
(externalImage Sphere "http://upload.wikimedia.org/wikipedia/commons/3/38/ Sphere-wireframe.png") pictureList.kif 1999-1999
(subclass Sphere ThreeDimensionalFigure) Mid-level-ontology.kif 4957-4957 Sphere は ThreeDimensionalFigure の subclass では %n

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


(termFormat ChineseLanguage Sphere "球") domainEnglishFormat.kif 54624-54624
(termFormat ChineseTraditionalLanguage Sphere "球") domainEnglishFormat.kif 54623-54623
(termFormat EnglishLanguage Sphere "sphere") domainEnglishFormat.kif 54622-54622

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


(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (forall (?PT)
            (=>
                (pointOfFigure ?PT ?OBJ)
                (geometricDistance ?PT ?CENTER ?DIST)))))		 Mid-level-ontology.kif 4962-4970
(=>
    (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 13457-13468
(=>
    (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 13438-13448
(=>
    (and
        (sphereRadius ?OBJECT ?RADIUS)
        (attribute ?OBJECT Sphere))
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?OBJECT)
                (geometricDistance ?PART ?POINT ?RADIUS)))))		 Mid-level-ontology.kif 13421-13429

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


(=>
    (and
        (attribute ?X ?HEMI)
        (instance ?HEMI HemisphereFigure))
    (exists (?Y)
        (and
            (instance ?Y Sphere)
            (half ?X ?Y))))		 Mid-level-ontology.kif 26476-26483
(=>
    (instance ?B Ball)
    (attribute ?B Sphere))		 Mid-level-ontology.kif 16982-16984
(=>
    (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 25530-25532


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