Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
equivalentContentClass
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 4497-4504
(
documentation
equivalentContentClass
JapaneseLanguage
"
BinaryPredicate
は
ContentBearingPhysical
の2つのサブクラスを関連付ける。 (
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 4494-4494
Il numero 1 argomento
equivalentContentClass
è una
sottoclasse
di
ContentBearingPhysical
(
domainSubclass
equivalentContentClass
2
ContentBearingPhysical
)
Merge.kif 4495-4495
Il numero 2 argomento
equivalentContentClass
è una
sottoclasse
di
ContentBearingPhysical
(
instance
equivalentContentClass
BinaryPredicate
)
Merge.kif 4493-4493
equivalentContentClass
è un'
istanza
di
PredicatoBinario
(
instance
equivalentContentClass
EquivalenceRelation
)
Merge.kif 4492-4492
equivalentContentClass
è un'
istanza
di
RelazioneDiEquivalenza
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 4552-4552
equivalentContentInstance
è
interamente
correlato a
equivalentContentClass
(
termFormat
ChineseLanguage
equivalentContentClass
"内容等效类")
chinese_format.kif 208-208
(
termFormat
ChineseLanguage
equivalentContentClass
"等效内容类")
domainEnglishFormat.kif 22366-22366
(
termFormat
ChineseTraditionalLanguage
equivalentContentClass
"等效內容類")
domainEnglishFormat.kif 22365-22365
(
termFormat
EnglishLanguage
equivalentContentClass
"equivalent content class")
domainEnglishFormat.kif 22364-22364
(
termFormat
de
equivalentContentClass
"gleichwertigeInhaltskategorie")
terms-de.txt 85-85
(
termFormat
tg
equivalentContentClass
"kapariho laman klase")
relations-tg.txt 209-209
antecedent
(=>
(
equivalentContentClass
?CLASS1 ?CLASS2)
(
and
(
subsumesContentClass
?CLASS1 ?CLASS2)
(
subsumesContentClass
?CLASS2 ?CLASS1)))
Merge.kif 4512-4516
ContentBearingPhysical
è
equivalente
a
ContentBearingPhysical
ContentBearingPhysical
sussume
il contenuto di
ContentBearingPhysical
ContentBearingPhysical
sussume
il contenuto di
ContentBearingPhysical
consequent
(=>
(
and
(
subsumesContentClass
?CLASS1 ?CLASS2)
(
subsumesContentClass
?CLASS2 ?CLASS1))
(
equivalentContentClass
?CLASS1 ?CLASS2))
Merge.kif 4506-4510
ContentBearingPhysical
sussume
il contenuto di
ContentBearingPhysical
ContentBearingPhysical
sussume
il contenuto di
ContentBearingPhysical
ContentBearingPhysical
è
equivalente
a
ContentBearingPhysical
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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