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
Il numero 1 argomenti di
copy
è un
istanza
di
Oggetto
(
domain
copy
2
Object
)
Merge.kif 3848-3848
Il numero 2 argomenti di
copy
è un
istanza
di
Oggetto
(
instance
copy
BinaryPredicate
)
Merge.kif 3845-3845
copy
è un'
istanza
di
PredicatoBinario
(
instance
copy
EquivalenceRelation
)
Merge.kif 3846-3846
copy
è un'
istanza
di
RelazioneDiEquivalenza
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
Oggetto
è un esatta
copia
di
Oggetto
Attributo
attribute
Oggetto
and
Attributo
attribute
Oggetto
and
Attributo
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
is
uguale
a
AlbumCopiesFn
Album
and
DataStorageDevice
S
DataStorageDevice
è un'
istanza
di
DataStorageDevice
Oggetto
Oggetto
è un
Album
OggettoSemiotico
OggettoSemiotico
è un esatta
copia
di
Oggetto
stored
OggettoSemiotico
and
DataStorageDevice
(=>
(
and
(
instance
?COPY
Copying
)
(
resource
?COPY ?THING1)
(
result
?COPY ?THING2))
(
copy
?THING1 ?THING2))
Mid-level-ontology.kif 20414-20419
Processo
è un'
istanza
di
Copying
Oggetto
è una
risorsa
per
Processo
Oggetto
è un
risultato
di
Processo
Oggetto
è un esatta
copia
di
Oggetto
(=>
(
attribute
?T
SymmetricShape
)
(
exists
(?C1 ?C2)
(
and
(
copy
?C1 ?C2)
(
equal
?T
(
MereologicalSumFn
?C1 ?C2)))))
Mid-level-ontology.kif 2842-2848
attribute
Oggetto
and
SymmetricShape
Oggetto
Oggetto
Oggetto
è un esatta
copia
di
Oggetto
Oggetto
is
uguale
a l'
unione
delle parti di
Oggetto
e
Oggetto
(=>
(
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
is
uguale
a
RemixFn
MusicRecording
and
AgenteCognitivo
Processo
Processo
è un'
istanza
di
ProcessoIntenzionale
MusicRecording
è un
paziente
di
Processo
Processo
è un
agente
di
AgenteCognitivo
MusicRecording
è un
risultato
di
Processo
MusicRecording
is
uguale
a
MusicRecording
MusicRecording
è un esatta
copia
di
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
Oggetto
è un'
istanza
di
ChemicalAgent
Oggetto
Processo
and
Oggetto
Oggetto
è un'
istanza
di
Organismo
Processo
è un'
istanza
di
ProcesoBiologico
Oggetto
è uno
strumento
per
Processo
Oggetto
è un
risultato
di
Processo
Oggetto
è un esatta
copia
di
Oggetto
(=>
(
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
Oggetto
è un'
istanza
di
Toxin
Oggetto
Processo
Oggetto
è un'
istanza
di
SostanzaTossica
Processo
è un'
istanza
di
ProcesoBiologico
Oggetto
è uno
strumento
per
Processo
Oggetto
è un
risultato
di
Processo
Oggetto
Oggetto
è un
risultato
di
Processo
Oggetto
è un esatta
copia
di
Oggetto
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