| 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 |
| appearance as argument number 2 |
|
|
| (instance Triangle Polygon) | Mid-level-ontology.kif 5519-5519 | |
| (subclass Quadrilateral Polygon) | Mid-level-ontology.kif 5540-5540 | |
| (termFormat ChineseLanguage Polygon "多边形") | domainEnglishFormat.kif 46587-46587 | |
| (termFormat ChineseTraditionalLanguage Polygon "多邊形") | domainEnglishFormat.kif 46586-46586 | |
| (termFormat EnglishLanguage Polygon "polygon") | domainEnglishFormat.kif 46585-46585 |
| 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 |
|
|
|