(domain lineMeasure 1 OneDimensionalFigure) |
Merge.kif 18355-18355 |
The number 1 argument of line measure is an instance of one dimensional figure |
(domain parallel 1 OneDimensionalFigure) |
Merge.kif 18329-18329 |
The number 1 argument of parallel is an instance of one dimensional figure |
(domain parallel 2 OneDimensionalFigure) |
Merge.kif 18330-18330 |
The number 2 argument of parallel is an instance of one dimensional figure |
(domain pointOfIntersection 1 OneDimensionalFigure) |
Merge.kif 18315-18315 |
The number 1 argument of point of intersection is an instance of one dimensional figure |
(domain pointOfIntersection 2 OneDimensionalFigure) |
Merge.kif 18316-18316 |
The number 2 argument of point of intersection is an instance of one dimensional figure |
(domain sideOfFigure 1 OneDimensionalFigure) |
Mid-level-ontology.kif 5282-5282 |
The number 1 argument of side of figure is an instance of one dimensional figure |
(domain tangent 1 OneDimensionalFigure) |
Mid-level-ontology.kif 5098-5098 |
The number 1 argument of tangent is an instance of one dimensional figure |
(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) |
Merge.kif 18234-18234 |
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |