Polygon - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Polygon EnglishLanguage "A ClosedTwoDimensionalFigure that is composed exclusively of straight lines.")	Mid-level-ontology.kif 5527-5528
(externalImage Polygon "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Simple_polygon.png")	pictureList.kif 961-961
(subclass Polygon ClosedTwoDimensionalFigure)	Mid-level-ontology.kif 5526-5526	Polygon is a subclass of closed two dimensional figure

appearance as argument number 2

(instance Triangle Polygon)	Mid-level-ontology.kif 5545-5545	Triangle is an instance of polygon
(subclass Quadrilateral Polygon)	Mid-level-ontology.kif 5566-5566	Quadrilateral is a subclass of polygon
(termFormat ChineseLanguage Polygon "多边形")	domainEnglishFormat.kif 46616-46616	Quadrilateral is a subclass of polygon
(termFormat ChineseTraditionalLanguage Polygon "多邊形")	domainEnglishFormat.kif 46615-46615	Quadrilateral is a subclass of polygon
(termFormat EnglishLanguage Polygon "polygon")	domainEnglishFormat.kif 46614-46614	Quadrilateral is a subclass of polygon

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 5334-5347	If a geometric figure is an instance of polyhedron and a two dimensional figure is the face of Figure the geometric figure and the two dimensional figure is an instance of polygon and the size of the two dimensional figure is an one dimensional figure, then there exists another two dimensional figure such that the other two dimensional figure is an instance of polygon and the other two dimensional figure is the face of Figure the geometric figure and the two dimensional figure is not equal to the other two dimensional figure and the size of the other two dimensional figure is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the other two dimensional figure
(=> (and (instance ?POLYGON Polygon) (geometricPart ?PART ?POLYGON)) (equal ?PART StraightLine))	Mid-level-ontology.kif 5532-5536	If a geometric figure is an instance of polygon and the geometric figure is a geometric part of another geometric figure, then the other geometric figure is equal to straight line
(=> (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 5395-5411	If a geometric figure is an instance of pyramid and a two dimensional figure is an instance of polygon and the two dimensional figure is the face of Figure the geometric figure and the size of the two dimensional figure is an one dimensional figure and a symbolic string is an instance of triangle and the symbolic string is the face of Figure the geometric figure and the size of the symbolic string is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the symbolic string, then the number of instances in the class described by the one dimensional figure is equal to the number of instances in the class described by the symbolic string
(=> (and (instance ?T Polygon) (equal ?T RightTriangle)) (exists (?A) (and (instance ?A TwoDimensionalAngle) (angleOfFigure ?A ?T) (equal ?A RightAngle))))	Mid-level-ontology.kif 5556-5564	If a geometric figure is an instance of polygon and the geometric figure is equal to right triangle, then there exists a two dimensional angle such that the two dimensional angle is an instance of two dimensional angle and the two dimensional angle is the angle found in the geometric figure and the two dimensional angle is equal to right angle
(=> (instance ?POLYGON Polygon) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?SIDE ?POLYGON))))	Mid-level-ontology.kif 5538-5543	If a geometric figure is an instance of polygon, then there exists an one dimensional figure such that the size of the geometric figure is the one dimensional figure and the geometric figure is a geometric part of the one dimensional figure

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 5334-5347

If a geometric figure is an instance of polyhedron and a two dimensional figure is the face of Figure the geometric figure and the two dimensional figure is an instance of polygon and the size of the two dimensional figure is an one dimensional figure,
then there exists another two dimensional figure such that the other two dimensional figure is an instance of polygon and the other two dimensional figure is the face of Figure the geometric figure and the two dimensional figure is not equal to the other two dimensional figure and the size of the other two dimensional figure is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the other two dimensional figure

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

KB Term:			Term intersection

English Word: