parallel - Sigma Knowledge base Browser

appearance as argument number 1

(instance parallel BinaryPredicate)	Merge.kif 18209-18209	parallel is an instance of binary predicate
(domain parallel 1 StraightLine)	Merge.kif 18217-18217	The number 1 argument of parallel is an instance of straight line
(domain parallel 2 StraightLine)	Merge.kif 18218-18218	The number 2 argument of parallel is an instance of straight line
(documentation parallel EnglishLanguage "(parallel ?LINE1 ?LINE2) means that the StraightLine ?LINE1 and ?LINE2 are parallel to one another, i.e. they are equidistant from one another at every point.")	Merge.kif 18219-18221	The number 2 argument of parallel is an instance of straight line

appearance as argument number 2

(relatedInternalConcept parallelLinesInSpace parallel)	Mid-level-ontology.kif 27988-27988	parallel lines in space is internally related to parallel
(format EnglishLanguage parallel "%2 is %n a parallel of %1")	domainEnglishFormat.kif 1901-1901	parallel lines in space is internally related to parallel
(format ChineseTraditionalLanguage parallel "%2 %n 是 %1 的 parallel ")	domainEnglishFormat.kif 1902-1902	parallel lines in space is internally related to parallel
(format ChineseLanguage parallel "%2 %n 是 %1 的 parallel ")	domainEnglishFormat.kif 1903-1903	parallel lines in space is internally related to parallel
(termFormat EnglishLanguage parallel "parallel")	domainEnglishFormat.kif 44381-44381	parallel lines in space is internally related to parallel
(termFormat ChineseTraditionalLanguage parallel "平行")	domainEnglishFormat.kif 44382-44382	parallel lines in space is internally related to parallel
(termFormat ChineseLanguage parallel "平行")	domainEnglishFormat.kif 44383-44383	parallel lines in space is internally related to parallel

antecedent

(=>
    (parallel ?LINE1 ?LINE2)
    (not
        (exists (?POINT)
            (pointOfIntersection ?LINE1 ?LINE2 ?POINT))))

If X is a parallel of Y, then there doesn't exist Z such that Y is point of intersection X for Z