| 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 StraightLine ?LINE1 and ?LINE2 are parallel to one another, i.e. they are equidistant from one another at every point.") | Merge.kif 17959-17961 | |
| (domain parallel 1 StraightLine) | Merge.kif 17957-17957 | The number 1 argument of parallel is an instance of straight line |
| (domain parallel 2 StraightLine) | Merge.kif 17958-17958 | The number 2 argument of parallel is an instance of straight line |
| (instance parallel BinaryPredicate) | Merge.kif 17956-17956 | parallel is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage parallel "%2 %n 是 %1 的 parallel ") | domainEnglishFormat.kif 1903-1903 | |
| (format ChineseTraditionalLanguage parallel "%2 %n 是 %1 的 parallel ") | domainEnglishFormat.kif 1902-1902 | |
| (format EnglishLanguage parallel "%2 is %n a parallel of %1") | domainEnglishFormat.kif 1901-1901 | |
| (termFormat ChineseLanguage parallel "平行") | domainEnglishFormat.kif 44419-44419 | |
| (termFormat ChineseTraditionalLanguage parallel "平行") | domainEnglishFormat.kif 44418-44418 | |
| (termFormat EnglishLanguage parallel "parallel") | domainEnglishFormat.kif 44417-44417 |
| antecedent |
|
|
| (=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT)))) |
Merge.kif 17963-17967 |
|
|
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