pointOfFigure |
appearance as argument number 1 |
![]() |
(documentation pointOfFigure ChineseLanguage "(pointOfFigure ?POINT ?FIGURE)的意思是 GeometricPoint ?POINT 是 GeometricFigure ?FIGURE 的一部分。") | chinese_format.kif 3986-3987 | |
(documentation pointOfFigure EnglishLanguage "(pointOfFigure ?POINT ?FIGURE) means that the GeometricPoint ?POINT is part of the GeometricFigure ?FIGURE.") | Merge.kif 17829-17830 | |
(domain pointOfFigure 1 GeometricPoint) | Merge.kif 17827-17827 | O argumento numero 1 de pointOfFigure e' uma instancia de GeometricPoint |
(domain pointOfFigure 2 GeometricFigure) | Merge.kif 17828-17828 | O argumento numero 2 de pointOfFigure e' uma instancia de GeometricFigure |
(instance pointOfFigure BinaryPredicate) | Merge.kif 17826-17826 | pointOfFigure e' uma instancia de Predicado Binario |
(subrelation pointOfFigure geometricPart) | Merge.kif 17825-17825 | pointOfFigure e' uma sub-relacao de geometricPart |
appearance as argument number 2 |
![]() |
(format ChineseLanguage pointOfFigure "%1 %n 是 %2 的顶点") | chinese_format.kif 794-794 | |
(format EnglishLanguage pointOfFigure "%1 is %n a vertex of %2") | english_format.kif 799-799 | |
(format FrenchLanguage pointOfFigure "%1 est %n un point de %2") | french_format.kif 478-478 | |
(format JapaneseLanguage pointOfFigure "%1 の vertex は %2 では %n") | english_format.kif 800-800 | |
(format PortugueseLanguage pointOfFigure "%1 e' %n um ponto de %2") | portuguese_format.kif 430-430 | |
(format ro pointOfFigure "%1 %n{nu} este un vertex%t{vârf} al lui %2") | relations-ro.kif 500-500 | |
(termFormat ChineseLanguage pointOfFigure "图形的顶点") | chinese_format.kif 795-795 | |
(termFormat ChineseLanguage pointOfFigure "点图") | domainEnglishFormat.kif 46356-46356 | |
(termFormat ChineseTraditionalLanguage pointOfFigure "點圖") | domainEnglishFormat.kif 46355-46355 | |
(termFormat EnglishLanguage pointOfFigure "point of figure") | domainEnglishFormat.kif 46354-46354 |
antecedent |
![]() |
(=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R)) |
Mid-level-ontology.kif 4966-4971 |
consequent |
![]() |
![]() |
![]() |