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 7234-7235
(domain CenterOfCircleFn 1 Circle) Merge.kif 7239-7239 domain CenterOfCircleFn, 1 and Circle
(instance CenterOfCircleFn TotalValuedRelation) Merge.kif 7238-7238 instance CenterOfCircleFn and TotalValuedRelation
(instance CenterOfCircleFn UnaryFunction) Merge.kif 7237-7237 instance CenterOfCircleFn and UnaryFunction
(range CenterOfCircleFn GeometricPoint) Merge.kif 7240-7240 range CenterOfCircleFn and GeometricPoint

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 13693-13693
(termFormat ChineseTraditionalLanguage CenterOfCircleFn "圓心") domainEnglishFormat.kif 13692-13692
(termFormat EnglishLanguage CenterOfCircleFn "center of circle") domainEnglishFormat.kif 13691-13691

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


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

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


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


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