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
The number 1 argument of
copy
is an
instance
of
object
(
domain
copy
2
Object
)
Merge.kif 3848-3848
The number 2 argument of
copy
is an
instance
of
object
(
instance
copy
BinaryPredicate
)
Merge.kif 3845-3845
copy
is an
instance
of
binary predicate
(
instance
copy
EquivalenceRelation
)
Merge.kif 3846-3846
copy
is an
instance
of
equivalence relation
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
If
an object
is a
copy
of
another object
,
then for all
an attribute
if
the attribute
is an
attribute
of
the object
,
then
the attribute
is an
attribute
of
the other object
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
If
a kind of data storage device
is
equal
to the
set
of copies on
a kind of data storage device
S of
an album
and
a third data storage device
is an
instance
of
the kind of data storage device
,
then for all
an object
if
the object
is a
member
of
the album
,
then there exists
a content bearing object
such that
the content bearing object
is a
copy
of
the object
and
the content bearing object
is
stored
on
the third data storage device
(=>
(
and
(
instance
?COPY
Copying
)
(
resource
?COPY ?THING1)
(
result
?COPY ?THING2))
(
copy
?THING1 ?THING2))
Mid-level-ontology.kif 20415-20420
If
a process
is an
instance
of
copying
and
an object
is a
resource
for
the process
and
another object
is a
result
of
the process
,
then
the object
is a
copy
of
the other object
(=>
(
attribute
?T
SymmetricShape
)
(
exists
(?C1 ?C2)
(
and
(
copy
?C1 ?C2)
(
equal
?T
(
MereologicalSumFn
?C1 ?C2)))))
Mid-level-ontology.kif 2842-2848
If
symmetric shape
is an
attribute
of
an object
,
then there exist
another object
and
a third object
such that
the other object
is a
copy
of
the third object
and
the object
is
equal
to the
union
of the parts of
the other object
and
the third object
(=>
(
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
If
a music recording
is
equal
to the
remix
of
another music recording
by
a cognitive agent
,
then there exists
a process
such that
the process
is an
instance
of
intentional process
and
the other music recording
is a
patient
of
the process
and
the cognitive agent
is an
agent
of
the process
and
the music recording
is a
result
of
the process
and
the music recording
is not
equal
to
the other music recording
and
the music recording
is not a
copy
of
the other music recording
(=>
(
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
If
an object
is an
instance
of
chemical agent
,
then there don't exist
another object
,
a process
and
a third object
such that
the other object
is an
instance
of
organism
and
the process
is an
instance
of
biological process
and
the other object
is an
instrument
for
the process
and
the third object
is a
result
of
the process
and
the third object
is a
copy
of
the object
(=>
(
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
If
an object
is an
instance
of
toxin
,
then there exist
another object
and
a process
such that
the other object
is an
instance
of
toxic organism
and
the process
is an
instance
of
biological process
and
the other object
is an
instrument
for
the process
and
the object
is a
result
of
the process
or there exists
a third object
such that
the third object
is a
result
of
the process
and
the object
is a
copy
of
the third object
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