parallel |
appearance as argument number 1 |
(documentation parallel ChineseLanguage "(parallel ?LINE1 ?LINE2)的意思是 OneDimensionalFigure 的 ?LINE1 和 ?LINE2 是相互平衡的,即是它们在每一个点上的距离是相互等距的。") | chinese_format.kif 3991-3992 | |
(documentation parallel EnglishLanguage "(parallel ?LINE1 ?LINE2) means that the OneDimensionalFigures ?LINE1 and ?LINE2 are parallel to one another, i.e. they are equidistant from one another at every point.") | Merge.kif 17877-17879 | |
(domain parallel 1 OneDimensionalFigure) | Merge.kif 17875-17875 | 平行 的 1 数量 是 一维图 的 instance |
(domain parallel 2 OneDimensionalFigure) | Merge.kif 17876-17876 | 平行 的 2 数量 是 一维图 的 instance |
(instance parallel BinaryPredicate) | Merge.kif 17874-17874 | 平行 是 二元谓语 的 instance |
appearance as argument number 2 |
(format ChineseLanguage parallel "%2 %n 是 %1 的 parallel ") | domainEnglishFormat.kif 1899-1899 | |
(format ChineseTraditionalLanguage parallel "%2 %n 是 %1 的 parallel ") | domainEnglishFormat.kif 1898-1898 | |
(format EnglishLanguage parallel "%2 is %n a parallel of %1") | domainEnglishFormat.kif 1897-1897 | |
(termFormat ChineseLanguage parallel "平行") | domainEnglishFormat.kif 44388-44388 | |
(termFormat ChineseTraditionalLanguage parallel "平行") | domainEnglishFormat.kif 44387-44387 | |
(termFormat EnglishLanguage parallel "parallel") | domainEnglishFormat.kif 44386-44386 |
antecedent |
(=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT)))) |
Merge.kif 17881-17885 |