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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RoundShape
RoundShape

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


(documentation RoundShape EnglishLanguage "Any ThreeDimensionalFigure that has a single tangent at every point on its surface.") Mid-level-ontology.kif 5134-5135
(externalImage RoundShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png") pictureList.kif 1965-1965 externalImage RoundShape and "http://upload.wikimedia.org/wikipedia/commons/1/17/ Torus.png"
(externalImage RoundShape "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Ellipsoid_3d.jpg") pictureList.kif 2340-2340 externalImage RoundShape and "http://upload.wikimedia.org/wikipedia/commons/9/95/ Ellipsoid_3d.jpg"
(instance RoundShape ThreeDimensionalFigure) Mid-level-ontology.kif 5133-5133 instance RoundShape and ThreeDimensionalFigure

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


(termFormat EnglishLanguage RoundShape "round shape") domainEnglishFormat.kif 8845-8845 termFormat EnglishLanguage, RoundShape and "round shape"

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


(=>
    (attribute ?O RoundShape)
    (forall (?P)
        (and
            (pointOfFigure ?P ?O)
            (instance ?TO TwoDimensionalObject)
            (meetsSpatially ?P ?O)
            (meetsSpatially ?P ?TO)
            (exists (?T)
                (tangent ?T ?TO)))))
Mid-level-ontology.kif 5138-5147

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


(=>
    (and
        (instance ?B Bubble)
        (not
            (exists (?X ?S)
                (and
                    (attribute ?X ?S)
                    (not
                        (equal ?X Gas))
                    (meetsSpatially ?X ?B)))))
    (attribute ?B RoundShape))
Mid-level-ontology.kif 5318-5327
(=>
    (instance ?T Tire)
    (attribute ?T RoundShape))
Cars.kif 4773-4775
(=>
    (instance ?X Reel)
    (attribute ?X RoundShape))
Cars.kif 4235-4237


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