equivalentContentClass - Sigma Knowledge base Browser

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 4524-4531
(documentation equivalentContentClass JapaneseLanguage "BinaryPredicate は ContentBearingPhysical の２つのサブクラスを関連付ける。　(equivalentContentClass ?CLASS1 ?CLASS2) とは、?CLASS1の各インスタンスによって表現されるコンテンツは、?CLASS2の各インスタンスによっても表現され、その逆も同様である。例えば、アガサ・クリスティの『オリエント急行殺人事件』の英語版とロシア語版の関係が挙げられる。　注：(equivalentContentClass ?CLASS1 ?CLASS2) は (subsumesContentClass ?CLASS1 ?CLASS2) および (subsumesContentClass ?CLASS2 ?CLASS1)を意味する。")	japanese_format.kif 835-841
(domainSubclass equivalentContentClass 1 ContentBearingPhysical)	Merge.kif 4521-4521	equivalentContentClass の数値 1 引数は ContentBearingPhysical のsubclass では
(domainSubclass equivalentContentClass 2 ContentBearingPhysical)	Merge.kif 4522-4522	equivalentContentClass の数値 2 引数は ContentBearingPhysical のsubclass では
(instance equivalentContentClass BinaryPredicate)	Merge.kif 4520-4520	equivalentContentClass は 2進述語の instance では
(instance equivalentContentClass EquivalenceRelation)	Merge.kif 4519-4519	equivalentContentClass は同値関係の instance では

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
(format FrenchLanguage equivalentContentClass "%1 est %n �quivalent � %2")	french_format.kif 123-123
(format ItalianLanguage equivalentContentClass "%1 è equivalente a %2")	relations-it.txt 98-98
(format JapaneseLanguage equivalentContentClass "%1 は　%2 と equivalent では %n")	japanese_format.kif 1952-1952
(format PortugueseLanguage equivalentContentClass "%1 e' %n equivalente a %2")	portuguese_format.kif 75-75
(format de equivalentContentClass "%1 ist mit %2 gleichwertig")	relations-de.txt 266-266
(format hi equivalentContentClass "%1 %2 ke tulya hai")	relations-hindi.txt 138-138
(format ro equivalentContentClass "%1 %n{nu} este equivalent%t{echivalent} cu %2")	relations-ro.kif 142-142
(format sv equivalentContentClass "%1 är %n{inte} ekvivalent med %2")	relations-sv.txt 128-128
(format tg equivalentContentClass "%1 ay tulad sa %2")	relations-tg.txt 208-208
(relatedInternalConcept equivalentContentInstance equivalentContentClass)	Merge.kif 4579-4579	equivalentContentInstance は equivalentContentClass に internally 関連して
(termFormat ChineseLanguage equivalentContentClass "内容等效类")	chinese_format.kif 208-208	equivalentContentInstance は equivalentContentClass に internally 関連して
(termFormat ChineseLanguage equivalentContentClass "等效内容类")	domainEnglishFormat.kif 22372-22372	equivalentContentInstance は equivalentContentClass に internally 関連して
(termFormat ChineseTraditionalLanguage equivalentContentClass "等效內容類")	domainEnglishFormat.kif 22371-22371	equivalentContentInstance は equivalentContentClass に internally 関連して
(termFormat EnglishLanguage equivalentContentClass "equivalent content class")	domainEnglishFormat.kif 22370-22370	equivalentContentInstance は equivalentContentClass に internally 関連して
(termFormat de equivalentContentClass "gleichwertigeInhaltskategorie")	terms-de.txt 85-85	equivalentContentInstance は equivalentContentClass に internally 関連して
(termFormat tg equivalentContentClass "kapariho laman klase")	relations-tg.txt 209-209	equivalentContentInstance は equivalentContentClass に internally 関連して

antecedent

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

Merge.kif 4539-4543

ContentBearingPhysical は　 ContentBearingPhysical と equivalent では
ContentBearingPhysical は ContentBearingPhysical のコンテンツを subsumes ContentBearingPhysical は ContentBearingPhysical のコンテンツを subsumes

consequent

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

Merge.kif 4533-4537

ContentBearingPhysical は ContentBearingPhysical のコンテンツを subsumes ContentBearingPhysical は ContentBearingPhysical のコンテンツを subsumes
ContentBearingPhysical は　 ContentBearingPhysical と equivalent では

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

KB Term:			Term intersection

English Word: