pointOfFigure - Sigma Knowledge base Browser

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 17906-17907
(domain pointOfFigure 1 GeometricPoint)	Merge.kif 17904-17904
(domain pointOfFigure 2 GeometricFigure)	Merge.kif 17905-17905
(instance pointOfFigure BinaryPredicate)	Merge.kif 17903-17903
(subrelation pointOfFigure geometricPart)	Merge.kif 17902-17902

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 46384-46384
(termFormat ChineseTraditionalLanguage pointOfFigure "點圖")	domainEnglishFormat.kif 46383-46383
(termFormat EnglishLanguage pointOfFigure "point of figure")	domainEnglishFormat.kif 46382-46382

antecedent

(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))

Mid-level-ontology.kif 4988-4993

consequent

(=> (and (attribute ?OBJ ?SPHERE) (instance ?SPHERE Sphere)) (exists (?CENTER ?DIST) (forall (?PT) (=> (pointOfFigure ?PT ?OBJ) (geometricDistance ?PT ?CENTER ?DIST)))))	Mid-level-ontology.kif 5017-5025
(=> (and (tangent ?LINE ?CIRCLE) (sideOfFigure ?CURVE ?CIRCLE)) (exists (?POINT1) (and (pointOfFigure ?POINT1 ?LINE) (pointOfFigure ?POINT1 ?CURVE) (forall (?POINT2) (=> (and (pointOfFigure ?POINT2 ?LINE) (pointOfFigure ?POINT2 ?CURVE)) (equal ?POINT1 ?POINT2))))))	Mid-level-ontology.kif 4798-4811
(=> (pointOfIntersection ?FIGURE1 ?FIGURE2 ?POINT) (and (pointOfFigure ?POINT ?FIGURE1) (pointOfFigure ?POINT ?FIGURE2)))	Merge.kif 17923-17927
(=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS)))))	Merge.kif 7681-7687