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 7126-7127
(domain radius 1 Circle) Merge.kif 7123-7123 The number 1 argument of radius is an instance of circle
(domain radius 2 LengthMeasure) Merge.kif 7124-7124 The number 2 argument of radius is an instance of length measure
(instance radius BinaryPredicate) Merge.kif 7120-7120 radius is an instance of binary predicate
(instance radius SingleValuedRelation) Merge.kif 7121-7121 radius is an instance of single valued relation
(instance radius TotalValuedRelation) Merge.kif 7122-7122 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 "%1 の radius は %2 では %n") english_format.kif 797-797
(format EnglishLanguage radius "the radius of %1 is %n %2") english_format.kif 796-796
(termFormat ChineseLanguage radius "半径") chinese_format.kif 791-791 "半径" is the printable form of radius in ChineseLanguage
(termFormat ChineseTraditionalLanguage radius "半徑") domainEnglishFormat.kif 48516-48516 "半徑" is the printable form of radius in ChineseTraditionalLanguage
(termFormat EnglishLanguage radius "radius") domainEnglishFormat.kif 48515-48515 "radius" is the printable form of radius in english language

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


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

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 7147-7152
(=>
    (instance ?C Circle)
    (exists (?R)
        (radius ?C ?R)))
Merge.kif 7102-7105


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