Oval
|
|
appearance as argument number 1 |
(documentation Oval ChineseLanguage "这是 ClosedTwoDimensionalFigure 的类别,它是由一个 Cone 和 ClosedTwoDimensionalFigure 相交所产生的。") | chinese_format.kif 2645-2646 | |
(documentation Oval EnglishLanguage "The class of ClosedTwoDimensionalFigures that are produced by the intersection of a Cone with a ClosedTwoDimensionalFigure.") | Merge.kif 7615-7616 | |
(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 | |
(subclass Oval ClosedTwoDimensionalFigure) | Merge.kif 7613-7613 | Oval is a subclass of closed two dimensional figure |
appearance as argument number 2 |
(subclass Circle Oval) | Merge.kif 7618-7618 | Circle is a subclass of oval |
(termFormat ChineseLanguage Oval "椭圆") | domainEnglishFormat.kif 43728-43728 | |
(termFormat ChineseTraditionalLanguage Oval "橢圓") | domainEnglishFormat.kif 43727-43727 | |
(termFormat EnglishLanguage Oval "oval") | domainEnglishFormat.kif 43726-43726 |
antecedent |
(=> (instance ?SHAPE Oval) (shape ?SHAPE Elliptical)) |
Mid-level-ontology.kif 25594-25596 |
|