ConvexRoundShape - Sigma Knowledge base Browser

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	Convex round shape is an instance of three dimensional figure

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	If an object is an instance of bubble and there don't exist another object and an attribute such that the attribute is an attribute of the other object and the other object is not equal to gas and the other object meets the object, then convex round shape is an attribute of the object
(=> (instance ?F Football) (shape ?F ConvexRoundShape))	Sports.kif 340-342	If a physical is an instance of foot ball, then the physical is convex round shape
(=> (instance ?T Tire) (attribute ?T ConvexRoundShape))	Cars.kif 4787-4789	If an object is an instance of tire, then convex round shape is an attribute of the object
(=> (instance ?X Reel) (attribute ?X ConvexRoundShape))	Cars.kif 4256-4258	If an object is an instance of reel, then convex round shape is an attribute of the object