Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - equivalentContentClass

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 4335-4342
(domainSubclass equivalentContentClass 1 ContentBearingPhysical) Merge.kif 4332-4332
(domainSubclass equivalentContentClass 2 ContentBearingPhysical) Merge.kif 4333-4333
(instance equivalentContentClass BinaryPredicate) Merge.kif 4331-4331
(instance equivalentContentClass EquivalenceRelation) Merge.kif 4330-4330

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 4384-4384
(termFormat ChineseLanguage equivalentContentClass "内容等效类") chinese_format.kif 208-208
(termFormat ChineseLanguage equivalentContentClass "等效内容类") domainEnglishFormat.kif 22366-22366
(termFormat ChineseTraditionalLanguage equivalentContentClass "等效內容類") domainEnglishFormat.kif 22365-22365
(termFormat EnglishLanguage equivalentContentClass "equivalent content class") domainEnglishFormat.kif 22364-22364


        (subsumesContentClass ?CLASS1 ?CLASS2)
        (subsumesContentClass ?CLASS2 ?CLASS1))
    (equivalentContentClass ?CLASS1 ?CLASS2))
Merge.kif 4344-4348

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