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。") Merge.kif 7833-7834
(documentation radius EnglishLanguage "(radius ?CIRCLE ?LENGTH) means that the radius of the Circle ?CIRCLE has a length of ?LENGTH.") Merge.kif 7831-7832
(domain radius 1 Circle) Merge.kif 7829-7829
(domain radius 2 LengthMeasure) Merge.kif 7830-7830
(instance radius BinaryPredicate) Merge.kif 7826-7826
(instance radius SingleValuedRelation) Merge.kif 7827-7827
(instance radius TotalValuedRelation) Merge.kif 7828-7828

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 487-487
(format FrenchLanguage radius "le radius de %1 est %n %2") french_format.kif 476-476
(format PortugueseLanguage radius "o radio de %1 e' %n %2") portuguese_format.kif 428-428
(termFormat ChineseLanguage radius "半径") chinese_format.kif 791-791
(termFormat EnglishLanguage radius "radius") domainEnglishFormat.kif 8520-8520

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


(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Merge.kif 7836-7842

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


(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?N__HALF ?U__HALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?N__HALF ?U__HALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?N__HALF 2) ?U__HALF) ?LENGTH))))
Merge.kif 7855-7860
(=>
    (instance ?C Circle)
    (exists (?R)
        (radius ?C ?R)))
Merge.kif 7807-7810


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners