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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RoundShape
RoundShape(round shape)
conglobation, conglomeration, ellipsoid_of_revolution, spheroid

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 5135-5136
(externalImage RoundShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png") pictureList.kif 1965-1965
(externalImage RoundShape "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Ellipsoid_3d.jpg") pictureList.kif 2340-2340
(instance RoundShape ThreeDimensionalFigure) Mid-level-ontology.kif 5134-5134 Round shape is an instance of three dimensional figure

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


(termFormat ChineseLanguage RoundShape "圆形") domainEnglishFormat.kif 50456-50456
(termFormat ChineseTraditionalLanguage RoundShape "圓形") domainEnglishFormat.kif 50455-50455
(termFormat EnglishLanguage RoundShape "round shape") domainEnglishFormat.kif 50454-50454

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 5139-5148

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 5319-5328
(=>
    (instance ?T Tire)
    (attribute ?T RoundShape))
Cars.kif 4783-4785
(=>
    (instance ?X Reel)
    (attribute ?X RoundShape))
Cars.kif 4245-4247


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