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 17866-17868 | |
(subclass GeometricPoint GeometricFigure) | Merge.kif 17865-17865 | GeometricPoint e' uma sub-classe de GeometricFigure |
appearance as argument number 2 |
(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) | Merge.kif 17860-17860 | O conceito GeometricFigure e' completamente decomposto em GeometricPoint, OneDimensionalFigure, TwoDimensionalFigure, + ThreeDimensionalFigure |
(range CenterOfCircleFn GeometricPoint) | Merge.kif 7663-7663 | O contra-dominio de CenterOfCircleFn e' uma instancia de GeometricPoint |
(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 18053-18053 | O argumento numero 1 de geometricDistance e' uma instancia de GeometricPoint |
(domain geometricDistance 2 GeometricPoint) | Merge.kif 18054-18054 | O argumento numero 2 de geometricDistance e' uma instancia de GeometricPoint |
(domain pointOfFigure 1 GeometricPoint) | Merge.kif 17906-17906 | O argumento numero 1 de pointOfFigure e' uma instancia de GeometricPoint |
(domain pointOfIntersection 3 GeometricPoint) | Merge.kif 17921-17921 | O argumento numero 3 de pointOfIntersection e' uma instancia de GeometricPoint |
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 |
|