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 16615-16616
(externalImage OpenTwoDimensionalFigure " commons/ 9/ 9e/ Parabola.svg") pictureList.kif 1882-1882
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 16614-16614 Open two dimensional figure is a subclass of two dimensional figure

appearance as argument number 2

(partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) Merge.kif 16609-16609 Two dimensional figure is exhaustively partitioned into open two dimensional figure and closed two dimensional figure
(subclass TwoDimensionalAngle OpenTwoDimensionalFigure) Merge.kif 16618-16618 Two dimensional angle is a subclass of open two dimensional figure
(termFormat ChineseLanguage OpenTwoDimensionalFigure "开放二维图") domainEnglishFormat.kif 42151-42151
(termFormat ChineseTraditionalLanguage OpenTwoDimensionalFigure "開放二維圖") domainEnglishFormat.kif 42150-42150
(termFormat EnglishLanguage OpenTwoDimensionalFigure "open two dimensional figure") domainEnglishFormat.kif 42149-42149

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