Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  Oval

Sigma KEE - Oval
Oval(oval)
ellipse, oval

appearance as argument number 1
-------------------------


(documentation Oval ChineseLanguage "这是 ClosedTwoDimensionalFigure 的类别,它是由一个 ConeClosedTwoDimensionalFigure 相交所产生的。") 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 のクラスは、ConeClosedTwoDimensionalFigure の交点によって生成される。") 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners