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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - ConvexRoundShape

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 4781-4782
(externalImage ConvexRoundShape " 1/ 17/ Torus.png") pictureList.kif 1965-1965
(externalImage ConvexRoundShape " 9/ 95/ Ellipsoid_3d.jpg") pictureList.kif 2340-2340
(instance ConvexRoundShape ThreeDimensionalFigure) Mid-level-ontology.kif 4780-4780 ConvexRoundShape est une instance de ThreeDimensionalFigure

appearance as argument number 2

(termFormat ChineseLanguage ConvexRoundShape "中凸的圆形") domainEnglishFormat.kif 50549-50549
(termFormat ChineseTraditionalLanguage ConvexRoundShape "中凸的圓形") domainEnglishFormat.kif 50548-50548
(termFormat EnglishLanguage ConvexRoundShape "convex round shape") domainEnglishFormat.kif 50547-50547


        (instance ?O Object)
        (attribute ?O ConvexRoundShape)
        (surface ?TO ?O)
        (instance ?TO TwoDimensionalObject))
    (forall (?P)
            (part ?P ?O)
            (attribute ?P GeometricPoint)
            (pointOfFigure ?P ?O)
            (meetsSpatially ?P ?O)
            (meetsSpatially ?P ?TO)
            (exists (?T)
                (tangent ?T ?TO)))))
Mid-level-ontology.kif 4786-4800


        (instance ?B Bubble)
            (exists (?X ?S)
                    (attribute ?X ?S)
                        (equal ?X Gas))
                    (meetsSpatially ?X ?B)))))
    (attribute ?B ConvexRoundShape))
Mid-level-ontology.kif 4983-4992
    (instance ?F Football)
    (shape ?F ConvexRoundShape))
Sports.kif 339-341
    (instance ?T Tire)
    (attribute ?T ConvexRoundShape))
Cars.kif 4802-4804
    (instance ?X Reel)
    (attribute ?X ConvexRoundShape))
Cars.kif 4271-4273

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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