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 | Equivalence relation is a subclass of reflexive relation |
(subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2393-2393 | Equivalence relation is a subclass of symmetric relation |
(subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2392-2392 | Equivalence relation is a subclass of transitive relation |
appearance as argument number 2 |