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 | radius は 2進述語 の 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 |