| 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 17825-17827 | |
| (domain parallel 1 OneDimensionalFigure) | Merge.kif 17823-17823 | parallel の数値 1 引数は OneDimensionalFigure の instance では %n |
| (domain parallel 2 OneDimensionalFigure) | Merge.kif 17824-17824 | parallel の数値 2 引数は OneDimensionalFigure の instance では %n |
| (instance parallel BinaryPredicate) | Merge.kif 17822-17822 | parallel は 2進述語 の instance では %n |
| 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 44400-44400 | |
| (termFormat ChineseTraditionalLanguage parallel "平行") | domainEnglishFormat.kif 44399-44399 | |
| (termFormat EnglishLanguage parallel "parallel") | domainEnglishFormat.kif 44398-44398 |
| antecedent |
|
|
| (=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT)))) |
Merge.kif 17829-17833 |
|
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 is open source software produced by Articulate Software and its partners