Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CenterOfCircleFn
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 CenterOfCircleFn1変数関数instance では %n
(range CenterOfCircleFn GeometricPoint) Merge.kif 7663-7663 CenterOfCircleFnrangeGeometricPoint のインスタンス では %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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners