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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TwoDimensionalFigure
TwoDimensionalFigure(two dimensional figure)
Cartesian_plane, Cupid's_bow, S-shape, crenation, crenature, crenel, crenelle, curve, curved_shape, flat, perversion, picture_plane, plane, plane_figure, scallop, sheet, two-dimensional_figure

appearance as argument number 1
-------------------------


(documentation TwoDimensionalFigure ChineseLanguage "这是有定位并在两个维度上有延伸空间的 GeometricFigure 类别,即是如圆圈和多边形的平面图。") chinese_format.kif 3974-3975
(documentation TwoDimensionalFigure EnglishLanguage "The class of GeometricFigures that have position and an extension along two dimensions, viz. plane figures like circles and polygons.") Merge.kif 17528-17530
(externalImage TwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 24/ Elipse.svg") pictureList.kif 2419-2419
(partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) Merge.kif 17527-17527 Two dimensional figure is exhaustively partitioned into open two dimensional figure and closed two dimensional figure
(subclass TwoDimensionalFigure GeometricFigure) Merge.kif 17526-17526 Two dimensional figure is a subclass of geometric figure

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


(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17540-17540 Closed two dimensional figure is a subclass of two dimensional figure
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17532-17532 Open two dimensional figure is a subclass of two dimensional figure
(termFormat ChineseLanguage TwoDimensionalFigure "二维图") domainEnglishFormat.kif 59669-59669
(termFormat ChineseTraditionalLanguage TwoDimensionalFigure "二維圖") domainEnglishFormat.kif 59668-59668
(termFormat EnglishLanguage TwoDimensionalFigure "two dimensional figure") domainEnglishFormat.kif 59667-59667

appearance as argument number 4
-------------------------


(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 17512-17512 Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure

consequent
-------------------------


(=>
    (instance ?T TwoDimensionalObject)
    (attribute ?T TwoDimensionalFigure))
Mid-level-ontology.kif 4535-4537


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