pointOfFigure - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - pointOfFigure

pointOfFigure

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3986-3987
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17567-17568
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17565-17565	The number 1 argument of point of figure is an instance of geometric point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17566-17566	The number 2 argument of point of figure is an instance of geometric figure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17564-17564	point of figure is an instance of binary predicate
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17563-17563	point of figure is a subrelation of geometric part

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 794-794
No TPTP formula. May not be expressible in strict first order.	english_format.kif 799-799
No TPTP formula. May not be expressible in strict first order.	english_format.kif 800-800
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 795-795
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46339-46339
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46338-46338
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 46337-46337

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 4688-4693

If the center of circle of a circle is equal to a geometric point and the geometric point2 is a vertex of the circle and the geometric point2 is geometric distance the geometric point for a length measure,
then the radius of the circle is equal to the length measure

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4712-4720	If an attribute is an attribute of an object and the attribute is an instance of sphere, then there exist a geometric point and a length measure such that for all another geometric point if the other geometric point is a vertex of the object, then the other geometric point is geometric distance the geometric point for the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12915-12923	If the radius of an object is a length measure and sphere is an attribute of the object, then there exists a geometric point such that for all another geometric point if the other geometric point is a vertex of the object, then the other geometric point is geometric distance the geometric point for the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4551-4560	If round shape is an attribute of an object, then for all a geometric point the geometric point is a vertex of the object and a two dimensional object is an instance of two dimensional object and the geometric point meets the object and the geometric point meets the two dimensional object and there exists an one dimensional figure such that a tangent of the two dimensional object is the one dimensional figure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17584-17588	If an one dimensional figure is point of intersection another one dimensional figure for a geometric point, then the geometric point is a vertex of the one dimensional figure and the geometric point is a vertex of the other one dimensional figure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7555-7561	If the radius of a circle is a length measure, then there exists a geometric point such that for all another geometric point if the other geometric point is a vertex of the circle, then the other geometric point is geometric distance the geometric point for the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4518-4529	If a tangent of a two dimensional object is an one dimensional figure, then there exists a geometric point such that the geometric point is a vertex of the one dimensional figure and the geometric point is a vertex of the two dimensional object and for all another geometric point if the other geometric point is a vertex of the one dimensional figure and the other geometric point is a vertex of the two dimensional object, then the geometric point is equal to the other geometric point

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