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 17872-17874 | |
(subclass GeometricPoint GeometricFigure) | Merge.kif 17871-17871 | GeometricPoint は GeometricFigure の subclass では %n |
appearance as argument number 2 |
![]() |
(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) | Merge.kif 17866-17866 | GeometricFigure は GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure に exhaustively partitioned %n |
(range CenterOfCircleFn GeometricPoint) | Merge.kif 7673-7673 | CenterOfCircleFn の range は GeometricPoint のインスタンス では %n |
(termFormat ChineseLanguage GeometricPoint "几何点") | domainEnglishFormat.kif 25859-25859 | CenterOfCircleFn の range は GeometricPoint のインスタンス では %n |
(termFormat ChineseTraditionalLanguage GeometricPoint "幾何點") | domainEnglishFormat.kif 25858-25858 | CenterOfCircleFn の range は GeometricPoint のインスタンス では %n |
(termFormat EnglishLanguage GeometricPoint "geometric point") | domainEnglishFormat.kif 25857-25857 | CenterOfCircleFn の range は GeometricPoint のインスタンス では %n |
appearance as argument number 3 |
![]() |
(domain geometricDistance 1 GeometricPoint) | Merge.kif 18059-18059 | geometricDistance の数値 1 引数は GeometricPoint の instance では %n |
(domain geometricDistance 2 GeometricPoint) | Merge.kif 18060-18060 | geometricDistance の数値 2 引数は GeometricPoint の instance では %n |
(domain pointOfFigure 1 GeometricPoint) | Merge.kif 17912-17912 | pointOfFigure の数値 1 引数は GeometricPoint の instance では %n |
(domain pointOfIntersection 3 GeometricPoint) | Merge.kif 17927-17927 | pointOfIntersection の数値 3 引数は GeometricPoint の instance では %n |
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 4814-4828 |
|
![]() |
![]() |