equivalenceRelationOn |
appearance as argument number 1 |
(documentation equivalenceRelationOn ChineseLanguage "一个 BinaryRelation 在一个 SetOrClass 是 equivalenceRelationOn,除非这个关系在这个 SetOrClass 是 reflexiveOn, 而且也要既是 TransitiveRelation,又是 SymmetricRelation。") | chinese_format.kif 2055-2057 | |
(documentation equivalenceRelationOn EnglishLanguage "A BinaryRelation is an equivalenceRelationOn a Class only if the relation is reflexiveOn the Class and it is both a TransitiveRelation and a SymmetricRelation.") | Merge.kif 3709-3712 | |
(documentation equivalenceRelationOn JapaneseLanguage "BinaryRelation は、関係が SetOrClass の reflexiveOn であり、TransitiveRelation と SymmetricRelation の両方で ある場合にのみ、SetOrClass の equivalenceRelationOn である。") | japanese_format.kif 700-702 | |
(domain equivalenceRelationOn 1 BinaryRelation) | Merge.kif 3706-3706 | |
(domain equivalenceRelationOn 2 Class) | Merge.kif 3707-3707 | |
(instance equivalenceRelationOn AsymmetricRelation) | Merge.kif 3705-3705 | |
(instance equivalenceRelationOn BinaryPredicate) | Merge.kif 3704-3704 |
appearance as argument number 2 |
(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 22360-22360 | |
(termFormat ChineseTraditionalLanguage equivalenceRelationOn "等價關係") | domainEnglishFormat.kif 22359-22359 | |
(termFormat EnglishLanguage equivalenceRelationOn "equivalence relation on") | domainEnglishFormat.kif 22358-22358 | |
(termFormat de equivalenceRelationOn "aequivalenzrelationMit") | terms-de.txt 32-32 |
antecedent |
(=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS))) |
Merge.kif 3714-3719 |