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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ConvexRoundShape
ConvexRoundShape(convex round shape)

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


(documentation ConvexRoundShape EnglishLanguage "Any ThreeDimensionalFigure that has a single tangent at every point on its surface.") Mid-level-ontology.kif 5043-5044
(externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png") pictureList.kif 1963-1963
(externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Ellipsoid_3d.jpg") pictureList.kif 2338-2338
(instance ConvexRoundShape ThreeDimensionalFigure) Mid-level-ontology.kif 5042-5042 Convex round shape is an instance of three dimensional figure

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


(termFormat ChineseLanguage ConvexRoundShape "中凸的圆形") domainEnglishFormat.kif 50561-50561
(termFormat ChineseTraditionalLanguage ConvexRoundShape "中凸的圓形") domainEnglishFormat.kif 50560-50560
(termFormat EnglishLanguage ConvexRoundShape "convex round shape") domainEnglishFormat.kif 50559-50559

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


(=>
    (and
        (instance ?B Bubble)
        (not
            (exists (?X ?S)
                (and
                    (attribute ?X ?S)
                    (not
                        (equal ?X Gas))
                    (meetsSpatially ?X ?B)))))
    (attribute ?B ConvexRoundShape))
Mid-level-ontology.kif 5565-5574
(=>
    (instance ?F Football)
    (shape ?F ConvexRoundShape))
Sports.kif 340-342
(=>
    (instance ?T Tire)
    (attribute ?T ConvexRoundShape))
Cars.kif 4863-4865
(=>
    (instance ?W Wheel)
    (shape ?W ConvexRoundShape))
Military.kif 179-181
(=>
    (instance ?X Reel)
    (attribute ?X ConvexRoundShape))
Cars.kif 4332-4334


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