TreeView Knowledge Base Browser - 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 4400-4407
(domainSubclass equivalentContentClass 1 ContentBearingPhysical)	Merge.kif 4397-4397
(domainSubclass equivalentContentClass 2 ContentBearingPhysical)	Merge.kif 4398-4398
(instance equivalentContentClass BinaryPredicate)	Merge.kif 4396-4396
(instance equivalentContentClass EquivalenceRelation)	Merge.kif 4395-4395

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 208-208
(relatedInternalConcept equivalentContentInstance equivalentContentClass)	Merge.kif 4455-4455
(termFormat ChineseLanguage equivalentContentClass "内容等效类")	chinese_format.kif 208-208
(termFormat ChineseLanguage equivalentContentClass "等效内容类")	domainEnglishFormat.kif 22359-22359
(termFormat ChineseTraditionalLanguage equivalentContentClass "等效內容類")	domainEnglishFormat.kif 22358-22358
(termFormat EnglishLanguage equivalentContentClass "equivalent content class")	domainEnglishFormat.kif 22357-22357

antecedent

(=>
    (equivalentContentClass ?CLASS1 ?CLASS2)
    (and
        (subsumesContentClass ?CLASS1 ?CLASS2)
        (subsumesContentClass ?CLASS2 ?CLASS1)))

Merge.kif 4415-4419

consequent

(=>
    (and
        (subsumesContentClass ?CLASS1 ?CLASS2)
        (subsumesContentClass ?CLASS2 ?CLASS1))
    (equivalentContentClass ?CLASS1 ?CLASS2))

Merge.kif 4409-4413