Oval
|
|
appearance as argument number 1 |
(documentation Oval ChineseLanguage "这是 ClosedTwoDimensionalFigure 的类别,它是由一个 Cone 和 ClosedTwoDimensionalFigure 相交所产生的。") | chinese_format.kif 2645-2646 | |
(documentation Oval EnglishLanguage "An instance of ClosedTwoDimensionalFigures that is produced by the intersection of a Cone with a ClosedTwoDimensionalFigure.") | Merge.kif 7620-7621 | |
(documentation Oval JapaneseLanguage "ClosedTwoDimensionalFigure のクラスは、Cone と ClosedTwoDimensionalFigure の交点によって生成される。") | japanese_format.kif 1362-1363 | |
(externalImage Oval "http://upload.wikimedia.org/wikipedia/commons/f/f7/ Oval1.PNG") | pictureList.kif 960-960 | |
(instance Oval ClosedTwoDimensionalFigure) | Merge.kif 7618-7618 | 例 橢圓 and 封閉的二維圖 |
appearance as argument number 2 |
(subAttribute Circle Oval) | Merge.kif 7623-7623 | 子屬性 圈 and 橢圓 |
(termFormat ChineseLanguage Oval "椭圆") | domainEnglishFormat.kif 43728-43728 | |
(termFormat ChineseTraditionalLanguage Oval "橢圓") | domainEnglishFormat.kif 43727-43727 | |
(termFormat EnglishLanguage Oval "oval") | domainEnglishFormat.kif 43726-43726 |