| 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 7215-7216 | |
| (externalImage Oval "http://upload.wikimedia.org/wikipedia/commons/f/f7/ Oval1.PNG") | pictureList.kif 961-961 | |
| (subclass Oval ClosedTwoDimensionalFigure) | Merge.kif 7213-7213 | subclass Oval and ClosedTwoDimensionalFigure |
| appearance as argument number 2 |
|
|
| (subclass Circle Oval) | Merge.kif 7218-7218 | subclass Circle and Oval |
| (termFormat ChineseLanguage Oval "椭圆") | domainEnglishFormat.kif 43636-43636 | |
| (termFormat ChineseTraditionalLanguage Oval "橢圓") | domainEnglishFormat.kif 43635-43635 | |
| (termFormat EnglishLanguage Oval "oval") | domainEnglishFormat.kif 43634-43634 |
| antecedent |
|
|
| (=> (instance ?SHAPE Oval) (shape ?SHAPE Elliptical)) |
Mid-level-ontology.kif 23548-23550 |
|
|
|