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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RoundShape
RoundShape(圆形)

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 4552-4553
(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 4551-4551 圆形三维图instance

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 4555-4564

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


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