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 4931-4932
(domain RadiusFn 1 Circle) Mid-level-ontology.kif 4935-4935 Le nombre 1 argument de RadiusFn est une instance de Circle
(instance RadiusFn TotalValuedRelation) Mid-level-ontology.kif 4934-4934 RadiusFn est une instance de relation total
(instance RadiusFn UnaryFunction) Mid-level-ontology.kif 4933-4933 RadiusFn est une instance de function unaire
(range RadiusFn LengthMeasure) Mid-level-ontology.kif 4936-4936 Le domaine de RadiusFn est une instance de mesure de longueur

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 48596-48596
(termFormat ChineseTraditionalLanguage RadiusFn "半徑") domainEnglishFormat.kif 48595-48595
(termFormat EnglishLanguage RadiusFn "radius") domainEnglishFormat.kif 48594-48594

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


(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))		 Mid-level-ontology.kif 4938-4943
(=>
    (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 4924-4929


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