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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - OpenTwoDimensionalFigure
OpenTwoDimensionalFigure(open two dimensional figure)

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


(documentation OpenTwoDimensionalFigure ChineseLanguage "这是非 ClosedTwoDimensionalFigureTwoDimensionalFigure 类别。") chinese_format.kif 3976-3977
(documentation OpenTwoDimensionalFigure EnglishLanguage "The class of TwoDimensionalFigures that are not ClosedTwoDimensionalFigures.") Merge.kif 17802-17803
(externalImage OpenTwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9e/ Parabola.svg") pictureList.kif 1881-1881
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17801-17801 Open two dimensional figure is a subclass of two dimensional figure

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


(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 TwoDimensionalAngle OpenTwoDimensionalFigure) Merge.kif 17805-17805 Two dimensional angle is a subclass of open two dimensional figure
(termFormat ChineseLanguage OpenTwoDimensionalFigure "开放二维图") domainEnglishFormat.kif 42234-42234
(termFormat ChineseTraditionalLanguage OpenTwoDimensionalFigure "開放二維圖") domainEnglishFormat.kif 42233-42233
(termFormat EnglishLanguage OpenTwoDimensionalFigure "open two dimensional figure") domainEnglishFormat.kif 42232-42232


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