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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Oval
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 OvalClosedTwoDimensionalFigureinstance では

appearance as argument number 2
-------------------------


(subAttribute Circle Oval) Merge.kif 7687-7687 CircleOvalsubattribute では
(termFormat ChineseLanguage Oval "椭圆") domainEnglishFormat.kif 43730-43730 CircleOvalsubattribute では
(termFormat ChineseTraditionalLanguage Oval "橢圓") domainEnglishFormat.kif 43729-43729 CircleOvalsubattribute では
(termFormat EnglishLanguage Oval "oval") domainEnglishFormat.kif 43728-43728 CircleOvalsubattribute では

appearance as argument number 3
-------------------------


(domain tangent 2 Oval) Mid-level-ontology.kif 5254-5254 tangent の数値 2 引数は Ovalinstance では

consequent
-------------------------


(=>
    (equal ?L TangentLine)
    (exists (?C)
        (and
            (instance ?C Oval)
            (tangent ?L ?C))))
Mid-level-ontology.kif 5245-5250


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



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