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 5495-5496
(externalImage Polygon "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Simple_polygon.png")	pictureList.kif 961-961
(subclass Polygon ClosedTwoDimensionalFigure)	Mid-level-ontology.kif 5494-5494	Polygon is a subclass of ClosedTwoDimensionalFigure

appearance as argument number 2

(instance Triangle Polygon)	Mid-level-ontology.kif 5513-5513	Triangle is an instance of Polygon
(subclass Quadrilateral Polygon)	Mid-level-ontology.kif 5534-5534	Quadrilateral is a subclass of Polygon
(termFormat ChineseLanguage Polygon "多边形")	domainEnglishFormat.kif 46587-46587	Quadrilateral is a subclass of Polygon
(termFormat ChineseTraditionalLanguage Polygon "多邊形")	domainEnglishFormat.kif 46586-46586	Quadrilateral is a subclass of Polygon
(termFormat EnglishLanguage Polygon "polygon")	domainEnglishFormat.kif 46585-46585	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 5302-5315	If a GeometricFigure is an instance of Polyhedron and faceOfFigure a TwoDimensionalFigure and the GeometricFigure and the TwoDimensionalFigure is an instance of Polygon and the size of the TwoDimensionalFigure is an OneDimensionalFigure, then there exists another TwoDimensionalFigure such that the other TwoDimensionalFigure is an instance of Polygon and faceOfFigure the other TwoDimensionalFigure and the GeometricFigure and equal the TwoDimensionalFigure and the other TwoDimensionalFigure and the size of the other TwoDimensionalFigure is the OneDimensionalFigure and sideOfIntersection the TwoDimensionalFigure, the other TwoDimensionalFigure and the OneDimensionalFigure
(=> (and (instance ?POLYGON Polygon) (geometricPart ?PART ?POLYGON)) (equal ?PART StraightLine))	Mid-level-ontology.kif 5500-5504	If a GeometricFigure is an instance of Polygon and geometricPart another GeometricFigure and the GeometricFigure, then equal the other GeometricFigure and StraightLine
(=> (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 5363-5379	If a GeometricFigure is an instance of Pyramid and a TwoDimensionalFigure is an instance of Polygon and faceOfFigure the TwoDimensionalFigure and the GeometricFigure and the size of the TwoDimensionalFigure is an OneDimensionalFigure and a symbolic string is an instance of Triangle and faceOfFigure the symbolic string and the GeometricFigure and the size of the symbolic string is the OneDimensionalFigure and sideOfIntersection the TwoDimensionalFigure, the symbolic string and the OneDimensionalFigure, then equal the number of instances in the class described by the OneDimensionalFigure and 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 5524-5532	If a GeometricFigure is an instance of Polygon and equal the GeometricFigure and RightTriangle, then there exists a TwoDimensionalAngle such that the TwoDimensionalAngle is an instance of TwoDimensionalAngle and angleOfFigure the TwoDimensionalAngle and the GeometricFigure and equal the TwoDimensionalAngle and RightAngle
(=> (instance ?POLYGON Polygon) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?SIDE ?POLYGON))))	Mid-level-ontology.kif 5506-5511	If a GeometricFigure is an instance of Polygon, then there exists an OneDimensionalFigure such that the size of the GeometricFigure is the OneDimensionalFigure and geometricPart the OneDimensionalFigure and the GeometricFigure

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 5302-5315

If a GeometricFigure is an instance of Polyhedron and faceOfFigure a TwoDimensionalFigure and the GeometricFigure and the TwoDimensionalFigure is an instance of Polygon and the size of the TwoDimensionalFigure is an OneDimensionalFigure,
then there exists another TwoDimensionalFigure such that the other TwoDimensionalFigure is an instance of Polygon and faceOfFigure the other TwoDimensionalFigure and the GeometricFigure and equal the TwoDimensionalFigure and the other TwoDimensionalFigure and the size of the other TwoDimensionalFigure is the OneDimensionalFigure and sideOfIntersection the TwoDimensionalFigure, the other TwoDimensionalFigure and the OneDimensionalFigure

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: