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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 7558-7559
(domain radius 1 Circle) Merge.kif 7555-7555 domain radius, 1 and Circle
(domain radius 2 LengthMeasure) Merge.kif 7556-7556 domain radius, 2 and LengthMeasure
(instance radius BinaryPredicate) Merge.kif 7552-7552 instance radius and BinaryPredicate
(instance radius SingleValuedRelation) Merge.kif 7553-7553 instance radius and SingleValuedRelation
(instance radius TotalValuedRelation) Merge.kif 7554-7554 instance radius and TotalValuedRelation

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


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


    (diameter ?CIRCLE ?LENGTH)
    (exists (?NHALF ?UHALF)
            (radius ?CIRCLE
                (MeasureFn ?NHALF ?UHALF))
                    (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH))))
Merge.kif 7579-7584
    (instance ?C Circle)
    (exists (?R)
        (radius ?C ?R)))
Merge.kif 7534-7537

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