| (format ChineseLanguage equivalenceRelationOn "%1 和 %2 %n 是 EquivalenceRelation") |
chinese_format.kif 99-99 |
|
| (format EnglishLanguage equivalenceRelationOn "%1 is %n an equivalence relation on %2") |
english_format.kif 99-99 |
|
| (format FrenchLanguage equivalenceRelationOn "%1 a une %n relation d'�quivalence avec %2") |
french_format.kif 72-72 |
|
| (format ItalianLanguage equivalenceRelationOn "%1 è %n relazione di equivalenza su %2") |
relations-it.txt 97-97 |
|
| (format JapaneseLanguage equivalenceRelationOn "%1 は %2 と equivalence 関係が %n") |
japanese_format.kif 1898-1898 |
|
| (format PortugueseLanguage equivalenceRelationOn "%1 tem uma %n relacao de equivalencia com %2") |
portuguese_format.kif 24-24 |
|
| (format cz equivalenceRelationOn "%1 %p{je} %n{nen�} equivalence relation on %2") |
relations-cz.txt 112-112 |
|
| (format de equivalenceRelationOn "%1 ist eine aequivalenzrelation mit %2 %n{nicht}") |
relations-de.txt 112-112 |
|
| (format hi equivalenceRelationOn "%1 %2 para tulyataasmbandha %n hai") |
relations-hindi.txt 137-137 |
|
| (format ro equivalenceRelationOn "%1 %n{nu} este o relaþie de equivalence%t{echivalenþã} peste %2") |
relations-ro.kif 91-91 |
|
| (format sv equivalenceRelationOn "%1 är %n{inte} en ekvivalensrelation till %2") |
relations-sv.txt 71-71 |
|
| (format tg equivalenceRelationOn "%1 %n ay ang ugnay ng tulad sa %2") |
relations-tg.txt 207-207 |
|
| (termFormat ChineseLanguage equivalenceRelationOn "属于等价关系") |
chinese_format.kif 100-100 |
|
| (termFormat ChineseLanguage equivalenceRelationOn "等价关系") |
domainEnglishFormat.kif 22372-22372 |
|
| (termFormat ChineseTraditionalLanguage equivalenceRelationOn "等價關係") |
domainEnglishFormat.kif 22371-22371 |
|
| (termFormat EnglishLanguage equivalenceRelationOn "equivalence relation on") |
domainEnglishFormat.kif 22370-22370 |
|
| (termFormat de equivalenceRelationOn "aequivalenzrelationMit") |
terms-de.txt 32-32 |
|