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 17723-17724 | |
(domain pointOfFigure 1 GeometricPoint) | Merge.kif 17721-17721 | pointOfFigure の数値 1 引数は GeometricPoint の instance では %n |
(domain pointOfFigure 2 GeometricFigure) | Merge.kif 17722-17722 | pointOfFigure の数値 2 引数は GeometricFigure の instance では %n |
(instance pointOfFigure BinaryPredicate) | Merge.kif 17720-17720 | pointOfFigure は 2進述語 の instance では %n |
(subrelation pointOfFigure geometricPart) | Merge.kif 17719-17719 | pointOfFigure は geometricPart の subrelation では %n |
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 46368-46368 | |
(termFormat ChineseTraditionalLanguage pointOfFigure "點圖") | domainEnglishFormat.kif 46367-46367 | |
(termFormat EnglishLanguage pointOfFigure "point of figure") | domainEnglishFormat.kif 46366-46366 |
antecedent |
![]() |
(=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R)) |
Mid-level-ontology.kif 4938-4943 |
|
consequent |
![]() |
![]() |
![]() |