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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RoundShape

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 4531-4532
(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 4530-4530 Round shape is an instance of three dimensional figure

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


(termFormat ChineseLanguage RoundShape "圆形") domainEnglishFormat.kif 50511-50511
(termFormat ChineseTraditionalLanguage RoundShape "圓形") domainEnglishFormat.kif 50510-50510
(termFormat EnglishLanguage RoundShape "round shape") domainEnglishFormat.kif 50509-50509

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 4534-4543

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 4715-4724
(=>
    (instance ?T Tire)
    (attribute ?T RoundShape))
Cars.kif 4805-4807
(=>
    (instance ?X Reel)
    (attribute ?X RoundShape))
Cars.kif 4274-4276


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