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 7703-7704
(documentation CenterOfCircleFn JapaneseLanguage "(CenterOfCircleFn ?CIRCLE)は、Circle ?CIRCLEの中心である GeometricPoint を示す。") japanese_format.kif 1366-1367
(domain CenterOfCircleFn 1 Circle) Merge.kif 7708-7708 CenterOfCircleFn の数値 1 引数は Circle の instance では
(instance CenterOfCircleFn TotalValuedRelation) Merge.kif 7707-7707 CenterOfCircleFn は 合計値関係 の instance では
(instance CenterOfCircleFn UnaryFunction) Merge.kif 7706-7706 CenterOfCircleFn は 1変数関数 の instance では
(range CenterOfCircleFn GeometricPoint) Merge.kif 7709-7709 CenterOfCircleFn の range は 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
(relatedInternalConcept CentralAngle CenterOfCircleFn) Mid-level-ontology.kif 5719-5719 CentralAngle は CenterOfCircleFn に internally 関連して
(termFormat ChineseLanguage CenterOfCircleFn "圆心") domainEnglishFormat.kif 13767-13767 CentralAngle は CenterOfCircleFn に internally 関連して
(termFormat ChineseTraditionalLanguage CenterOfCircleFn "圓心") domainEnglishFormat.kif 13766-13766 CentralAngle は CenterOfCircleFn に internally 関連して
(termFormat EnglishLanguage CenterOfCircleFn "center of circle") domainEnglishFormat.kif 13765-13765 CentralAngle は CenterOfCircleFn に internally 関連して

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


(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))		 Mid-level-ontology.kif 5589-5594
(=>
    (and
        (equal ?CHORD ChordOfACircle)
        (pointOfFigure
            (CenterOfCircleFn ?C) ?CHORD)
        (equal ?C Circle))
    (equal ?CHORD DiameterLine))		 Mid-level-ontology.kif 5846-5852
(=>
    (equal ?P
        (CenterOfCircleFn ?C))
    (equal ?C Circle))		 Merge.kif 7711-7714

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


(=>
    (equal ?C Circle)
    (exists (?P)
        (equal
            (CenterOfCircleFn ?C) ?P)))		 Merge.kif 7698-7701
(=>
    (instance ?A CentralAngle)
    (exists (?L ?L2 ?C ?R)
        (and
            (equal ?L ClosedLineSegment)
            (sideOfFigure ?L ?A)
            (equal ?L2 ClosedLineSegment)
            (sideOfFigure ?L2 ?A)
            (equal ?C Circle)
            (geometricPart ?A ?C)
            (pointOfIntersection ?L ?L2
                (CenterOfCircleFn ?C))
            (lineMeasure ?L ?R)
            (lineMeasure ?L2 ?R)
            (radius ?C ?R))))		 Mid-level-ontology.kif 5737-5751


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