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 7552-7553
(domain radius 1 Circle) Merge.kif 7549-7549 半径 的 1 数量 是 instance
(domain radius 2 LengthMeasure) Merge.kif 7550-7550 半径 的 2 数量 是 长度测量instance
(instance radius BinaryPredicate) Merge.kif 7546-7546 半径二元谓语instance
(instance radius SingleValuedRelation) Merge.kif 7547-7547 半径单值关系instance
(instance radius TotalValuedRelation) Merge.kif 7548-7548 半径总值关系instance

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 JapaneseLanguage radius "%1 の radius は %2 では %n") english_format.kif 794-794
(termFormat ChineseLanguage radius "半径") chinese_format.kif 791-791
(termFormat ChineseTraditionalLanguage radius "半徑") domainEnglishFormat.kif 48560-48560
(termFormat EnglishLanguage radius "radius") domainEnglishFormat.kif 48559-48559

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


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

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


(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?NHALF ?UHALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?NHALF ?UHALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7573-7578
(=>
    (instance ?C Circle)
    (exists (?R)
        (radius ?C ?R)))
Merge.kif 7528-7531


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