TreeView Knowledge Base Browser - 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 3685-3688
(domain equivalenceRelationOn 1 BinaryRelation)	Merge.kif 3682-3682	属于等价关系的 1 数量是二元关系的 instance
(domain equivalenceRelationOn 2 Class)	Merge.kif 3683-3683	属于等价关系的 2 数量是类的 instance
(instance equivalenceRelationOn AsymmetricRelation)	Merge.kif 3681-3681	属于等价关系是非对称关系的 instance
(instance equivalenceRelationOn BinaryPredicate)	Merge.kif 3680-3680	属于等价关系是二元谓语的 instance

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 22348-22348
(termFormat ChineseTraditionalLanguage equivalenceRelationOn "等價關係")	domainEnglishFormat.kif 22347-22347
(termFormat EnglishLanguage equivalenceRelationOn "equivalence relation on")	domainEnglishFormat.kif 22346-22346

antecedent

(=>
    (equivalenceRelationOn ?RELATION ?CLASS)
    (and
        (instance ?RELATION TransitiveRelation)
        (instance ?RELATION SymmetricRelation)
        (reflexiveOn ?RELATION ?CLASS)))

Merge.kif 3690-3695