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 5289-5291
(externalImage Sphere "http://upload.wikimedia.org/wikipedia/commons/3/38/ Sphere-wireframe.png") pictureList.kif 2000-2000
(subclass Sphere ThreeDimensionalFigure) Mid-level-ontology.kif 5288-5288

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


(termFormat ChineseLanguage Sphere "球") domainEnglishFormat.kif 54547-54547
(termFormat ChineseTraditionalLanguage Sphere "球") domainEnglishFormat.kif 54546-54546
(termFormat EnglishLanguage Sphere "sphere") domainEnglishFormat.kif 54545-54545

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


(=>
    (and
        (attribute ?OBJ ?SPHERE)
        (instance ?SPHERE Sphere))
    (exists (?CENTER ?DIST)
        (forall (?PT)
            (=>
                (pointOfFigure ?PT ?OBJ)
                (geometricDistance ?PT ?CENTER ?DIST)))))
Mid-level-ontology.kif 5293-5301
(=>
    (and
        (defaultMaximumSphereRadius ?OBJECT ?R)
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST ?RADIUS)
            (greaterThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 11087-11095
(=>
    (and
        (defaultMinimumSphereRadius ?OBJECT ?R)
        (instance ?INST ?OBJECT)
        (attribute ?INST Sphere))
    (modalAttribute
        (and
            (sphereRadius ?INST ?RADIUS)
            (lessThan ?RADIUS ?R)) Unlikely))
Mid-level-ontology.kif 11070-11078
(=>
    (and
        (sphereRadius ?OBJECT ?RADIUS)
        (attribute ?OBJECT Sphere))
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?OBJECT)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Mid-level-ontology.kif 11053-11061

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


(=>
    (and
        (attribute ?X ?HEMI)
        (instance ?HEMI HemisphereFigure))
    (exists (?Y)
        (and
            (instance ?Y Sphere)
            (half ?HEMI ?Y))))
Mid-level-ontology.kif 24667-24674
(=>
    (instance ?B Ball)
    (attribute ?B Sphere))
Mid-level-ontology.kif 14565-14567
(=>
    (instance ?BB BallBearing)
    (attribute ?BB Sphere))
Cars.kif 1408-1410
(=>
    (instance ?SPHERE SphericalObject)
    (shape ?SHAPE Sphere))
Mid-level-ontology.kif 23531-23533


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners