![]() |
![]() ![]()
|
![]() |
|
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 7684-7685 | |
(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 7682-7682 | Oval is an instance of closed two dimensional figure |
appearance as argument number 2 |
![]() |
(subAttribute Circle Oval) | Merge.kif 7687-7687 | Circle is a subattribute of oval |
(termFormat ChineseLanguage Oval "椭圆") | domainEnglishFormat.kif 43730-43730 | Circle is a subattribute of oval |
(termFormat ChineseTraditionalLanguage Oval "橢圓") | domainEnglishFormat.kif 43729-43729 | Circle is a subattribute of oval |
(termFormat EnglishLanguage Oval "oval") | domainEnglishFormat.kif 43728-43728 | Circle is a subattribute of oval |
appearance as argument number 3 |
![]() |
(domain tangent 2 Oval) | Mid-level-ontology.kif 5254-5254 | The number 2 argument of tangent is an instance of oval |
consequent |
![]() |
(=> (equal ?L TangentLine) (exists (?C) (and (instance ?C Oval) (tangent ?L ?C)))) |
Mid-level-ontology.kif 5245-5250 |
|
![]() |
![]() |