EquivalenceRelation(RelazioneDiEquivalenza) |
appearance as argument number 1 |
(documentation EquivalenceRelation ChineseLanguage "一个 BinaryRelation 是等价关系如果它是 一个 ReflexiveRelation、 SymmetricRelation 和TransitiveRelation。") | chinese_format.kif 1858-1859 | |
(documentation EquivalenceRelation EnglishLanguage "A BinaryRelation is an equivalence relation if it is a ReflexiveRelation, a SymmetricRelation, and a TransitiveRelation.") | Merge.kif 2396-2398 | |
(documentation EquivalenceRelation JapaneseLanguage "BinaryRelation は、ReflexiveRelation、 SymmetricRelation、および TransitiveRelation の場合の等価関係です。") | japanese_format.kif 481-482 | |
(subclass EquivalenceRelation ReflexiveRelation) | Merge.kif 2394-2394 | RelazioneDiEquivalenza è una sottoclasse di RelazioneRiflessiva |
(subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2393-2393 | RelazioneDiEquivalenza è una sottoclasse di RelazioneSimmetrica |
(subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2392-2392 | RelazioneDiEquivalenza è una sottoclasse di RelazioneTransitiva |
appearance as argument number 2 |