equivalenceRelationOn - Sigma Knowledge base Browser

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 3636-3639
(domain equivalenceRelationOn 1 BinaryRelation)	Merge.kif 3633-3633	The number 1 argument of equivalence relation on is an instance of binary relation
(domain equivalenceRelationOn 2 Class)	Merge.kif 3634-3634	The number 2 argument of equivalence relation on is an instance of class
(instance equivalenceRelationOn AsymmetricRelation)	Merge.kif 3632-3632	equivalence relation on is an instance of asymmetric relation
(instance equivalenceRelationOn BinaryPredicate)	Merge.kif 3631-3631	equivalence relation on is an instance of binary predicate

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