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 17535-17537
(externalImage TwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 2/ 24/ Elipse.svg") pictureList.kif 2419-2419
(partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) Merge.kif 17534-17534
(subclass TwoDimensionalFigure GeometricFigure) Merge.kif 17533-17533

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


(subclass ClosedTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17547-17547
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17539-17539
(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 17519-17519

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


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


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