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.") Mid-level-ontology.kif 5501-5502
(externalImage Polygon "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Simple_polygon.png") pictureList.kif 961-961
(subclass Polygon ClosedTwoDimensionalFigure) Mid-level-ontology.kif 5500-5500 多边形封闭的二维图subclass

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


(instance Triangle Polygon) Mid-level-ontology.kif 5519-5519 三角形多边形instance
(subclass Quadrilateral Polygon) Mid-level-ontology.kif 5540-5540 四边形多边形subclass
(termFormat ChineseLanguage Polygon "多边形") domainEnglishFormat.kif 46587-46587 四边形多边形subclass
(termFormat ChineseTraditionalLanguage Polygon "多邊形") domainEnglishFormat.kif 46586-46586 四边形多边形subclass
(termFormat EnglishLanguage Polygon "polygon") domainEnglishFormat.kif 46585-46585 四边形多边形subclass

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


(=>
    (and
        (instance ?P Polyhedron)
        (faceOfFigure ?F1 ?P)
        (instance ?F1 Polygon)
        (sideOfFigure ?S ?F1))
    (exists (?F2)
        (and
            (instance ?F2 Polygon)
            (faceOfFigure ?F2 ?P)
            (not
                (equal ?F1 ?F2))
            (sideOfFigure ?S ?F2)
            (sideOfIntersection ?F1 ?F2 ?S))))
Mid-level-ontology.kif 5308-5321
(=>
    (and
        (instance ?POLYGON Polygon)
        (geometricPart ?PART ?POLYGON))
    (equal ?PART StraightLine))
Mid-level-ontology.kif 5506-5510
(=>
    (and
        (instance ?PY Pyramid)
        (instance ?POL Polygon)
        (faceOfFigure ?POL ?PY)
        (sideOfFigure ?S ?POL)
        (instance ?T Triangle)
        (faceOfFigure ?T ?PY)
        (sideOfFigure ?S ?T)
        (sideOfIntersection ?POL ?T ?S))
    (equal
        (CardinalityFn
            (KappaFn ?S
                (sideOfFigure ?S ?POL)))
        (CardinalityFn
            (KappaFn ?T
                (faceOfFigure ?T ?PY)))))
Mid-level-ontology.kif 5369-5385
(=>
    (and
        (instance ?T Polygon)
        (equal ?T RightTriangle))
    (exists (?A)
        (and
            (instance ?A TwoDimensionalAngle)
            (angleOfFigure ?A ?T)
            (equal ?A RightAngle))))
Mid-level-ontology.kif 5530-5538
(=>
    (instance ?POLYGON Polygon)
    (exists (?SIDE)
        (and
            (sideOfFigure ?SIDE ?POLYGON)
            (geometricPart ?SIDE ?POLYGON))))
Mid-level-ontology.kif 5512-5517

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


(=>
    (and
        (instance ?P Polyhedron)
        (faceOfFigure ?F1 ?P)
        (instance ?F1 Polygon)
        (sideOfFigure ?S ?F1))
    (exists (?F2)
        (and
            (instance ?F2 Polygon)
            (faceOfFigure ?F2 ?P)
            (not
                (equal ?F1 ?F2))
            (sideOfFigure ?S ?F2)
            (sideOfIntersection ?F1 ?F2 ?S))))
Mid-level-ontology.kif 5308-5321


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