equivalenceRelationOn - Sigma Knowledge base Browser

appearance as argument number 1

s__documentation(s__equivalenceRelationOn__m,s__ChineseLanguage,'"一个 BinaryRelation 在一个 SetOrClass 是 equivalenceRelationOn，除非这个关系在这个 SetOrClass 是 reflexiveOn，而且也要既是 TransitiveRelation，又是 SymmetricRelation。"')	chinese_format.kif 2055-2057
s__documentation(s__equivalenceRelationOn__m,s__EnglishLanguage,'"A BinaryRelation is an equivalenceRelationOn a SetOrClass only if the relation is reflexiveOn the SetOrClass and it is both a TransitiveRelation and a SymmetricRelation."')	Merge.kif 3545-3548
s__domain(s__equivalenceRelationOn__m,n__1,s__BinaryRelation)	Merge.kif 3542-3542	The number 1 argument of equivalence relation on is an instance of binary relation
s__domain(s__equivalenceRelationOn__m,n__2,s__SetOrClass)	Merge.kif 3543-3543	The number 2 argument of equivalence relation on is an instance of set or class
s__instance(s__equivalenceRelationOn__m,s__AsymmetricRelation) s__instance(s__AsymmetricRelation,s__SetOrClass)	Merge.kif 3541-3541	equivalence relation on is an instance of asymmetric relation
s__instance(s__BinaryPredicate,s__SetOrClass) s__instance(s__equivalenceRelationOn__m,s__BinaryPredicate)	Merge.kif 3540-3540	equivalence relation on is an instance of binary predicate

appearance as argument number 2

s__format(s__ChineseLanguage,s__equivalenceRelationOn__m,'"%1 和 %2 %n 是 EquivalenceRelation"')	chinese_format.kif 99-99
s__format(s__EnglishLanguage,s__equivalenceRelationOn__m,'"%1 is %n an equivalence relation on %2"')	english_format.kif 99-99
s__termFormat(s__ChineseLanguage,s__equivalenceRelationOn__m,'"属于等价关系"')	chinese_format.kif 100-100
s__termFormat(s__ChineseLanguage,s__equivalenceRelationOn__m,'"等价关系"')	domainEnglishFormat.kif 22285-22285
s__termFormat(s__ChineseTraditionalLanguage,s__equivalenceRelationOn__m,'"等價關係"')	domainEnglishFormat.kif 22284-22284
s__termFormat(s__EnglishLanguage,s__equivalenceRelationOn__m,'"equivalence relation on"')	domainEnglishFormat.kif 22283-22283

antecedent

( ! [V__RELATION,V__CLASS] :
   ((s__instance(V__RELATION,s__BinaryRelation) &
       s__instance(V__CLASS,s__SetOrClass))
     =>
     s__equivalenceRelationOn(V__RELATION,V__CLASS)
   =>
   (s__instance(V__RELATION,s__TransitiveRelation) &
     s__instance(V__RELATION,s__SymmetricRelation) &
     s__reflexiveOn(V__RELATION,V__CLASS))
)
)

Merge.kif 3550-3555