Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners