Circle![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Circle ChineseLanguage "这是 Oval 的类别,以至构成 Circle 的 所有 GeometricPoint 和单一的 GeometricPoint,称为 Circle 的中心是等距的。") | chinese_format.kif 2647-2648 | |
(documentation Circle EnglishLanguage "A subAttribute of Oval such that all GeometricPoints that make up the Circle are equidistant from a single GeometricPoint, known as the center of the Circle.") | Merge.kif 7689-7691 | |
(documentation Circle JapaneseLanguage "Oval のクラスは、 Circle を構成するすべてのGPが、 Circle の中心として知られている単一の GeometricPoint から等距離である。") | japanese_format.kif 1364-1365 | |
(externalImage Circle "http://articulatesoftware.com/SUMOpictures/signs_symbol/ shapes/ circle.png") | pictureList.kif 346-346 | |
(externalImage Circle "http://upload.wikimedia.org/wikipedia/commons/a/a0/ Circle_-_black_simple.svg") | pictureList.kif 67-67 | |
(subAttribute Circle Oval) | Merge.kif 7687-7687 | Circle は Oval の subattribute では |
appearance as argument number 2 |
![]() |
(subAttribute DiskShaped Circle) | Mid-level-ontology.kif 27246-27246 | DiskShaped は Circle の subattribute では |
(termFormat ChineseLanguage Circle "圈") | domainEnglishFormat.kif 14871-14871 | DiskShaped は Circle の subattribute では |
(termFormat ChineseTraditionalLanguage Circle "圈") | domainEnglishFormat.kif 14870-14870 | DiskShaped は Circle の subattribute では |
(termFormat EnglishLanguage Circle "circle") | domainEnglishFormat.kif 14869-14869 | DiskShaped は Circle の subattribute では |
appearance as argument number 3 |
![]() |
(domain CenterOfCircleFn 1 Circle) | Merge.kif 7708-7708 | CenterOfCircleFn の数値 1 引数は Circle の instance では |
(domain DiameterFn 1 Circle) | Mid-level-ontology.kif 5567-5567 | DiameterFn の数値 1 引数は Circle の instance では |
(domain RadiusFn 1 Circle) | Mid-level-ontology.kif 5586-5586 | RadiusFn の数値 1 引数は Circle の instance では |
(domain circumference 1 Circle) | Mid-level-ontology.kif 33074-33074 | circumference の数値 1 引数は Circle の instance では |
(domain diameter 1 Circle) | Merge.kif 7741-7741 | diameter の数値 1 引数は Circle の instance では |
(domain radius 1 Circle) | Merge.kif 7719-7719 | radius の数値 1 引数は Circle の instance では |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |