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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TwoDimensionalFigure
TwoDimensionalFigure

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
(subclass TwoDimensionalFigure GeometricFigure) Merge.kif 17795-17795

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


(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17809-17809
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17801-17801
(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

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