Polygon - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Polygon

Polygon(polygon)

appearance as argument number 1

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

appearance as argument number 2

(instance Triangle Polygon)	Mid-level-ontology.kif 4885-4885	Triangle is an instance of polygon
(subclass Quadrilateral Polygon)	Mid-level-ontology.kif 4906-4906	Quadrilateral is a subclass of polygon
(termFormat ChineseLanguage Polygon "多边形")	domainEnglishFormat.kif 46623-46623	Quadrilateral is a subclass of polygon
(termFormat ChineseTraditionalLanguage Polygon "多邊形")	domainEnglishFormat.kif 46622-46622	Quadrilateral is a subclass of polygon
(termFormat EnglishLanguage Polygon "polygon")	domainEnglishFormat.kif 46621-46621	Quadrilateral is a subclass of polygon

antecedent

(=> (and (instance ?POLYGON Polygon) (geometricPart ?PART ?POLYGON)) (instance ?PART OneDimensionalFigure))	Mid-level-ontology.kif 4872-4876	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 an instance of one dimensional figure
(=> (and (instance ?T Polygon) (equal ?T RightTriangle)) (exists (?A) (and (instance ?A TwoDimensionalAngle) (angleOfFigure ?A ?T) (equal ?A RightAngle))))	Mid-level-ontology.kif 4896-4904	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 4878-4883	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

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