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 7676-7677
(documentation radius JapaneseLanguage "(radius ?CIRCLE ?LENGTH) は、Circle ?CIRCLEの半径 が ?LENGTHの長さを有することを意味する。") japanese_format.kif 1368-1369
(domain radius 1 Object) Merge.kif 7673-7673 radius の数値 1 引数は オブジェクトinstance では %n
(domain radius 2 LengthMeasure) Merge.kif 7674-7674 radius の数値 2 引数は 長さ測定instance では %n
(instance radius BinaryPredicate) Merge.kif 7670-7670 radius2進述語instance では %n
(instance radius SingleValuedRelation) Merge.kif 7671-7671 radius一価関係instance では %n
(instance radius TotalValuedRelation) Merge.kif 7672-7672 radius合計値関係instance では %n

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
(termFormat ChineseLanguage radius "半径") chinese_format.kif 791-791
(termFormat ChineseTraditionalLanguage radius "半徑") domainEnglishFormat.kif 48615-48615
(termFormat EnglishLanguage radius "radius") domainEnglishFormat.kif 48614-48614

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


(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))
Merge.kif 7679-7685
(=>
    (radius ?CIRCLE ?RADIUS)
    (shape ?CIRCLE Circle))
Merge.kif 7687-7689

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


(=>
    (and
        (instance ?C Object)
        (shape ?C Circle))
    (exists (?R)
        (radius ?C ?R)))
Merge.kif 7643-7648
(=>
    (diameter ?CIRCLE ?LENGTH)
    (exists (?NHALF ?UHALF)
        (and
            (radius ?CIRCLE
                (MeasureFn ?NHALF ?UHALF))
            (equal
                (MeasureFn
                    (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7701-7706


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