ConvexRoundShape - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ConvexRoundShape

ConvexRoundShape(convex round shape)

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 5457-5458
(externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Torus.png")	pictureList.kif 1963-1963
(externalImage ConvexRoundShape "http://upload.wikimedia.org/wikipedia/commons/ 9/ 95/ Ellipsoid_3d.jpg")	pictureList.kif 2338-2338
(instance ConvexRoundShape ThreeDimensionalFigure)	Mid-level-ontology.kif 5456-5456	Convex round shape is an instance of three dimensional figure

appearance as argument number 2

(termFormat ChineseLanguage ConvexRoundShape "中凸的圆形")	domainEnglishFormat.kif 50561-50561
(termFormat ChineseTraditionalLanguage ConvexRoundShape "中凸的圓形")	domainEnglishFormat.kif 50560-50560
(termFormat EnglishLanguage ConvexRoundShape "convex round shape")	domainEnglishFormat.kif 50559-50559

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 5979-5988	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 352-354	If a physical is an instance of foot ball, then the physical is convex round shape
(=> (instance ?T Tire) (attribute ?T ConvexRoundShape))	Cars.kif 4863-4865	If an object is an instance of tire, then convex round shape is an attribute of the object
(=> (instance ?W Wheel) (shape ?W ConvexRoundShape))	Military.kif 179-181	If a physical is an instance of wheel, then the physical is convex round shape
(=> (instance ?X Reel) (attribute ?X ConvexRoundShape))	Cars.kif 4332-4334	If an object is an instance of reel, then convex round shape is an attribute of the object

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