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 7674-7676 | |
(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 7672-7672 | Circle est un sous-attribut de Oval |
appearance as argument number 2 |
![]() |
(subAttribute DiskShaped Circle) | Mid-level-ontology.kif 27248-27248 | DiskShaped est un sous-attribut de Circle |
(termFormat ChineseLanguage Circle "圈") | domainEnglishFormat.kif 14871-14871 | DiskShaped est un sous-attribut de Circle |
(termFormat ChineseTraditionalLanguage Circle "圈") | domainEnglishFormat.kif 14870-14870 | DiskShaped est un sous-attribut de Circle |
(termFormat EnglishLanguage Circle "circle") | domainEnglishFormat.kif 14869-14869 | DiskShaped est un sous-attribut de Circle |
appearance as argument number 3 |
![]() |
(domain CenterOfCircleFn 1 Circle) | Merge.kif 7693-7693 | Le nombre 1 argument de CenterOfCircleFn est une instance de Circle |
(domain DiameterFn 1 Circle) | Mid-level-ontology.kif 5567-5567 | Le nombre 1 argument de DiameterFn est une instance de Circle |
(domain RadiusFn 1 Circle) | Mid-level-ontology.kif 5586-5586 | Le nombre 1 argument de RadiusFn est une instance de Circle |
(domain circumference 1 Circle) | Mid-level-ontology.kif 33076-33076 | Le nombre 1 argument de circumference est une instance de Circle |
(domain diameter 1 Circle) | Merge.kif 7726-7726 | Le nombre 1 argument de diameter est une instance de Circle |
(domain radius 1 Circle) | Merge.kif 7704-7704 | Le nombre 1 argument de radius est une instance de Circle |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |