TreeView Knowledge Base Browser - ConvexRoundShape

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ConvexRoundShape

Sigma KEE - ConvexRoundShape

ConvexRoundShape(convex round shape)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4814-4815
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1964-1964
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 2339-2339
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4813-4813	Convex round shape is an instance of three dimensional figure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50528-50528
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50527-50527
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 50526-50526

antecedent

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

Mid-level-ontology.kif 4819-4833

If a self connected object is an instance of object and convex round shape is an attribute of the self connected object and another self connected object is a surface of the self connected object and the other self connected object is an instance of two dimensional object,
then for all a geometric point the geometric point is a part of the self connected object and geometric point is an attribute of the geometric point and the geometric point is a vertex of the self connected object and the geometric point meets the self connected object and the geometric point meets the other self connected object and there exists an one dimensional figure such that a tangent of the other self connected object is the one dimensional figure

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5016-5025	If an object is an instance of bubble and there don't exist another object and an attribute such that the attribute is an attribute of the other object and the other object is not equal to gas and the other object meets the object, then convex round shape is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Sports.kif 340-342	If a physical is an instance of foot ball, then the physical is convex round shape
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4802-4804	If an object is an instance of tire, then convex round shape is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4271-4273	If an object is an instance of reel, then convex round shape is an attribute of the object

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