Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 5729-5730
(instance RadiusFn UnaryFunction) Mid-level-ontology.kif 5731-5731 Radius is an instance of unary function
(instance RadiusFn TotalValuedRelation) Mid-level-ontology.kif 5732-5732 Radius is an instance of total valued relation
(domain RadiusFn 1 Circle) Mid-level-ontology.kif 5733-5733 The number 1 argument of radius is an instance of circle
(range RadiusFn LengthMeasure) Mid-level-ontology.kif 5734-5734 The range of radius is an instance of length measure

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


(format EnglishLanguage RadiusFn "the radius of %1") domainEnglishFormat.kif 2097-2097
(format ChineseTraditionalLanguage RadiusFn "%1 的 radius ") domainEnglishFormat.kif 2098-2098
(format ChineseLanguage RadiusFn "%1 的 radius ") domainEnglishFormat.kif 2099-2099
(termFormat EnglishLanguage RadiusFn "radius") domainEnglishFormat.kif 48577-48577
(termFormat ChineseTraditionalLanguage RadiusFn "半徑") domainEnglishFormat.kif 48578-48578
(termFormat ChineseLanguage RadiusFn "半径") domainEnglishFormat.kif 48579-48579

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


(=>
    (equal ?L
        (RadiusFn ?C))
    (equal ?C Circle))		 Mid-level-ontology.kif 5743-5746 If equal X and the radius of Y, then equal Y and circle

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


(=>
    (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 5717-5722 If equal the diameter of X and Y Z(s), then there exists W such that equal the radius of X and W Z(s) and equal W and 2.0 and Y
(=>
    (and
        (equal
            (CenterOfCircleFn ?C) ?P)
        (pointOfFigure ?P2 ?C)
        (geometricDistance ?P2 ?P ?R))
    (equal
        (RadiusFn ?C) ?R))		 Mid-level-ontology.kif 5736-5741 If equal the center of circle of X and Y, Z is a vertex of X, and Z is geometric distance Y for W, then equal the radius of X and W
(=>
    (and
        (equal ?S CircleSector)
        (equal ?C Circle)
        (geometricPart ?S ?C)
        (equal ?L ClosedLineSegment)
        (sideOfFigure ?L ?S))
    (lineMeasure ?L
        (RadiusFn ?C)))		 Mid-level-ontology.kif 5783-5790 If equal X and circle sector, equal Y and circle, Y is a geometric part of X, equal Z and closed line segment, and the size of X is Z, then the radius of Y is a line measure of Z


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners