No TPTP formula. May not be expressible in strict first order. |
Merge.kif 17966-17966 |
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 17853-17853 |
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 17854-17854 |
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 17840-17840 |
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 17841-17841 |
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 4980-4980 |
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 4778-4778 |
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 17781-17781 |
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |