equivalenceRelationOn |
appearance as argument number 1 |
![]() |
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 | |
(termFormat ChineseLanguage equivalenceRelationOn "属于等价关系") | chinese_format.kif 100-100 | |
(termFormat ChineseLanguage equivalenceRelationOn "等价关系") | domainEnglishFormat.kif 22353-22353 | |
(termFormat ChineseTraditionalLanguage equivalenceRelationOn "等價關係") | domainEnglishFormat.kif 22352-22352 | |
(termFormat EnglishLanguage equivalenceRelationOn "equivalence relation on") | domainEnglishFormat.kif 22351-22351 |
antecedent |
![]() |
(=> (equivalenceRelationOn ?RELATION ?CLASS) (and (instance ?RELATION TransitiveRelation) (instance ?RELATION SymmetricRelation) (reflexiveOn ?RELATION ?CLASS))) |
Merge.kif 3641-3646 |
|
![]() |
![]() |