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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - radius
radius

appearance as argument number 1
-------------------------


(documentation radius ChineseLanguage "(radius ?CIRCLE ?LENGTH) 的意思是 Circle ?CIRCLE 的半径的长度是 ?LENGTH。") chinese_format.kif 2651-2652
(documentation radius EnglishLanguage "(radius ?CIRCLE ?LENGTH) means that the radius of the Circle ?CIRCLE has a length of ?LENGTH.") Merge.kif 7722-7723
(documentation radius JapaneseLanguage "(radius ?CIRCLE ?LENGTH) は、Circle ?CIRCLEの半径 が ?LENGTHの長さを有することを意味する。") japanese_format.kif 1368-1369
(domain radius 1 Circle) Merge.kif 7719-7719 The number 1 argument of radius is an instance of circle
(domain radius 2 LengthMeasure) Merge.kif 7720-7720 The number 2 argument of radius is an instance of length measure
(instance radius BinaryPredicate) Merge.kif 7716-7716 radius is an instance of binary predicate
(instance radius SingleValuedRelation) Merge.kif 7717-7717 radius is an instance of single valued relation
(instance radius TotalValuedRelation) Merge.kif 7718-7718 radius is an instance of total valued relation

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


(format ChineseLanguage radius "%1 的 radius %n 是 %2") chinese_format.kif 790-790
(format EnglishLanguage radius "the radius of %1 is %n %2") english_format.kif 793-793
(format FrenchLanguage radius "le radius de %1 est %n %2") french_format.kif 476-476
(format JapaneseLanguage radius "%1 の radius は %2 では %n") english_format.kif 794-794
(format PortugueseLanguage radius "o radio de %1 e' %n %2") portuguese_format.kif 428-428
(format ro radius "radius{raza} lui %1 %n{nu} este %2") relations-ro.kif 498-498
(relatedInternalConcept arcLength radius) Mid-level-ontology.kif 5679-5679 arc length is internally related to radius
(termFormat ChineseLanguage radius "半径") chinese_format.kif 791-791 arc length is internally related to radius
(termFormat ChineseTraditionalLanguage radius "半徑") domainEnglishFormat.kif 48579-48579 arc length is internally related to radius
(termFormat EnglishLanguage radius "radius") domainEnglishFormat.kif 48578-48578 arc length is internally related to radius

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


(=>
    (radius ?CIRCLE ?RADIUS)
    (equal ?CIRCLE Circle))
Merge.kif 7733-7735
(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Merge.kif 7725-7731

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


(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?NHALF ?UHALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?NHALF ?UHALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7747-7752
(=>
    (equal ?C Circle)
    (exists (?R)
        (radius ?C ?R)))
Merge.kif 7693-7696
(=>
    (instance ?A CentralAngle)
    (exists (?L ?L2 ?C ?R)
        (and
            (equal ?L ClosedLineSegment)
            (sideOfFigure ?L ?A)
            (equal ?L2 ClosedLineSegment)
            (sideOfFigure ?L2 ?A)
            (equal ?C Circle)
            (geometricPart ?A ?C)
            (pointOfIntersection ?L ?L2
                (CenterOfCircleFn ?C))
            (lineMeasure ?L ?R)
            (lineMeasure ?L2 ?R)
            (radius ?C ?R))))
Mid-level-ontology.kif 5737-5751


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 is open source software produced by Articulate Software and its partners