| appearance as argument number 1 |
|
| (documentation equivalentContentClass ChineseLanguage "这是个联系两个 ContentBearingPhysical 子类别的 BinaryPredicate，(equivalentContentClass ?CLASS1 ?CLASS2) 的意思是由 ?CLASS1 的每一个实例所表达的内容，也由 ?CLASS2 的每一个实例表达，反之亦然。阿加莎· 克里斯蒂的著作“东方快车谋杀案”的英语和俄语版之间的关系，就是一个例子。注： (equivalentContentClass ?CLASS1 ?CLASS2) 暗示 (subsumesContentClass ?CLASS1 ?CLASS2) 和 (subsumesContentClass ?CLASS2 ?CLASS1)。") | chinese_format.kif 2175-2180 | |
| (documentation equivalentContentClass EnglishLanguage "A BinaryPredicate that relates two subclasses of ContentBearingPhysical. (equivalentContentClass ?CLASS1 ?CLASS2) means that the content expressed by each instance of ?CLASS1 is also expressed by each instance of ?CLASS2, and vice versa. An example would be the relationship between English and Russian editions of Agatha Christie's 'Murder on the Orient Express'. Note that (equivalentContentClass ?CLASS1 ?CLASS2) implies (subsumesContentClass ?CLASS1 ?CLASS2) and (subsumesContentClass ?CLASS2 ?CLASS1).") | Merge.kif 4322-4329 | |
| (domainSubclass equivalentContentClass 1 ContentBearingPhysical) | Merge.kif 4319-4319 | domainSubclass equivalentContentClass, 1 and ContentBearingPhysical |
| (domainSubclass equivalentContentClass 2 ContentBearingPhysical) | Merge.kif 4320-4320 | domainSubclass equivalentContentClass, 2 and ContentBearingPhysical |
| (instance equivalentContentClass EquivalenceRelation) | Merge.kif 4318-4318 | instance equivalentContentClass and EquivalenceRelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage equivalentContentClass "%1 %n 等于 %2") | chinese_format.kif 207-207 | |
| (format EnglishLanguage equivalentContentClass "%1 is %n equivalent to %2") | english_format.kif 211-211 | |
| (relatedInternalConcept equivalentContentInstance equivalentContentClass) | Merge.kif 4370-4370 | relatedInternalConcept equivalentContentInstance and equivalentContentClass |
| (termFormat ChineseLanguage equivalentContentClass "内容等效类") | chinese_format.kif 208-208 | |
| (termFormat ChineseLanguage equivalentContentClass "等效内容类") | domainEnglishFormat.kif 22291-22291 | |
| (termFormat ChineseTraditionalLanguage equivalentContentClass "等效內容類") | domainEnglishFormat.kif 22290-22290 | |
| (termFormat EnglishLanguage equivalentContentClass "equivalent content class") | domainEnglishFormat.kif 22289-22289 |
| consequent |
|
|
| (<=> (and (subsumesContentClass ?CLASS1 ?CLASS2) (subsumesContentClass ?CLASS2 ?CLASS1)) (equivalentContentClass ?CLASS1 ?CLASS2)) |
Merge.kif 4331-4335 | subsumesContentClass ContentBearingPhysical and ContentBearingPhysical subsumesContentClass ContentBearingPhysical and ContentBearingPhysical equivalentContentClass ContentBearingPhysical and ContentBearingPhysical |
|
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