| 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 7648-7649 | |
| (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 7646-7646 | Oval は ClosedTwoDimensionalFigure の instance では %n |
| appearance as argument number 2 |
|
|
| (subAttribute Circle Oval) | Merge.kif 7651-7651 | Circle は Oval の subattribute では %n |
| (termFormat ChineseLanguage Oval "椭圆") | domainEnglishFormat.kif 43761-43761 | Circle は Oval の subattribute では %n |
| (termFormat ChineseTraditionalLanguage Oval "橢圓") | domainEnglishFormat.kif 43760-43760 | Circle は Oval の subattribute では %n |
| (termFormat EnglishLanguage Oval "oval") | domainEnglishFormat.kif 43759-43759 | Circle は Oval の subattribute では %n |
|
|
|