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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Polygon
Polygon(polygon)
polygonal

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


(documentation Polygon EnglishLanguage "A ClosedTwoDimensionalFigure that is composed exclusively of straight lines, i.e. OneDimensionalFigures.") Mid-level-ontology.kif 5189-5190
(externalImage Polygon "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Simple_polygon.png") pictureList.kif 962-962
(subclass Polygon ClosedTwoDimensionalFigure) Mid-level-ontology.kif 5188-5188 Polygon is a subclass of closed two dimensional figure

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


(subclass Quadrilateral Polygon) Mid-level-ontology.kif 5220-5220 Quadrilateral is a subclass of polygon
(subclass Triangle Polygon) Mid-level-ontology.kif 5203-5203 Triangle is a subclass of polygon
(termFormat ChineseLanguage Polygon "多边形") domainEnglishFormat.kif 46580-46580
(termFormat ChineseTraditionalLanguage Polygon "多邊形") domainEnglishFormat.kif 46579-46579
(termFormat EnglishLanguage Polygon "polygon") domainEnglishFormat.kif 46578-46578

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


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


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