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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CenterOfCircleFn

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 7573-7574
(domain CenterOfCircleFn 1 Circle) Merge.kif 7578-7578
(instance CenterOfCircleFn TotalValuedRelation) Merge.kif 7577-7577
(instance CenterOfCircleFn UnaryFunction) Merge.kif 7576-7576
(range CenterOfCircleFn GeometricPoint) Merge.kif 7579-7579

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 13760-13760
(termFormat ChineseTraditionalLanguage CenterOfCircleFn "圓心") domainEnglishFormat.kif 13759-13759
(termFormat EnglishLanguage CenterOfCircleFn "center of circle") domainEnglishFormat.kif 13758-13758

antecedent
-------------------------


(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))
Mid-level-ontology.kif 4926-4931

consequent
-------------------------


(=>
    (instance ?C Circle)
    (exists (?P)
        (equal
            (CenterOfCircleFn ?C) ?P)))
Merge.kif 7568-7571


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