TreeView Knowledge Base Browser

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 17809-17811
(subclass GeometricPoint GeometricFigure)	Merge.kif 17808-17808	子類幾何點 and 幾何圖

appearance as argument number 2

(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure)	Merge.kif 17803-17803	劃分幾何圖, 幾何點, 一維圖, 二維圖 and 三維圖
(range CenterOfCircleFn GeometricPoint)	Merge.kif 7649-7649	範圍圓心 and 幾何點
(termFormat ChineseLanguage GeometricPoint "几何点")	domainEnglishFormat.kif 25830-25830
(termFormat ChineseTraditionalLanguage GeometricPoint "幾何點")	domainEnglishFormat.kif 25829-25829
(termFormat EnglishLanguage GeometricPoint "geometric point")	domainEnglishFormat.kif 25828-25828

appearance as argument number 3

(domain geometricDistance 1 GeometricPoint)	Merge.kif 17996-17996	域幾何距離, 1 and 幾何點
(domain geometricDistance 2 GeometricPoint)	Merge.kif 17997-17997	域幾何距離, 2 and 幾何點
(domain pointOfFigure 1 GeometricPoint)	Merge.kif 17849-17849	域點圖, 1 and 幾何點
(domain pointOfIntersection 3 GeometricPoint)	Merge.kif 17864-17864	域交點, 3 and 幾何點

consequent

(=>
    (and
        (instance ?O Object)
        (attribute ?O ConvexRoundShape)
        (surface ?TO ?O)
        (instance ?TO TwoDimensionalObject))
    (forall (?P)
        (and
            (part ?P ?O)
            (attribute ?P GeometricPoint)
            (pointOfFigure ?P ?O)
            (meetsSpatially ?P ?O)
            (meetsSpatially ?P ?TO)
            (exists (?T)
                (tangent ?T ?TO)))))

Mid-level-ontology.kif 4819-4833