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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RoundShape

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 5134-5135
(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 5133-5133

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


(termFormat EnglishLanguage RoundShape "round shape") domainEnglishFormat.kif 8845-8845

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 5138-5147

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 5318-5327
(=>
    (instance ?T Tire)
    (attribute ?T RoundShape))
Cars.kif 4773-4775
(=>
    (instance ?X Reel)
    (attribute ?X RoundShape))
Cars.kif 4235-4237


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners