| 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 17934-17936 | |
| (domain parallel 1 OneDimensionalFigure) | Merge.kif 17932-17932 | The number 1 argument of parallel is an instance of one dimensional figure |
| (domain parallel 2 OneDimensionalFigure) | Merge.kif 17933-17933 | The number 2 argument of parallel is an instance of one dimensional figure |
| (instance parallel BinaryPredicate) | Merge.kif 17931-17931 | parallel is an instance of binary predicate |
| 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 44426-44426 | |
| (termFormat ChineseTraditionalLanguage parallel "平行") | domainEnglishFormat.kif 44425-44425 | |
| (termFormat EnglishLanguage parallel "parallel") | domainEnglishFormat.kif 44424-44424 |
| antecedent |
|
|
| (=> (parallel ?LINE1 ?LINE2) (not (exists (?POINT) (pointOfIntersection ?LINE1 ?LINE2 ?POINT)))) |
Merge.kif 17938-17942 |
|
|
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