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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeometricFigure
GeometricFigure
more pictures...

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


(documentation GeometricFigure ChineseLanguage "这是所有几何图形的类别,也就是所有抽象的空间上的表 达方式。这个类别的实例有:GeometricPointTwoDimensionalFigureThreeDimensionalFigure。") chinese_format.kif 3968-3969
(documentation GeometricFigure EnglishLanguage "The class of all geometric figures, i.e. the class of all abstract, spatial representations. The instances of this class are GeometricPoints, TwoDimensionalFigures or ThreeDimensionalFigures.") Merge.kif 17782-17784
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Sphere-wireframe.png") pictureList.kif 9262-9262
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Torus_cycles.png") pictureList.kif 9261-9261
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Absolute_value.jpg") pictureList.kif 9259-9259
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Geometrie_carre.png") pictureList.kif 9264-9264
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Glass_tesseract_animation.gif") pictureList.kif 9263-9263
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 44/ Geometric_triangles.jpg/ 800px-Geometric_triangles.jpg") pictureList.kif 8503-8503
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 59/ Complete_graph_K4.svg/ 600px-Complete_graph_K4.svg.png") pictureList.kif 9260-9260
(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 17781-17781 GeometricFigure est compl�tement d�compos� en GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure
(subclass GeometricFigure ShapeAttribute) Merge.kif 17780-17780 GeometricFigure est une sous-classe de attribut de forme

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


(subclass GeometricPoint GeometricFigure) Merge.kif 17786-17786 GeometricPoint est une sous-classe de GeometricFigure
(subclass OneDimensionalFigure GeometricFigure) Merge.kif 17791-17791 OneDimensionalFigure est une sous-classe de GeometricFigure
(subclass ThreeDimensionalFigure GeometricFigure) Merge.kif 17813-17813 ThreeDimensionalFigure est une sous-classe de GeometricFigure
(subclass TwoDimensionalFigure GeometricFigure) Merge.kif 17795-17795 TwoDimensionalFigure est une sous-classe de GeometricFigure
(termFormat ChineseLanguage GeometricFigure "几何图") domainEnglishFormat.kif 25818-25818
(termFormat ChineseTraditionalLanguage GeometricFigure "幾何圖") domainEnglishFormat.kif 25817-25817
(termFormat EnglishLanguage GeometricFigure "geometric figure") domainEnglishFormat.kif 25816-25816

appearance as argument number 3
-------------------------


(domain angleOfFigure 2 GeometricFigure) Merge.kif 17835-17835 Le nombre 2 argument de angleOfFigure est une instance de GeometricFigure
(domain geometricPart 1 GeometricFigure) Merge.kif 17820-17820 Le nombre 1 argument de geometricPart est une instance de GeometricFigure
(domain geometricPart 2 GeometricFigure) Merge.kif 17821-17821 Le nombre 2 argument de geometricPart est une instance de GeometricFigure
(domain pointOfFigure 2 GeometricFigure) Merge.kif 17828-17828 Le nombre 2 argument de pointOfFigure est une instance de GeometricFigure
(domain sideOfFigure 2 GeometricFigure) Mid-level-ontology.kif 4981-4981 Le nombre 2 argument de sideOfFigure est une instance de GeometricFigure


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