CenterOfCircleFn - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CenterOfCircleFn ChineseLanguage "(CenterOfCircleFn ?CIRCLE) 表示 Circle ?CIRCLE 的中心的 GeometricPoint。")	chinese_format.kif 2649-2650
(documentation CenterOfCircleFn EnglishLanguage "(CenterOfCircleFn ?CIRCLE) denotes the GeometricPoint that is the center of the Circle ?CIRCLE.")	Merge.kif 7234-7235
(domain CenterOfCircleFn 1 Circle)	Merge.kif 7239-7239	The number 1 argument of center of circle is an instance of circle
(instance CenterOfCircleFn TotalValuedRelation)	Merge.kif 7238-7238	Center of circle is an instance of total valued relation
(instance CenterOfCircleFn UnaryFunction)	Merge.kif 7237-7237	Center of circle is an instance of unary function
(range CenterOfCircleFn GeometricPoint)	Merge.kif 7240-7240	The range of center of circle is an instance of geometric point

appearance as argument number 2

(format ChineseLanguage CenterOfCircleFn "圆 %1 的 center ")	domainEnglishFormat.kif 404-404
(format ChineseTraditionalLanguage CenterOfCircleFn "圓 %1 的 center ")	domainEnglishFormat.kif 403-403
(format EnglishLanguage CenterOfCircleFn "the center of circle of %1")	domainEnglishFormat.kif 402-402
(termFormat ChineseLanguage CenterOfCircleFn "圆心")	domainEnglishFormat.kif 13693-13693
(termFormat ChineseTraditionalLanguage CenterOfCircleFn "圓心")	domainEnglishFormat.kif 13692-13692
(termFormat EnglishLanguage CenterOfCircleFn "center of circle")	domainEnglishFormat.kif 13691-13691

antecedent

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

Mid-level-ontology.kif 5269-5274

consequent

(=>
    (instance ?C Circle)
    (exists (?P)
        (equal
            (CenterOfCircleFn ?C) ?P)))

Merge.kif 7229-7232