equivalentContentClass - Sigma Knowledge base Browser

appearance as argument number 1

(instance equivalentContentClass EquivalenceRelation)	Merge.kif 4605-4605	equivalent content class is an instance of equivalence relation
(instance equivalentContentClass BinaryPredicate)	Merge.kif 4606-4606	equivalent content class is an instance of binary predicate
(domainSubclass equivalentContentClass 1 ContentBearingPhysical)	Merge.kif 4607-4607	The number 1 argument of equivalent content class is a subclass of content bearing physical
(domainSubclass equivalentContentClass 2 ContentBearingPhysical)	Merge.kif 4608-4608	The number 2 argument of equivalent content class is a subclass of content bearing physical
(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 4610-4617	The number 2 argument of equivalent content class is a subclass of content bearing physical

appearance as argument number 2

(relatedInternalConcept equivalentContentInstance equivalentContentClass)	Merge.kif 4665-4665	equivalent content instance is internally related to equivalent content class
(termFormat EnglishLanguage equivalentContentClass "equivalent content class")	domainEnglishFormat.kif 22363-22363	equivalent content instance is internally related to equivalent content class
(termFormat ChineseTraditionalLanguage equivalentContentClass "等效內容類")	domainEnglishFormat.kif 22364-22364	equivalent content instance is internally related to equivalent content class
(termFormat ChineseLanguage equivalentContentClass "等效内容类")	domainEnglishFormat.kif 22365-22365	equivalent content instance is internally related to equivalent content class
(format EnglishLanguage equivalentContentClass "%1 is %n equivalent to %2")	english_format.kif 208-208	equivalent content instance is internally related to equivalent content class

antecedent

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

If X is equivalent to Y, then X subsumes the content of Y and Y subsumes the content of X

consequent

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

If X subsumes the content of Y and Y subsumes the content of X, then X is equivalent to Y