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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ThreeDimensionalFigure
ThreeDimensionalFigure

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


(documentation ThreeDimensionalFigure ChineseLanguage "这是有定位和在三个维度上都有延伸空间的 GeometricFigure 类别,即是如多面体和圆柱体的几何固体。") chinese_format.kif 3982-3983
(documentation ThreeDimensionalFigure EnglishLanguage "The class of GeometricFigures that have position and an extension along three dimensions, viz. geometric solids like polyhedrons and cylinders.") Merge.kif 17814-17816
(externalImage ThreeDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 40/ Paraboloid_of_Revolution.png") pictureList.kif 2400-2400
(externalImage ThreeDimensionalFigure "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4a/ HyperbolicParaboloid.png") pictureList.kif 2029-2029
(subclass ThreeDimensionalFigure GeometricFigure) Merge.kif 17813-17813 ThreeDimensionalFigure est une sous-classe de GeometricFigure

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


(instance ConvexRoundShape ThreeDimensionalFigure) Mid-level-ontology.kif 4813-4813 ConvexRoundShape est une instance de ThreeDimensionalFigure
(subclass Cone ThreeDimensionalFigure) Mid-level-ontology.kif 4835-4835 Cone est une sous-classe de ThreeDimensionalFigure
(subclass Cylinder ThreeDimensionalFigure) Mid-level-ontology.kif 4839-4839 Cylinder est une sous-classe de ThreeDimensionalFigure
(subclass HemisphereFigure ThreeDimensionalFigure) Mid-level-ontology.kif 26555-26555 HemisphereFigure est une sous-classe de ThreeDimensionalFigure
(subclass Sphere ThreeDimensionalFigure) Mid-level-ontology.kif 4985-4985 Sphere est une sous-classe de ThreeDimensionalFigure
(termFormat ChineseLanguage ThreeDimensionalFigure "三维图") domainEnglishFormat.kif 57902-57902
(termFormat ChineseTraditionalLanguage ThreeDimensionalFigure "三維圖") domainEnglishFormat.kif 57901-57901
(termFormat EnglishLanguage ThreeDimensionalFigure "three dimensional figure") domainEnglishFormat.kif 57900-57900

appearance as argument number 5
-------------------------


(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 17781-17781 GeometricFigure est compl�tement d�compos� en GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure


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