Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| parallelLinesInSpace |
| appearance as argument number 1 |
|
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage parallelLinesInSpace "parallel lines in space") | Mid-level-ontology.kif 27984-27984 | |
| (format EnglishLanguage parallelLinesInSpace "%1 and %2 are parallel") | Mid-level-ontology.kif 27985-27985 |
| antecedent |
|
|
| (=> (and (distanceOfParallelLinesInSpace ?L1 ?L2 (MeasureFn ?D ?U)) (instance ?U UnitOfLength) (parallelLinesInSpace ?L1 ?L2) (part ?P1 ?L1) (instance ?P1 PointInSpace) (part ?P2 ?L2) (instance ?P2 PointInSpace) (distance ?P1 ?P2 (MeasureFn ?X ?U))) (lessThanOrEqualTo ?D ?X)) |
Mid-level-ontology.kif 28003-28015 | If All of the following hold: (1) X Y(s) is the distance of the parallelLinesInSpace Z and W (2) Y is an instance of unit of length (3) Z and W are parallel (4) V is a part of Z (5) V is an instance of point in space (6) U is a part of W (7) U is an instance of point in space (8) the distance between V and U is T Y(s), then X is less than or equal to T |
| (=> (and (instance ?S PlaneInSpace) (part ?L1 ?S) (instance ?L1 LineInSpace) (part ?L2 ?S) (instance ?L2 LineInSpace) (not (equal ?L1 ?L2)) (not (parallelLinesInSpace ?L1 ?L2))) (exists (?P) (and (instance ?P PointInSpace) (part ?P ?L1) (part ?P ?L2)))) |
Mid-level-ontology.kif 28024-28039 | If All of the following hold: (1) X is an instance of plane in space (2) Y is a part of X (3) Y is an instance of line in space (4) Z is a part of X (5) Z is an instance of line in space (6) equal Y and Z (7) Y and Z are parallel, then there exists W such that W is an instance of point in space, W is a part of Y, and W is a part of Z |
| (=> (and (instance ?S PlaneInSpace) (part ?L1 ?S) (instance ?L1 LineInSpace) (part ?L2 ?S) (instance ?L2 LineInSpace) (not (equal ?L1 ?L2)) (parallelLinesInSpace ?L1 ?L2)) (not (exists (?P) (and (instance ?P PointInSpace) (part ?P ?L1) (part ?P ?L2))))) |
Mid-level-ontology.kif 28041-28056 | If All of the following hold: (1) X is an instance of plane in space (2) Y is a part of X (3) Y is an instance of line in space (4) Z is a part of X (5) Z is an instance of line in space (6) equal Y and Z (7) Y and Z are parallel, then there doesn't exist W such that W is an instance of point in space, W is a part of Y, and W is a part of Z |
|