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
副本
的 1 数量 是
客体
的
instance
(
domain
copy
2
Object
)
Merge.kif 3848-3848
副本
的 2 数量 是
客体
的
instance
(
instance
copy
BinaryPredicate
)
Merge.kif 3845-3845
副本
是
二元谓语
的
instance
(
instance
copy
EquivalenceRelation
)
Merge.kif 3846-3846
副本
是
等价关系
的
instance
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
如果
客体
是和
另一个 客体
完全相同的
copy
,
然后 对所有
属性
如果
那个 属性
是
那个 客体
的
attribute
,
然后
那个 属性
是
那个 另外 客体
的
attribute
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
equal
Album
在
有点 DataStorageDevice
S 的
set
复制 和
第三 DataStorageDevice
是
那个 有点 DataStorageDevice
的
instance
,
然后 对所有
客体
如果
那个 客体
是
那个 Album
的
member
,
然后 有存在
有内用物体
这样
那个 有内用物体
是和
那个 客体
完全相同的
copy
和
那个 有内用物体
是
stored
在
那个 第三 DataStorageDevice
(=>
(
and
(
instance
?COPY
Copying
)
(
resource
?COPY ?THING1)
(
result
?COPY ?THING2))
(
copy
?THING1 ?THING2))
Mid-level-ontology.kif 20415-20420
如果
过程
是
模仿
的
instance
和
客体
是
那个 过程
的
resource
和
另一个 客体
是
那个 过程
的
result
,
然后
那个 客体
是和
那个 另外 客体
完全相同的
copy
(=>
(
attribute
?T
SymmetricShape
)
(
exists
(?C1 ?C2)
(
and
(
copy
?C1 ?C2)
(
equal
?T
(
MereologicalSumFn
?C1 ?C2)))))
Mid-level-ontology.kif 2842-2848
如果
对称的形状
是
客体
的
attribute
,
然后 有存在
另一个 客体
和
第三 客体
这样
那个 另外 客体
是和
那个 第三 客体
完全相同的
copy
和
那个 客体
equal
包括属于
那个 第三 客体
或
那个 另外 客体
的部分
(=>
(
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
如果
音乐录音
equal
另一个 音乐录音
的
remix
由
有认知的主事
,
然后 有存在
过程
这样
那个 过程
是
有意图过程
的
instance
和
那个 另外 音乐录音
是
那个 过程
的
patient
和
那个 有认知的主事
是
那个 过程
的
agent
和
那个 音乐录音
是
那个 过程
的
result
和
那个 音乐录音
不
equal
那个 另外 音乐录音
和
那个 音乐录音
不 是和
那个 另外 音乐录音
完全相同的
copy
(=>
(
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
如果
客体
是
化学剂
的
instance
,
然后 不存在
另一个 客体
,
过程
, and 和
第三 客体
这样
那个 另外 客体
是
生物
的
instance
和
那个 过程
是
生物过程
的
instance
和
那个 另外 客体
是导致
那个 过程
的
instrument
和
那个 第三 客体
是
那个 过程
的
result
和
那个 第三 客体
是和
那个 客体
完全相同的
copy
(=>
(
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
如果
客体
是
毒素
的
instance
,
然后 有存在
另一个 客体
和
过程
这样
那个 另外 客体
是
有毒生物
的
instance
和
那个 过程
是
生物过程
的
instance
和
那个 另外 客体
是导致
那个 过程
的
instrument
和
那个 客体
是
那个 过程
的
result
或 有存在
第三 客体
这样
那个 第三 客体
是
那个 过程
的
result
和
那个 客体
是和
那个 第三 客体
完全相同的
copy
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