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 4528-4529
(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 4527-4527 Round shape is an instance of three dimensional figure

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


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

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 4531-4540

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 4712-4721
(=>
    (instance ?T Tire)
    (attribute ?T RoundShape))
Cars.kif 4825-4827
(=>
    (instance ?X Reel)
    (attribute ?X RoundShape))
Cars.kif 4287-4289


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