|
|
   EquivalenceRelation
|
|
|
| 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 | 子類 EquivalenceRelation and ReflexiveRelation |
| (subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2393-2393 | 子類 EquivalenceRelation and SymmetricRelation |
| (subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2392-2392 | 子類 EquivalenceRelation and TransitiveRelation |
| appearance as argument number 2 |
|
|
|
|
|