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
-------------------------


(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 4291-4298
(domainSubclass equivalentContentClass 1 ContentBearingPhysical) Merge.kif 4288-4288 The number 1 argument of equivalent content class is a subclass of content bearing physical
(domainSubclass equivalentContentClass 2 ContentBearingPhysical) Merge.kif 4289-4289 The number 2 argument of equivalent content class is a subclass of content bearing physical
(instance equivalentContentClass EquivalenceRelation) Merge.kif 4287-4287 equivalent content class is an instance of equivalence relation

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 4339-4339 equivalent content instance is internally related to equivalent content class
(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 4300-4304 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners