| OneDimensionalFigure(one dimensional figure) | | ascender, descender, dotted_line, graduation, isometric, isometric_line, line, linear, one-dimensional |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3972-3973 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17536-17537 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17535-17535 | One dimensional figure is a subclass of geometric figure |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42103-42103 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42102-42102 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42101-42101 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17710-17710 | The number 1 argument of line measure is an instance of one dimensional figure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17597-17597 | The number 1 argument of parallel is an instance of one dimensional figure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17598-17598 | The number 2 argument of parallel is an instance of one dimensional figure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17584-17584 | The number 1 argument of point of intersection is an instance of one dimensional figure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17585-17585 | The number 2 argument of point of intersection is an instance of one dimensional figure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4706-4706 | The number 1 argument of side of figure is an instance of one dimensional figure |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4516-4516 | The number 1 argument of tangent is an instance of one dimensional figure |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 17525-17525 | Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |
|
|
|