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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - equivalentContentClass
equivalentContentClass

appearance as argument number 1
-------------------------


s__documentation(s__equivalentContentClass__m,s__ChineseLanguage,'"这是个联系两个 ContentBearingPhysical 子类别的 BinaryPredicate,(equivalentContentClass ?CLASS1 ?CLASS2) 的意思是由 ?CLASS1 的每一个实例所表达的内容,也由 ?CLASS2 的每一个实例表达,反之亦然。阿加莎· 克里斯蒂的著作“东方快车谋杀案”的英语和俄语版之间的关系,就是一个例子。注: (equivalentContentClass ?CLASS1 ?CLASS2) 暗示 (subsumesContentClass ?CLASS1 ?CLASS2) 和 (subsumesContentClass ?CLASS2 ?CLASS1)。"')

chinese_format.kif 2175-2180
s__documentation(s__equivalentContentClass__m,s__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 Christies Murder on the Orient Express. Note that (equivalentContentClass ?CLASS1 ?CLASS2) implies (subsumesContentClass ?CLASS1 ?CLASS2) and (subsumesContentClass ?CLASS2 ?CLASS1)."')

Merge.kif 4373-4380
s__domainSubclass(s__equivalentContentClass__m,n__1,s__ContentBearingPhysical)

Merge.kif 4370-4370 The number 1 argument of equivalent content class is a subclass of content bearing physical
s__domainSubclass(s__equivalentContentClass__m,n__2,s__ContentBearingPhysical)

Merge.kif 4371-4371 The number 2 argument of equivalent content class is a subclass of content bearing physical
s__instance(s__equivalentContentClass__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__Class)

Merge.kif 4369-4369 equivalent content class is an instance of binary predicate
s__instance(s__equivalentContentClass__m,s__EquivalenceRelation)

s__instance(s__EquivalenceRelation,s__Class)

Merge.kif 4368-4368 equivalent content class is an instance of equivalence relation

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__equivalentContentClass__m,'"%1 %n 等于 %2"')

chinese_format.kif 207-207
s__format(s__EnglishLanguage,s__equivalentContentClass__m,'"%1 is %n equivalent to %2"')

english_format.kif 208-208
s__relatedInternalConcept(s__equivalentContentInstance__m,s__equivalentContentClass__m)

Merge.kif 4422-4422 equivalent content instance is internally related to equivalent content class
s__termFormat(s__ChineseLanguage,s__equivalentContentClass__m,'"内容等效类"')

chinese_format.kif 208-208
s__termFormat(s__ChineseLanguage,s__equivalentContentClass__m,'"等效内容类"')

domainEnglishFormat.kif 22359-22359
s__termFormat(s__ChineseTraditionalLanguage,s__equivalentContentClass__m,'"等效內容類"')

domainEnglishFormat.kif 22358-22358
s__termFormat(s__EnglishLanguage,s__equivalentContentClass__m,'"equivalent content class"')

domainEnglishFormat.kif 22357-22357

consequent
-------------------------


( ! [V__CLASS2,V__CLASS1] :
   (((s__subclass(V__CLASS2,s__ContentBearingPhysical) &
         s__subclass(V__CLASS1,s__ContentBearingPhysical))
       =>
       ((((s__subsumesContentClass(V__CLASS1,V__CLASS2)
             &
             s__subsumesContentClass(V__CLASS2,V__CLASS1))
         =>
         s__equivalentContentClass(V__CLASS1,V__CLASS2))
     &
     (s__equivalentContentClass(V__CLASS1,V__CLASS2)
     =>
     (s__subsumesContentClass(V__CLASS1,V__CLASS2)
     &
     s__subsumesContentClass(V__CLASS2,V__CLASS1))))))
)
)

Merge.kif 4382-4386 A kind of content bearing physical subsumes the content of another kind of content bearing physical and another kind of content bearing physical subsumes the content of a kind of content bearing physical if and only if the kind of content bearing physical is equivalent to the other kind of content bearing physical


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