|
|
   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 2336-2338 | |
| (subclass EquivalenceRelation ReflexiveRelation) | Merge.kif 2334-2334 | Equivalence relation is a subclass of reflexive relation |
| (subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2333-2333 | Equivalence relation is a subclass of symmetric relation |
| (subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2332-2332 | Equivalence relation is a subclass of transitive relation |
| appearance as argument number 2 |
|
|
| (instance cooccur EquivalenceRelation) | Merge.kif 8290-8290 | cooccur is an instance of equivalence relation |
| (instance copy EquivalenceRelation) | Merge.kif 3765-3765 | copy is an instance of equivalence relation |
| (instance equivalentContentClass EquivalenceRelation) | Merge.kif 4395-4395 | equivalent content class is an instance of equivalence relation |
| (instance equivalentContentInstance EquivalenceRelation) | Merge.kif 4451-4451 | equivalent content instance is an instance of equivalence relation |
| (instance identicalListItems EquivalenceRelation) | Merge.kif 3248-3248 | identical list items is an instance of equivalence relation |
| (instance relatedInternalConcept EquivalenceRelation) | Merge.kif 615-615 | related internal concept is an instance of equivalence relation |
| (termFormat ChineseLanguage EquivalenceRelation "等价关系") | chinese_format.kif 903-903 | |
| (termFormat EnglishLanguage EquivalenceRelation "equivalence relation") | english_format.kif 1013-1013 |
|
|
|