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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ConvexRoundShape

Sigma KEE - ConvexRoundShape
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 4809-4810
(externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png") pictureList.kif 1964-1964
(externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Ellipsoid_3d.jpg") pictureList.kif 2339-2339
(instance ConvexRoundShape ThreeDimensionalFigure) Mid-level-ontology.kif 4808-4808

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


(termFormat ChineseLanguage ConvexRoundShape "中凸的圆形") domainEnglishFormat.kif 50530-50530
(termFormat ChineseTraditionalLanguage ConvexRoundShape "中凸的圓形") domainEnglishFormat.kif 50529-50529
(termFormat EnglishLanguage ConvexRoundShape "convex round shape") domainEnglishFormat.kif 50528-50528

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


(=>
    (and
        (instance ?O Object)
        (attribute ?O ConvexRoundShape)
        (surface ?TO ?O)
        (instance ?TO TwoDimensionalObject))
    (forall (?P)
        (and
            (part ?P ?O)
            (attribute ?P GeometricPoint)
            (pointOfFigure ?P ?O)
            (meetsSpatially ?P ?O)
            (meetsSpatially ?P ?TO)
            (exists (?T)
                (tangent ?T ?TO)))))
Mid-level-ontology.kif 4814-4828

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 5010-5019
(=>
    (instance ?F Football)
    (shape ?F ConvexRoundShape))
Sports.kif 340-342
(=>
    (instance ?T Tire)
    (attribute ?T ConvexRoundShape))
Cars.kif 4787-4789
(=>
    (instance ?X Reel)
    (attribute ?X ConvexRoundShape))
Cars.kif 4256-4258


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