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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OpenTwoDimensionalFigure

Sigma KEE - OpenTwoDimensionalFigure
OpenTwoDimensionalFigure

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 17881-17882
(externalImage OpenTwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9e/ Parabola.svg") pictureList.kif 1881-1881
(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 17880-17880 OpenTwoDimensionalFigure est une sous-classe de TwoDimensionalFigure

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


(partition TwoDimensionalFigure OpenTwoDimensionalFigure ClosedTwoDimensionalFigure) Merge.kif 17875-17875 TwoDimensionalFigure est compl�tement d�compos� en OpenTwoDimensionalFigure + ClosedTwoDimensionalFigure
(subclass TwoDimensionalAngle OpenTwoDimensionalFigure) Merge.kif 17884-17884 TwoDimensionalAngle est une sous-classe de OpenTwoDimensionalFigure
(termFormat ChineseLanguage OpenTwoDimensionalFigure "开放二维图") domainEnglishFormat.kif 42236-42236
(termFormat ChineseTraditionalLanguage OpenTwoDimensionalFigure "開放二維圖") domainEnglishFormat.kif 42235-42235
(termFormat EnglishLanguage OpenTwoDimensionalFigure "open two dimensional figure") domainEnglishFormat.kif 42234-42234


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