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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Polygon

 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 4872-4873
(externalImage Polygon "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Simple_polygon.png") pictureList.kif 961-961
(subclass Polygon ClosedTwoDimensionalFigure) Mid-level-ontology.kif 4871-4871 Polygon ist eine teilkategorie von ClosedTwoDimensionalFigure

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


(instance Triangle Polygon) Mid-level-ontology.kif 4890-4890 Triangle ist ein fall von Polygon %n{nicht}
(subclass Quadrilateral Polygon) Mid-level-ontology.kif 4911-4911 Quadrilateral ist eine teilkategorie von Polygon
(termFormat ChineseLanguage Polygon "多边形") domainEnglishFormat.kif 46585-46585
(termFormat ChineseTraditionalLanguage Polygon "多邊形") domainEnglishFormat.kif 46584-46584
(termFormat EnglishLanguage Polygon "polygon") domainEnglishFormat.kif 46583-46583

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


(=>
    (and
        (instance ?POLYGON Polygon)
        (geometricPart ?PART ?POLYGON))
    (instance ?PART OneDimensionalFigure))		 Mid-level-ontology.kif 4877-4881
(=>
    (and
        (instance ?T Polygon)
        (equal ?T RightTriangle))
    (exists (?A)
        (and
            (instance ?A TwoDimensionalAngle)
            (angleOfFigure ?A ?T)
            (equal ?A RightAngle))))		 Mid-level-ontology.kif 4901-4909
(=>
    (instance ?POLYGON Polygon)
    (exists (?SIDE)
        (and
            (sideOfFigure ?SIDE ?POLYGON)
            (geometricPart ?SIDE ?POLYGON))))		 Mid-level-ontology.kif 4883-4888


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