TreeView Knowledge Base Browser - equivalenceRelationOn

appearance as argument number 1

(instance equivalenceRelationOn BinaryPredicate)	Merge.kif 3810-3810	equivalence relation on is an instance of binary predicate
(domain equivalenceRelationOn 1 BinaryRelation)	Merge.kif 3811-3811	The number 1 argument of equivalence relation on is an instance of binary relation
(domain equivalenceRelationOn 2 Class)	Merge.kif 3812-3812	The number 2 argument of equivalence relation on is an instance of class
(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 3814-3817	The number 2 argument of equivalence relation on is an instance of class

appearance as argument number 2

(termFormat EnglishLanguage equivalenceRelationOn "equivalence relation on")	domainEnglishFormat.kif 22357-22357
(termFormat ChineseTraditionalLanguage equivalenceRelationOn "等價關係")	domainEnglishFormat.kif 22358-22358
(termFormat ChineseLanguage equivalenceRelationOn "等价关系")	domainEnglishFormat.kif 22359-22359
(format EnglishLanguage equivalenceRelationOn "%1 is %n an equivalence relation on %2")	english_format.kif 99-99

antecedent

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