geometricPart - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - geometricPart

geometricPart

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3984-3985
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17990-17991
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17988-17988	The number 1 argument of geometric part is an instance of geometric figure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17989-17989	The number 2 argument of geometric part is an instance of geometric figure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17986-17986	geometric part is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17987-17987	geometric part is an instance of partial ordering relation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1105-1105
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1104-1104
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1103-1103
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18000-18000	angle of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5357-5357	face of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17993-17993	point of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5934-5934	side of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25852-25852	side of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25851-25851	side of figure is a subrelation of geometric part
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25850-25850	side of figure is a subrelation of geometric part

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5645-5652	If a geometric figure is equal to circle sector and a circle is equal to circle and the circle is a geometric part of the geometric figure and an one dimensional figure is equal to closed line segment and the size of the geometric figure is the one dimensional figure, then the radius of the circle is a line measure of the one dimensional figure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5908-5921	If a geometric figure is equal to circular segment and an one dimensional figure is equal to circular arc and the geometric figure is a geometric part of the one dimensional figure and another one dimensional figure is equal to chord of a circle and the geometric figure is a geometric part of the other one dimensional figure, then there exist a geometric point and another geometric point such that the geometric point is not equal to the other geometric point and the geometric point and the other geometric point are endPointsOfLine of the other one dimensional figure and the one dimensional figure is point of intersection the other one dimensional figure for the geometric point and the one dimensional figure is point of intersection the other one dimensional figure for the other geometric point
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5525-5529	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 equal to straight line

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5719-5729	If a real number an unit of measure(s) is the LengthMeasure of a circular arc and the circular arc is equal to semicircular arc, then there exist a circle and another real number such that the circle is equal to circle and the circle is a geometric part of the circular arc and circumference the circle and the other real number the unit of measure(s) and the other real number is equal to (the real number and the real number)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5677-5686	If a geometric figure is equal to circular arc and a geometric point is a vertex of the geometric figure, then there exist another geometric figure and the geometric point2 such that the other geometric figure is a geometric part of the geometric figure and the other geometric figure is equal to circle and the geometric point2 is a vertex of the other geometric figure and the geometric point is equal to the geometric point2
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5886-5900	If a geometric figure is equal to secant line and a geometric point is a vertex of the geometric figure and another geometric point is a vertex of the geometric figure and the geometric point is not equal to the other geometric point and another geometric figure is equal to circle and the geometric point is a vertex of the other geometric figure and the other geometric point is a vertex of the other geometric figure, then there exists the other geometric figureHORD such that the other geometric figureHORD is equal to chord of a circle and the geometric point and the other geometric point are endPointsOfLine of the other geometric figureHORD and the geometric figure is a geometric part of the other geometric figureHORD
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5668-5673	If a geometric figure is equal to circular arc, then there exists another geometric figure such that the other geometric figure is equal to circle and the other geometric figure is a geometric part of the geometric figure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5625-5634	If a two dimensional figure is equal to circle sector, then there exist another two dimensional figure and an one dimensional figure such that the other two dimensional figure is equal to circle and the other two dimensional figure is a geometric part of the two dimensional figure and the one dimensional figure is equal to circular arc and the other two dimensional figure is a geometric part of the one dimensional figure and the size of the two dimensional figure is the one dimensional figure and the one dimensional figure is the intersection the two dimensional figure and the other two dimensional figure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5756-5770	If a geometric figure is an instance of central angle, then there exist an one dimensional figure, the one dimensional figure2,, , a circle and a length measure such that the one dimensional figure is equal to closed line segment and the size of the geometric figure is the one dimensional figure and the one dimensional figure2 is equal to closed line segment and the size of the geometric figure is the one dimensional figure2 and the circle is equal to circle and the circle is a geometric part of the geometric figure and the one dimensional figure is point of intersection the one dimensional figure2 for the center of circle of the circle and the length measure is a line measure of the one dimensional figure and the length measure is a line measure of the one dimensional figure2 and the radius of the circle is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5359-5364	If a geometric figure is an instance of polyhedron, then there exists a two dimensional figure such that the two dimensional figure is the face of Figure the geometric figure and the geometric figure is a geometric part of the two dimensional figure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5531-5536	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