| 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 2297-2299 | |
| (subclass EquivalenceRelation ReflexiveRelation) | Merge.kif 2295-2295 | subclass EquivalenceRelation and ReflexiveRelation |
| (subclass EquivalenceRelation SymmetricRelation) | Merge.kif 2294-2294 | subclass EquivalenceRelation and SymmetricRelation |
| (subclass EquivalenceRelation TransitiveRelation) | Merge.kif 2293-2293 | subclass EquivalenceRelation and TransitiveRelation |
| appearance as argument number 2 |
|
|
| (instance cooccur EquivalenceRelation) | Merge.kif 7851-7851 | instance cooccur and EquivalenceRelation |
| (instance copy EquivalenceRelation) | Merge.kif 3705-3705 | instance copy and EquivalenceRelation |
| (instance equal EquivalenceRelation) | Merge.kif 251-251 | instance equal and EquivalenceRelation |
| (instance equivalentContentClass EquivalenceRelation) | Merge.kif 4318-4318 | instance equivalentContentClass and EquivalenceRelation |
| (instance equivalentContentInstance EquivalenceRelation) | Merge.kif 4367-4367 | instance equivalentContentInstance and EquivalenceRelation |
| (instance identicalListItems EquivalenceRelation) | Merge.kif 3197-3197 | instance identicalListItems and EquivalenceRelation |
| (instance relatedInternalConcept EquivalenceRelation) | Merge.kif 597-597 | instance relatedInternalConcept and EquivalenceRelation |
| (termFormat ChineseLanguage EquivalenceRelation "等价关系") | chinese_format.kif 903-903 | |
| (termFormat EnglishLanguage EquivalenceRelation "equivalence relation") | english_format.kif 1018-1018 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners