TreeView Knowledge Base Browser - Polygon

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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4872-4873
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 961-961
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4871-4871	Polygon is a subclass of closed two dimensional figure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4890-4890	Triangle is an instance of polygon
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4911-4911	Quadrilateral is a subclass of polygon
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46585-46585
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46584-46584
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46583-46583

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4877-4881	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4901-4909	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4883-4888	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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