Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GeometricPoint(geometric point) |  | attracter, attractor, dot, point, vertex |
| appearance as argument number 1 |
|
|
| (subclass GeometricPoint GeometricFigure) | Merge.kif 18143-18143 | Geometric point is a subclass of geometric figure |
| (documentation GeometricPoint EnglishLanguage "The class of zero-dimensional GeometricFigures, i.e. the class of GeometricFigures that have position but lack extension in any dimension.") | Merge.kif 18144-18146 | Geometric point is a subclass of geometric figure |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain pointOfFigure 1 GeometricPoint) | Merge.kif 18184-18184 | The number 1 argument of point of figure is an instance of geometric point |
| (domain pointOfIntersection 3 GeometricPoint) | Merge.kif 18199-18199 | The number 3 argument of point of intersection is an instance of geometric point |
| (domain geometricDistance 1 GeometricPoint) | Merge.kif 18314-18314 | The number 1 argument of geometric distance is an instance of geometric point |
| (domain geometricDistance 2 GeometricPoint) | Merge.kif 18315-18315 | The number 2 argument of geometric distance is an instance of geometric point |
| (domain endPointsOfLine 1 GeometricPoint) | Mid-level-ontology.kif 5971-5971 | The number 1 argument of end points of line is an instance of geometric point |
| (domain endPointsOfLine 2 GeometricPoint) | Mid-level-ontology.kif 5972-5972 | The number 2 argument of end points of line is an instance of geometric point |
| consequent |
|
|
| (=> (and (instance ?P PointInSpace) (attribute ?P ?G)) (instance ?G GeometricPoint)) |
Mid-level-ontology.kif 27906-27910 | If X is an instance of point in space and Y is an attribute of X, then Y is an instance of geometric point |
|