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

Formal Language: 



KB Term:  Term intersection
English Word: 

  GeometricFigure

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 16610-16612
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Sphere-wireframe.png") pictureList.kif 9267-9267
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 5/ 54/ Torus_cycles.png") pictureList.kif 9266-9266
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9a/ Absolute_value.jpg") pictureList.kif 9264-9264
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Geometrie_carre.png") pictureList.kif 9269-9269
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ c/ c8/ Glass_tesseract_animation.gif") pictureList.kif 9268-9268
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 4/ 44/ Geometric_triangles.jpg/ 800px-Geometric_triangles.jpg") pictureList.kif 8506-8506
(externalImage GeometricFigure "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 59/ Complete_graph_K4.svg/ 600px-Complete_graph_K4.svg.png") pictureList.kif 9265-9265
(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 16609-16609
(subclass GeometricFigure ShapeAttribute) Merge.kif 16608-16608

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


(subclass GeometricPoint GeometricFigure) Merge.kif 16614-16614
(subclass OneDimensionalFigure GeometricFigure) Merge.kif 16619-16619
(subclass ThreeDimensionalFigure GeometricFigure) Merge.kif 16641-16641
(subclass TwoDimensionalFigure GeometricFigure) Merge.kif 16623-16623
(termFormat ChineseLanguage GeometricFigure "几何图") domainEnglishFormat.kif 25809-25809
(termFormat ChineseTraditionalLanguage GeometricFigure "幾何圖") domainEnglishFormat.kif 25808-25808
(termFormat EnglishLanguage GeometricFigure "geometric figure") domainEnglishFormat.kif 25807-25807

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


(domain angleOfFigure 2 GeometricFigure) Merge.kif 16663-16663
(domain geometricPart 1 GeometricFigure) Merge.kif 16648-16648
(domain geometricPart 2 GeometricFigure) Merge.kif 16649-16649
(domain pointOfFigure 2 GeometricFigure) Merge.kif 16656-16656
(domain sideOfFigure 2 GeometricFigure) Mid-level-ontology.kif 4677-4677


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