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
changesLocation
Sigma KEE - changesLocation
changesLocation
appearance as argument number 1
(
documentation
changesLocation
ChineseLanguage
"(
changesLocation
?EVENT ?OBJECT)的意思是当
Translocation
事件 ?EVENT 发生时,?OBJECT 的位置改变了。?OBJECT 也可以是 ?EVENT 的
agent
、
patient
或
experiencer
。")
chinese_format.kif 2994-2996
(
documentation
changesLocation
EnglishLanguage
"(
changesLocation
?EVENT ?OBJECT) means that during the
Translocation
event ?EVENT, ?OBJECT's location changes. ?OBJECT might also be the
agent
,
patient
, or
experiencer
of ?EVENT.")
Merge.kif 10995-10998
(
documentation
changesLocation
JapaneseLanguage
"(
changesLocation
?EVENT ?OBJECT) は、
Translocation
イベント ?EVENT の最中に ?OBJECT's 位置が変更されたことを意味する。?OBJECT は、 ?EVENT の
patient
、
experiencer
、または
experiencer
でもある可能性がある。")
japanese_format.kif 1754-1756
(
domain
changesLocation
1
Translocation
)
Merge.kif 10992-10992
The number 1 argument of
changes location
is an
instance
of
translocation
(
domain
changesLocation
2
Object
)
Merge.kif 10993-10993
The number 2 argument of
changes location
is an
instance
of
object
(
instance
changesLocation
CaseRole
)
Merge.kif 10990-10990
changes location
is an
instance
of
case role
(
instance
changesLocation
TotalValuedRelation
)
Merge.kif 10991-10991
changes location
is an
instance
of
total valued relation
(
subrelation
changesLocation
moves
)
Merge.kif 11000-11000
changes location
is a
subrelation
of
moves
appearance as argument number 2
(
format
ChineseLanguage
changesLocation
"%2 %n 是 %3 的 changes 地点")
domainEnglishFormat.kif 428-428
(
format
ChineseTraditionalLanguage
changesLocation
"%2 %n 是 %3 的 changes 地點")
domainEnglishFormat.kif 427-427
(
format
EnglishLanguage
changesLocation
"%2 %n{doesn't} change%{s} location during %1")
MilitaryPersons.kif 669-669
(
format
EnglishLanguage
changesLocation
"%2 is %n a changes location of %1")
domainEnglishFormat.kif 426-426
(
termFormat
ChineseLanguage
changesLocation
"改变位置")
domainEnglishFormat.kif 14124-14124
(
termFormat
ChineseTraditionalLanguage
changesLocation
"改變位置")
domainEnglishFormat.kif 14123-14123
(
termFormat
EnglishLanguage
changesLocation
"changes location")
domainEnglishFormat.kif 14122-14122
antecedent
(=>
(
changesLocation
?EVENT ?OBJ)
(
and
(
instance
?EVENT
Translocation
)
(
instance
?OBJ
Object
)
(
or
(
patient
?EVENT ?OBJ)
(
agent
?EVENT ?OBJ)
(
experiencer
?EVENT ?OBJ))))
Merge.kif 11003-11011
If
an agent
is a
changes
location of
a translocation
,
then
the translocation
is an
instance
of
translocation
and
the agent
is an
instance
of
object
and
the agent
is a
patient
of
the translocation
or
the agent
is an
agent
of
the translocation
or
the agent
experience
s
the translocation
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