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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Entity

Sigma KEE - GeometricPoint
GeometricPoint(geometric point)attracter, attractor, dot, point, vertex

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 17970-17972
(subclass GeometricPoint GeometricFigure) Merge.kif 17969-17969 Geometric point is a subclass of geometric figure

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


(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) Merge.kif 17964-17964 Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure
(range CenterOfCircleFn GeometricPoint) Merge.kif 7709-7709 The range of center of circle is an instance of geometric point
(termFormat ChineseLanguage GeometricPoint "几何点") domainEnglishFormat.kif 25841-25841 The range of center of circle is an instance of geometric point
(termFormat ChineseTraditionalLanguage GeometricPoint "幾何點") domainEnglishFormat.kif 25840-25840 The range of center of circle is an instance of geometric point
(termFormat EnglishLanguage GeometricPoint "geometric point") domainEnglishFormat.kif 25839-25839 The range of center of circle is an instance of geometric point

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


(domain endPointsOfLine 1 GeometricPoint) Mid-level-ontology.kif 5814-5814 The number 1 argument of end points of line is an instance of geometric point
(domain endPointsOfLine 2 GeometricPoint) Mid-level-ontology.kif 5815-5815 The number 2 argument of end points of line is an instance of geometric point
(domain geometricDistance 1 GeometricPoint) Merge.kif 18160-18160 The number 1 argument of geometric distance is an instance of geometric point
(domain geometricDistance 2 GeometricPoint) Merge.kif 18161-18161 The number 2 argument of geometric distance is an instance of geometric point
(domain pointOfFigure 1 GeometricPoint) Merge.kif 18010-18010 The number 1 argument of point of figure is an instance of geometric point
(domain pointOfIntersection 3 GeometricPoint) Merge.kif 18025-18025 The number 3 argument of point of intersection is an instance of geometric point

consequent
-------------------------


(=>
    (and
        (instance ?P PointInSpace)
        (attribute ?P ?G))
    (instance ?G GeometricPoint))
Mid-level-ontology.kif 27265-27269


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