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

appearance as argument number 2

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

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