TreeView 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 7657-7658
(documentation CenterOfCircleFn JapaneseLanguage "(CenterOfCircleFn ?CIRCLE)は、Circle ?CIRCLEの中心である GeometricPoint を示す。")	japanese_format.kif 1366-1367
(domain CenterOfCircleFn 1 Object)	Merge.kif 7662-7662	CenterOfCircleFn の数値 1 引数はオブジェクトの instance では %n
(instance CenterOfCircleFn TotalValuedRelation)	Merge.kif 7661-7661	CenterOfCircleFn は合計値関係の instance では %n
(instance CenterOfCircleFn UnaryFunction)	Merge.kif 7660-7660	CenterOfCircleFn は 1変数関数の instance では %n
(range CenterOfCircleFn GeometricPoint)	Merge.kif 7663-7663	CenterOfCircleFn の range は GeometricPoint のインスタンスでは %n

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 13769-13769
(termFormat ChineseTraditionalLanguage CenterOfCircleFn "圓心")	domainEnglishFormat.kif 13768-13768
(termFormat EnglishLanguage CenterOfCircleFn "center of circle")	domainEnglishFormat.kif 13767-13767

antecedent

(=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R))	Mid-level-ontology.kif 4955-4960	CenterOfCircleFn オブジェクトは GeometricPoint と equal では %n GeometricPoint2 の vertex はオブジェクトでは %n geometricDistance GeometricPoint2, GeometricPoint and 長さ測定 RadiusFn オブジェクトは長さ測定と equal では %n
(=> (equal ?P (CenterOfCircleFn ?C)) (shape ?C Circle))	Merge.kif 7665-7668	GeometricPoint は CenterOfCircleFn オブジェクトと equal では %n shape オブジェクト and Circle

consequent

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

Merge.kif 7650-7655