| Polygon(polygon)
|
| appearance as argument number 1 |
|
| (subclass Polygon ClosedTwoDimensionalFigure) | Mid-level-ontology.kif 5517-5517 | Polygon is a subclass of closed two dimensional figure |
| (documentation Polygon EnglishLanguage "A ClosedTwoDimensionalFigure that is composed exclusively of straight lines.") | Mid-level-ontology.kif 5518-5519 | Polygon is a subclass of closed two dimensional figure |
| (externalImage Polygon "http://upload.wikimedia.org/wikipedia/commons/4/ 4c/ Simple_polygon.png") | pictureList.kif 961-961 | Polygon is a subclass of closed two dimensional figure |
| appearance as argument number 2 |
|
|
| 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 5325-5338 | If X is an instance of polyhedron, Y is the face of Figure X, Y is an instance of polygon, and the size of Y is Z, then All of the following hold: (1) there exists W such that W is an instance of polygon (2) W is the face of Figure X (3) equal Y (4) W (5) the size of W is Z (6) Z is the intersection Y (7) W |
| (=> (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 5386-5402 | If All of the following hold: (1) X is an instance of pyramid (2) Y is an instance of polygon (3) Y is the face of Figure X (4) the size of Y is Z (5) W is an instance of triangle (6) W is the face of Figure X (7) the size of W is Z (8) Z is the intersection Y and W, then equal the number of instances in the class described by Z and the number of instances in the class described by W |
| (=> (and (instance ?POLYGON Polygon) (geometricPart ?PART ?POLYGON)) (equal ?PART StraightLine)) |
Mid-level-ontology.kif 5523-5527 | If X is an instance of polygon and X is a geometric part of Y, then equal Y and straight line |
| (=> (instance ?POLYGON Polygon) (exists (?SIDE) (and (sideOfFigure ?SIDE ?POLYGON) (geometricPart ?SIDE ?POLYGON)))) |
Mid-level-ontology.kif 5529-5534 | If X is an instance of polygon, then there exists Y such that the size of X is Y and X is a geometric part of Y |
| (=> (and (instance ?T Polygon) (equal ?T RightTriangle)) (exists (?A) (and (instance ?A TwoDimensionalAngle) (angleOfFigure ?A ?T) (equal ?A RightAngle)))) |
Mid-level-ontology.kif 5547-5555 | If X is an instance of polygon and equal X and right triangle, then there exists Y such that Y is an instance of two dimensional angle, Y is the angle found in X, equal Y, and at a right angle to |
| 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 5325-5338 | If X is an instance of polyhedron, Y is the face of Figure X, Y is an instance of polygon, and the size of Y is Z, then All of the following hold: (1) there exists W such that W is an instance of polygon (2) W is the face of Figure X (3) equal Y (4) W (5) the size of W is Z (6) Z is the intersection Y (7) W |
|
|
|