distanceOfParallelLinesInSpace - Sigma Knowledge base Browser

appearance as argument number 1

(instance distanceOfParallelLinesInSpace TernaryPredicate)	Mid-level-ontology.kif 27990-27990	distance of of parallel lines in space is an instance of ternary predicate
(instance distanceOfParallelLinesInSpace SpatialRelation)	Mid-level-ontology.kif 27991-27991	distance of of parallel lines in space is an instance of spatial relation
(documentation distanceOfParallelLinesInSpace EnglishLanguage "(distanceOfParallelLinesInSpace ?LINE1 ?LINE2 ?DIST) means that the distance between ?LINE1 ?LINE2 that are parallel to one another. The distance between them is ?DIST. ?DIST is the shortest distance between the ?L1 and ?L2 and this minimum distance holds for any pair of points on ?LINE1 and ?LINE2.")	Mid-level-ontology.kif 27992-27995	distance of of parallel lines in space is an instance of spatial relation
(domain distanceOfParallelLinesInSpace 1 LineInSpace)	Mid-level-ontology.kif 27998-27998	The number 1 argument of distance of of parallel lines in space is an instance of line in space
(domain distanceOfParallelLinesInSpace 2 LineInSpace)	Mid-level-ontology.kif 27999-27999	The number 2 argument of distance of of parallel lines in space is an instance of line in space
(domain distanceOfParallelLinesInSpace 3 LengthMeasure)	Mid-level-ontology.kif 28000-28000	The number 3 argument of distance of of parallel lines in space is an instance of length measure
(relatedInternalConcept distanceOfParallelLinesInSpace endPointsOfLineInSpace)	Mid-level-ontology.kif 28001-28001	distance of of parallel lines in space is internally related to level plane

appearance as argument number 2

(termFormat EnglishLanguage distanceOfParallelLinesInSpace "distance of of parallel lines in space")	Mid-level-ontology.kif 27996-27996
(format EnglishLanguage distanceOfParallelLinesInSpace "%3 is the distance of the parallelLinesInSpace %1 and %2")	Mid-level-ontology.kif 27997-27997
(relatedInternalConcept objectEnds distanceOfParallelLinesInSpace)	Mid-level-ontology.kif 28125-28125	object ends is internally related to distance of of parallel lines in space

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

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners