![]() |
![]() ![]() ![]()
|
![]() |
|
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 | Polygon is a subclass of closed two dimensional figure |
appearance as argument number 2 |
![]() |
(instance Triangle Polygon) | Mid-level-ontology.kif 5519-5519 | Triangle is an instance of polygon |
(subclass Quadrilateral Polygon) | Mid-level-ontology.kif 5540-5540 | 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 |
![]() |
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 |
|
![]() |
![]() |