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 |