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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadiusFn

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 4948-4949
(domain RadiusFn 1 Object) Mid-level-ontology.kif 4952-4952
(instance RadiusFn TotalValuedRelation) Mid-level-ontology.kif 4951-4951
(instance RadiusFn UnaryFunction) Mid-level-ontology.kif 4950-4950
(range RadiusFn LengthMeasure) Mid-level-ontology.kif 4953-4953

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 48586-48586
(termFormat ChineseTraditionalLanguage RadiusFn "半徑") domainEnglishFormat.kif 48585-48585
(termFormat EnglishLanguage RadiusFn "radius") domainEnglishFormat.kif 48584-48584

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


(=>
    (equal ?L
        (RadiusFn ?C))
    (shape ?C Circle))
Mid-level-ontology.kif 4962-4965

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


(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))
Mid-level-ontology.kif 4955-4960
(=>
    (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 4936-4941


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