Circle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Circle

Circle(circle)

arc, circle, circlet, disc, disk, limb, saucer, spiral

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 2647-2648
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7620-7622
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 1364-1365
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 346-346
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 67-67
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7618-7618	Circle is a subclass of oval

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14862-14862
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14861-14861
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 14860-14860

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	Merge.kif 7639-7639	The number 1 argument of center of circle is an instance of circle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4949-4949	The number 1 argument of diameter is an instance of circle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4963-4963	The number 1 argument of radius is an instance of circle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 31132-31132	The number 1 argument of circumfrence is an instance of circle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7663-7663	The number 1 argument of diameter is an instance of circle
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7645-7645	The number 1 argument of radius is an instance of circle

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1538-1544	If the bore of a cylinder is a length measure and the cylinder is an instance of cylinder and a circle is an instance of circle and the circle is a part of the cylinder, then the diameter of the circle is the length measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7629-7632	If a circle is an instance of circle, then there exists a geometric point such that the center of circle of the circle is equal to the geometric point
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7624-7627	If a circle is an instance of circle, then there exists a length measure such that the radius of the circle is the length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25602-25604	If a physical is an instance of circle, then the physical is circular

consequent

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

Sports.kif 964-972

If a self connected object is an instance of golf hole,
then there exist an attribute and another self connected object such that the attribute is an instance of cylinder and the attribute is an attribute of the self connected object and the top of the self connected object is the other self connected object and the other self connected object is an instance of circle and the diameter of the other self connected object is 4.25 inch(s)

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