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 16654-16655 | |
(domain pointOfFigure 1 GeometricPoint) | Merge.kif 16652-16652 | The number 1 argument of point of figure is an instance of geometric point |
(domain pointOfFigure 2 GeometricFigure) | Merge.kif 16653-16653 | The number 2 argument of point of figure is an instance of geometric figure |
(instance pointOfFigure BinaryPredicate) | Merge.kif 16651-16651 | point of figure is an instance of binary predicate |
(subrelation pointOfFigure geometricPart) | Merge.kif 16650-16650 | point of figure is a subrelation of geometric part |
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 802-802 | |
(format EnglishLanguage pointOfFigure "%1 の vertex は %2 では %n") | english_format.kif 803-803 | |
(termFormat ChineseLanguage pointOfFigure "图形的顶点") | chinese_format.kif 795-795 | |
(termFormat ChineseLanguage pointOfFigure "点图") | domainEnglishFormat.kif 46351-46351 | |
(termFormat ChineseTraditionalLanguage pointOfFigure "點圖") | domainEnglishFormat.kif 46350-46350 | |
(termFormat EnglishLanguage pointOfFigure "point of figure") | domainEnglishFormat.kif 46349-46349 |
antecedent |
![]() |
(=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R)) |
Mid-level-ontology.kif 5269-5274 |
|
consequent |
![]() |
![]() |
![]() |