CenterOfCircleFn |
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 13774-13774 | |
(termFormat ChineseTraditionalLanguage CenterOfCircleFn "圓心") | domainEnglishFormat.kif 13773-13773 | |
(termFormat EnglishLanguage CenterOfCircleFn "center of circle") | domainEnglishFormat.kif 13772-13772 |
antecedent |
(=> (and (equal (CenterOfCircleFn ?C) ?P) (pointOfFigure ?P2 ?C) (geometricDistance ?P2 ?P ?R)) (equal (RadiusFn ?C) ?R)) |
Mid-level-ontology.kif 4955-4960 |
|
(=> (equal ?P (CenterOfCircleFn ?C)) (shape ?C Circle)) |
Merge.kif 7665-7668 |
|
consequent |
(=> (and (instance ?C Object) (shape ?C Circle)) (exists (?P) (equal (CenterOfCircleFn ?C) ?P))) |
Merge.kif 7650-7655 |
|