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 17810-17811 | |
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 17809-17809 | 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 4973-4973 | Circle sector is a subclass of closed two dimensional figure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7613-7613 | Oval is a subclass of closed two dimensional figure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4874-4874 | 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 17796-17796 | 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 3117-3133 |
|
No TPTP formula. May not be expressible in strict first order. | Cars.kif 3072-3077 |
|