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 17797-17799
(externalImage TwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 24/ Elipse.svg") pictureList.kif 2418-2418
(partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) Merge.kif 17796-17796 Two dimensional figure is exhaustively partitioned into open two dimensional figure and closed two dimensional figure
(subclass TwoDimensionalFigure GeometricFigure) Merge.kif 17795-17795 Two dimensional figure is a subclass of geometric figure

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


(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17809-17809 Closed two dimensional figure is a subclass of two dimensional figure
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17801-17801 Open two dimensional figure is a subclass of two dimensional figure
(termFormat ChineseLanguage TwoDimensionalFigure "二维图") domainEnglishFormat.kif 59702-59702
(termFormat ChineseTraditionalLanguage TwoDimensionalFigure "二維圖") domainEnglishFormat.kif 59701-59701
(termFormat EnglishLanguage TwoDimensionalFigure "two dimensional figure") domainEnglishFormat.kif 59700-59700

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


(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 17781-17781 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 4801-4803


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