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 7273-7274 | |
(domain radius 1 Circle) | Merge.kif 7270-7270 | |
(domain radius 2 LengthMeasure) | Merge.kif 7271-7271 | |
(instance radius BinaryPredicate) | Merge.kif 7267-7267 | |
(instance radius SingleValuedRelation) | Merge.kif 7268-7268 | |
(instance radius TotalValuedRelation) | Merge.kif 7269-7269 |
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 48571-48571 | |
(termFormat EnglishLanguage radius "radius") | domainEnglishFormat.kif 48570-48570 |
antecedent |
![]() |
(=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS))))) |
Merge.kif 7276-7282 |
consequent |
![]() |
(=> (diameter ?CIRCLE ?LENGTH) (exists (?NHALF ?UHALF) (and (radius ?CIRCLE (MeasureFn ?NHALF ?UHALF)) (equal (MeasureFn (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH)))) |
Merge.kif 7294-7299 | |
(=> (instance ?C Circle) (exists (?R) (radius ?C ?R))) |
Merge.kif 7249-7252 |
![]() |
![]() |