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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GeometricPoint
GeometricPoint(几何点)

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


(documentation GeometricPoint ChineseLanguage "这是零维度 GeometricFigure 的类别,也就是有 定位但是在各个维度都没有延伸的 GeometricFigure 类别。") chinese_format.kif 3970-3971
(documentation GeometricPoint EnglishLanguage "The class of zero-dimensional GeometricFigures, i.e. the class of GeometricFigures that have position but lack extension in any dimension.") Merge.kif 17525-17527
(subclass GeometricPoint GeometricFigure) Merge.kif 17524-17524 几何点几何图subclass

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


(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 17519-17519 几何图 详尽无遗地 partition几何点, 一维图, 二维图, 和 三维图
(range CenterOfCircleFn GeometricPoint) Merge.kif 7552-7552 圆心range几何点 的实例
(termFormat ChineseLanguage GeometricPoint "几何点") domainEnglishFormat.kif 25821-25821
(termFormat ChineseTraditionalLanguage GeometricPoint "幾何點") domainEnglishFormat.kif 25820-25820
(termFormat EnglishLanguage GeometricPoint "geometric point") domainEnglishFormat.kif 25819-25819

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


(domain geometricDistance 1 GeometricPoint) Merge.kif 17712-17712 几何距离 的 1 数量 是 几何点instance
(domain geometricDistance 2 GeometricPoint) Merge.kif 17713-17713 几何距离 的 2 数量 是 几何点instance
(domain pointOfFigure 1 GeometricPoint) Merge.kif 17565-17565 图形的顶点 的 1 数量 是 几何点instance
(domain pointOfIntersection 3 GeometricPoint) Merge.kif 17580-17580 交点 的 3 数量 是 几何点instance


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