(domain lineMeasure 1 OneDimensionalFigure) |
Merge.kif 18217-18217 |
The number 1 argument of line measure is an instance of one dimensional figure |
(domain parallel 1 OneDimensionalFigure) |
Merge.kif 18191-18191 |
The number 1 argument of parallel is an instance of one dimensional figure |
(domain parallel 2 OneDimensionalFigure) |
Merge.kif 18192-18192 |
The number 2 argument of parallel is an instance of one dimensional figure |
(domain pointOfIntersection 1 OneDimensionalFigure) |
Merge.kif 18177-18177 |
The number 1 argument of point of intersection is an instance of one dimensional figure |
(domain pointOfIntersection 2 OneDimensionalFigure) |
Merge.kif 18178-18178 |
The number 2 argument of point of intersection is an instance of one dimensional figure |
(domain sideOfFigure 1 OneDimensionalFigure) |
Mid-level-ontology.kif 5278-5278 |
The number 1 argument of side of figure is an instance of one dimensional figure |
(domain tangent 1 OneDimensionalFigure) |
Mid-level-ontology.kif 5094-5094 |
The number 1 argument of tangent is an instance of one dimensional figure |
(partition GeometricFigure GeometricPoint OneDimensionalFigure TwoDimensionalFigure ThreeDimensionalFigure) |
Merge.kif 18096-18096 |
Geometric figure is exhaustively partitioned into geometric point, one dimensional figure, two dimensional figure, and three dimensional figure |