radius - Sigma Knowledge base Browser

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 7215-7216
(domain radius 1 Circle)	Merge.kif 7212-7212	The number 1 argument of radius is an instance of circle
(domain radius 2 LengthMeasure)	Merge.kif 7213-7213	The number 2 argument of radius is an instance of length measure
(instance radius BinaryPredicate)	Merge.kif 7209-7209	radius is an instance of binary predicate
(instance radius SingleValuedRelation)	Merge.kif 7210-7210	radius is an instance of single valued relation
(instance radius TotalValuedRelation)	Merge.kif 7211-7211	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
(termFormat ChineseTraditionalLanguage radius "半徑")	domainEnglishFormat.kif 48475-48475
(termFormat EnglishLanguage radius "radius")	domainEnglishFormat.kif 48474-48474

antecedent

(=>
    (radius ?CIRCLE ?RADIUS)
    (exists (?POINT)
        (forall (?PART)
            (=>
                (pointOfFigure ?PART ?CIRCLE)
                (geometricDistance ?PART ?POINT ?RADIUS)))))

Merge.kif 7218-7224

If a circle の radius は a length measure では %n,
then there exists a geometric point such that for all another geometric point
- if the other geometric point の vertex は the circle では %n,
- then the other geometric point is geometric distance the geometric point for the length measure

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 7236-7241	If the diameter of a circle is a length measure, then there exist an entity__HALF and another entity__HALF such that the circle の radius は the entity__HALF the other entity__HALF(s) では %n and the entity__HALF and 2 the other entity__HALF(s) is equal to the length measure
(=> (instance ?C Circle) (exists (?R) (radius ?C ?R)))	Merge.kif 7191-7194	If a circle is an instance of circle, then there exists a length measure such that the circle の radius は the length measure では %n

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

KB Term:			Term intersection

English Word: