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 4953-4954
(domain RadiusFn 1 Object) Mid-level-ontology.kif 4957-4957 Die Zahl 1 Argument von RadiusFn ist ein fall von Object %n{nicht}
(instance RadiusFn TotalValuedRelation) Mid-level-ontology.kif 4956-4956 RadiusFn ist ein fall von TotalValuedRelation %n{nicht}
(instance RadiusFn UnaryFunction) Mid-level-ontology.kif 4955-4955 RadiusFn ist ein fall von UnaryFunction %n{nicht}
(range RadiusFn LengthMeasure) Mid-level-ontology.kif 4958-4958 bildbereich von RadiusFn ist ein fall von LengthMeasure {nicht}

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

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


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

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


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


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