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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiusFn
RadiusFn

appearance as argument number 1
-------------------------


(documentation RadiusFn EnglishLanguage "(RadiusFn ?CIRCLE) denotes the length of the radius of the Circle ?CIRCLE.") Mid-level-ontology.kif 4704-4705
(domain RadiusFn 1 Circle) Mid-level-ontology.kif 4708-4708 半径 的 1 数量 是 instance
(instance RadiusFn TotalValuedRelation) Mid-level-ontology.kif 4707-4707 半径总值关系instance
(instance RadiusFn UnaryFunction) Mid-level-ontology.kif 4706-4706 半径一元函数instance
(range RadiusFn LengthMeasure) Mid-level-ontology.kif 4709-4709 半径range长度测量 的实例

appearance as argument number 2
-------------------------


(format ChineseLanguage RadiusFn "%1 的 radius ") domainEnglishFormat.kif 2095-2095
(format ChineseTraditionalLanguage RadiusFn "%1 的 radius ") domainEnglishFormat.kif 2094-2094
(format EnglishLanguage RadiusFn "the radius of %1") domainEnglishFormat.kif 2093-2093
(termFormat ChineseLanguage RadiusFn "半径") domainEnglishFormat.kif 48567-48567
(termFormat ChineseTraditionalLanguage RadiusFn "半徑") domainEnglishFormat.kif 48566-48566
(termFormat EnglishLanguage RadiusFn "radius") domainEnglishFormat.kif 48565-48565

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


(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))
Mid-level-ontology.kif 4711-4716
(=>
    (equal
        (DiameterFn ?C)
        (MeasureFn ?L ?U))
    (exists (?R)
        (and
            (equal
                (RadiusFn ?C)
                (MeasureFn ?R ?U))
            (equal
                (MultiplicationFn ?R 2.0) ?L))))
Mid-level-ontology.kif 4697-4702


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