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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Polygon
Polygon(多边形)

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


(documentation Polygon EnglishLanguage "A ClosedTwoDimensionalFigure that is composed exclusively of straight lines, i.e. OneDimensionalFigures.") Mid-level-ontology.kif 4582-4583
(externalImage Polygon "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Simple_polygon.png") pictureList.kif 962-962
(subclass Polygon ClosedTwoDimensionalFigure) Mid-level-ontology.kif 4581-4581 多边形封闭的二维图subclass

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


(subclass Quadrilateral Polygon) Mid-level-ontology.kif 4613-4613 四边形多边形subclass
(subclass Triangle Polygon) Mid-level-ontology.kif 4596-4596 三角形多边形subclass
(termFormat ChineseLanguage Polygon "多边形") domainEnglishFormat.kif 46568-46568
(termFormat ChineseTraditionalLanguage Polygon "多邊形") domainEnglishFormat.kif 46567-46567
(termFormat EnglishLanguage Polygon "polygon") domainEnglishFormat.kif 46566-46566

antecedent
-------------------------


(=>
    (instance ?POLYGON Polygon)
    (=>
        (geometricPart ?PART ?POLYGON)
        (or
            (sideOfFigure ?PART ?POLYGON)
            (exists (?SIDE)
                (and
                    (sideOfFigure ?SIDE ?POLYGON)
                    (geometricPart ?PART ?SIDE))))))
Mid-level-ontology.kif 4585-4594


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