| 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 7552-7553 | |
| (domain radius 1 Circle) | Merge.kif 7549-7549 | 半径 的 1 数量 是 圈 的 instance |
| (domain radius 2 LengthMeasure) | Merge.kif 7550-7550 | 半径 的 2 数量 是 长度测量 的 instance |
| (instance radius BinaryPredicate) | Merge.kif 7546-7546 | 半径 是 二元谓语 的 instance |
| (instance radius SingleValuedRelation) | Merge.kif 7547-7547 | 半径 是 单值关系 的 instance |
| (instance radius TotalValuedRelation) | Merge.kif 7548-7548 | 半径 是 总值关系 的 instance |
| 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 |
| antecedent |
|
|
| (=> (radius ?CIRCLE ?RADIUS) (exists (?POINT) (forall (?PART) (=> (pointOfFigure ?PART ?CIRCLE) (geometricDistance ?PART ?POINT ?RADIUS))))) |
Merge.kif 7555-7561 |
| consequent |
|
|
| (=> (diameter ?CIRCLE ?LENGTH) (exists (?NHALF ?UHALF) (and (radius ?CIRCLE (MeasureFn ?NHALF ?UHALF)) (equal (MeasureFn (MultiplicationFn ?NHALF 2) ?UHALF) ?LENGTH)))) |
Merge.kif 7573-7578 | |
| (=> (instance ?C Circle) (exists (?R) (radius ?C ?R))) |
Merge.kif 7528-7531 |
|
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