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
copy
Sigma KEE - copy
copy
appearance as argument number 1
(
documentation
copy
ChineseLanguage
"这个概念把一个
Object
和这个
Object
一摸一样地副本联系 起来,而原本和它一摸一样的副本,在所有的特性除了(可能) 空间和/ 或时间地位置上,是没有区别的。")
chinese_format.kif 2077-2078
(
documentation
copy
EnglishLanguage
"relates an
Object
to an exact copy of the
Object
, where an exact copy is indistinguishable from the original with regard to every property except (possibly) spatial and/ or temporal location.")
Merge.kif 3850-3853
(
documentation
copy
JapaneseLanguage
"
Object
を
Object
の正確なコピーに関連付け、 正確なコピーは(おそらく)空間的および/ または時間的な場所を除くすべてのプロパティに関して元のコピーと 区別できない。")
japanese_format.kif 723-725
(
domain
copy
1
Object
)
Merge.kif 3847-3847
O argumento numero 1 de
copy
e' uma
instancia
de
Objeto
(
domain
copy
2
Object
)
Merge.kif 3848-3848
O argumento numero 2 de
copy
e' uma
instancia
de
Objeto
(
instance
copy
BinaryPredicate
)
Merge.kif 3845-3845
copy
e' uma
instancia
de
Predicado Binario
(
instance
copy
EquivalenceRelation
)
Merge.kif 3846-3846
copy
e' uma
instancia
de
Relacao Qquivalente
appearance as argument number 2
(
format
ChineseLanguage
copy
"%1 %n 是和 %2 完全相同的
copy
")
chinese_format.kif 87-87
(
format
EnglishLanguage
copy
"%1 is %n a
copy
of %2")
english_format.kif 87-87
(
format
FrenchLanguage
copy
"%1 est %n une copie exact de %2")
french_format.kif 66-66
(
format
ItalianLanguage
copy
"%1 è %n un esatta copia di %2")
relations-it.txt 60-60
(
format
JapaneseLanguage
copy
"%1 は %2 の
copy
では %n")
japanese_format.kif 1892-1892
(
format
PortugueseLanguage
copy
"%1 e' %n uma copia exata de %2")
portuguese_format.kif 18-18
(
format
cz
copy
"%1 %p{je} %n{nen�} an exact
copy
of %2")
relations-cz.txt 115-115
(
format
de
copy
"%1 ist eine genaue kopie von %2")
relations-de.txt 95-95
(
format
hi
copy
"%1 %2 kii saTiika prati %n hai")
relations-hindi.txt 101-101
(
format
ro
copy
"%1 %n{nu} este o
copy
%t{copie} fidelã a lui %2")
relations-ro.kif 85-85
(
format
sv
copy
"%1 är %n{inte} en exakt kopia av %2")
relations-sv.txt 65-65
(
format
tg
copy
"%1 %n ay ang sipi ng tama ng %2")
relations-cb.txt 94-94
(
termFormat
ChineseLanguage
copy
"副本")
chinese_format.kif 88-88
(
termFormat
ChineseLanguage
copy
"复制")
domainEnglishFormat.kif 17304-17304
(
termFormat
ChineseTraditionalLanguage
copy
"複製")
domainEnglishFormat.kif 17303-17303
(
termFormat
EnglishLanguage
copy
"copy")
domainEnglishFormat.kif 17302-17302
(
termFormat
de
copy
"kopie")
terms-de.txt 26-26
(
termFormat
tg
copy
"sipi")
relations-tg.txt 137-137
antecedent
(=>
(
copy
?OBJ1 ?OBJ2)
(
forall
(?ATTR)
(=>
(
attribute
?OBJ1 ?ATTR)
(
attribute
?OBJ2 ?ATTR))))
Merge.kif 3855-3860
Objeto
e' uma
copia
exata de
Objeto
Atributo
Atributo
e' um
atributo
de
Objeto
Atributo
e' um
atributo
de
Objeto
consequent
(=>
(
and
(
equal
?D
(
AlbumCopiesFn
?A ?DS))
(
instance
?X ?D))
(
forall
(?S)
(=>
(
inList
?S ?A)
(
exists
(?C)
(
and
(
copy
?C ?S)
(
stored
?C ?X))))))
Music.kif 936-946
DataStorageDevice
e'
igual
a
AlbumCopiesFn
Album
and
DataStorageDevice
S
DataStorageDevice
e' uma
instancia
de
DataStorageDevice
Objeto
Objeto
e' um
membro
de
Album
Objeto Representendo Conteudo Abstrato
Objeto Representendo Conteudo Abstrato
e' uma
copia
exata de
Objeto
stored
Objeto Representendo Conteudo Abstrato
and
DataStorageDevice
(=>
(
and
(
instance
?COPY
Copying
)
(
resource
?COPY ?THING1)
(
result
?COPY ?THING2))
(
copy
?THING1 ?THING2))
Mid-level-ontology.kif 20415-20420
Processo
e' uma
instancia
de
Copying
Objeto
e' um
recurso
para
Processo
Objeto
e' o
resultado
de
Processo
Objeto
e' uma
copia
exata de
Objeto
(=>
(
attribute
?T
SymmetricShape
)
(
exists
(?C1 ?C2)
(
and
(
copy
?C1 ?C2)
(
equal
?T
(
MereologicalSumFn
?C1 ?C2)))))
Mid-level-ontology.kif 2842-2848
SymmetricShape
e' um
atributo
de
Objeto
Objeto
Objeto
Objeto
e' uma
copia
exata de
Objeto
Objeto
e'
igual
a a
uniao
das partes de
Objeto
e
Objeto
(=>
(
equal
?S
(
RemixFn
?M ?A))
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
patient
?P ?M)
(
agent
?P ?A)
(
result
?P ?S)
(
not
(
equal
?S ?M))
(
not
(
copy
?S ?M)))))
Music.kif 889-898
MusicRecording
e'
igual
a
RemixFn
MusicRecording
and
Agente Cognitivo
Processo
Processo
e' uma
instancia
de
Processo Intencional
MusicRecording
e' um
patient
de
Processo
Processo
e' um
agente
de
Agente Cognitivo
MusicRecording
e' o
resultado
de
Processo
MusicRecording
e'
igual
a
MusicRecording
MusicRecording
e' uma
copia
exata de
MusicRecording
(=>
(
instance
?AGENT
ChemicalAgent
)
(
not
(
exists
(?ORGANISM ?PROCESS ?SUBSTANCE)
(
and
(
instance
?ORGANISM
Organism
)
(
instance
?PROCESS
BiologicalProcess
)
(
instrument
?PROCESS ?ORGANISM)
(
result
?PROCESS ?SUBSTANCE)
(
copy
?SUBSTANCE ?AGENT)))))
WMD.kif 464-473
Objeto
e' uma
instancia
de
ChemicalAgent
Objeto
Processo
and
Objeto
Objeto
e' uma
instancia
de
Organismo
Processo
e' uma
instancia
de
Processo Biologico
Objeto
e' um
instrumento
para
Processo
Objeto
e' o
resultado
de
Processo
Objeto
e' uma
copia
exata de
Objeto
(=>
(
instance
?SUBSTANCE
Toxin
)
(
exists
(?ORGANISM ?PROCESS)
(
and
(
instance
?ORGANISM
ToxicOrganism
)
(
instance
?PROCESS
BiologicalProcess
)
(
instrument
?PROCESS ?ORGANISM)
(
or
(
result
?PROCESS ?SUBSTANCE)
(
exists
(?RESULT)
(
and
(
result
?PROCESS ?RESULT)
(
copy
?SUBSTANCE ?RESULT)))))))
WMD.kif 166-178
Objeto
e' uma
instancia
de
Toxin
Objeto
Processo
Objeto
e' uma
instancia
de
ToxicOrganism
Processo
e' uma
instancia
de
Processo Biologico
Objeto
e' um
instrumento
para
Processo
Objeto
e' o
resultado
de
Processo
Objeto
Objeto
e' o
resultado
de
Processo
Objeto
e' uma
copia
exata de
Objeto
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