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


KB Term:  Term intersection
English Word: 

Sigma KEE - OpenTwoDimensionalFigure
OpenTwoDimensionalFigure(open two dimensional figure)

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


(subclass OpenTwoDimensionalFigure TwoDimensionalFigure) Merge.kif 18004-18004 Open two dimensional figure is a subclass of two dimensional figure
(documentation OpenTwoDimensionalFigure EnglishLanguage "The class of TwoDimensionalFigures that are not ClosedTwoDimensionalFigures.") Merge.kif 18005-18006 Open two dimensional figure is a subclass of two dimensional figure
(externalImage OpenTwoDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 9e/ Parabola.svg") pictureList.kif 1880-1880 Open two dimensional figure is a subclass of two dimensional figure

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


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


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