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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TwoDimensionalFigure

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 17876-17878
(externalImage TwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 24/ Elipse.svg") pictureList.kif 2418-2418
(partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) Merge.kif 17875-17875
(subclass TwoDimensionalFigure GeometricFigure) Merge.kif 17874-17874

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


(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17888-17888
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17880-17880
(termFormat ChineseLanguage TwoDimensionalFigure "二维图") domainEnglishFormat.kif 59704-59704
(termFormat ChineseTraditionalLanguage TwoDimensionalFigure "二維圖") domainEnglishFormat.kif 59703-59703
(termFormat EnglishLanguage TwoDimensionalFigure "two dimensional figure") domainEnglishFormat.kif 59702-59702

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


(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 17860-17860

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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