TreeView Knowledge Base Browser - ClosedTwoDimensionalFigure

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

ClosedTwoDimensionalFigure

Sigma KEE - ClosedTwoDimensionalFigure

ClosedTwoDimensionalFigure(closed two dimensional figure)

Jordan_curve, closed_curve, concave_polygon, convex_polygon, isogon, polygon, polygonal_shape, reentering_polygon, reentrant_polygon, regular_polygon, simple_closed_curve

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3980-3981
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17832-17833
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1702-1702
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17831-17831	Closed two dimensional figure is a subclass of two dimensional figure

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4972-4972	Circle sector is an instance of closed two dimensional figure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7618-7618	Oval is an instance of closed two dimensional figure
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
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15192-15192
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15191-15191
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 15190-15190

appearance as argument number 3

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

Merge.kif 17818-17818

Two dimensional figure is exhaustively partitioned into open two dimensional figure and closed two dimensional figure

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3124-3141	If the number of coils in a wire coil is an integer, then there exist a collection and the collection2F such that the collection is an instance of collection and the integer is a member count of the collection and for all an object if the object is a member of the collection, then the collection2F is an attribute of the object and the collection2F is an instance of closed two dimensional figure and the object is a part of the wire coil and there doesn't exist the object2 such that the object2 and the object overlapsSpatially and the object2 is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3078-3084	If an object is an instance of wire coil, then there exist another object and an attribute such that the other object is a part of the object and the attribute is an attribute of the other object and the attribute is an instance of closed two 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