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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 7620-7621
(documentation CenterOfCircleFn JapaneseLanguage "(CenterOfCircleFn ?CIRCLE)は、Circle ?CIRCLEの中心である GeometricPoint を示す。") japanese_format.kif 1366-1367
(domain CenterOfCircleFn 1 Circle) Merge.kif 7625-7625 CenterOfCircleFn の数値 1 引数は Circleinstance では %n
(instance CenterOfCircleFn TotalValuedRelation) Merge.kif 7624-7624 CenterOfCircleFn合計値関係instance では %n
(instance CenterOfCircleFn UnaryFunction) Merge.kif 7623-7623 CenterOfCircleFn1変数関数instance では %n
(range CenterOfCircleFn GeometricPoint) Merge.kif 7626-7626 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 13758-13758
(termFormat ChineseTraditionalLanguage CenterOfCircleFn "圓心") domainEnglishFormat.kif 13757-13757
(termFormat EnglishLanguage CenterOfCircleFn "center of circle") domainEnglishFormat.kif 13756-13756


            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
        (RadiusFn ?C) ?R))
Mid-level-ontology.kif 4938-4943


    (instance ?C Circle)
    (exists (?P)
            (CenterOfCircleFn ?C) ?P)))
Merge.kif 7615-7618

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

Show without tree

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