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 5262-5263
(domain RadiusFn 1 Circle) Mid-level-ontology.kif 5266-5266 The number 1 argument of radius is an instance of circle
(instance RadiusFn TotalValuedRelation) Mid-level-ontology.kif 5265-5265 Radius is an instance of total valued relation
(instance RadiusFn UnaryFunction) Mid-level-ontology.kif 5264-5264 Radius is an instance of unary function
(range RadiusFn LengthMeasure) Mid-level-ontology.kif 5267-5267 The range of radius is an instance of length measure

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 48578-48578
(termFormat ChineseTraditionalLanguage RadiusFn "半徑") domainEnglishFormat.kif 48577-48577
(termFormat EnglishLanguage RadiusFn "radius") domainEnglishFormat.kif 48576-48576

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


(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))
Mid-level-ontology.kif 5269-5274
(=>
    (equal
        (DiameterFn ?C)
        (MeasureFn ?L ?U))
    (exists (?R)
        (and
            (equal
                (RadiusFn ?C)
                (MeasureFn ?R ?U))
            (equal
                (MultiplicationFn ?R 2) ?L))))
Mid-level-ontology.kif 5255-5260


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