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
moves
Sigma KEE - moves
moves
appearance as argument number 1
(
documentation
moves
ChineseLanguage
"(
moves
?MOTION ?OBJECT)的意思是当
Motion
事件 ?MOTION 发生时, ?OBJECT 移动了。这不一定意味着在 ?MOTION 的过程中, ?OBJECT 位置有所改变。请同时参考
changesLocation
和
Translocation
。")
chinese_format.kif 2991-2993
(
documentation
moves
EnglishLanguage
"(
moves
?MOTION ?OBJECT) means that during the
Motion
event ?MOTION, ?OBJECT moves. This does not necessarily imply that the location of ?OBJECT changes during ?MOTION. See also
changesLocation
and
Translocation
.")
Merge.kif 11004-11007
(
documentation
moves
JapaneseLanguage
"(
moves
?MOTION ?OBJECT) は、
Motion
イベントである ?MOTION 最中に?OBJECTが移動することを意味する。これは必ずしも ?OBJECT の最中に ?OBJECT の位置が 変わることを意味するわけではない。
changesLocation
および
Translocation
も参照。")
japanese_format.kif 1751-1753
(
domain
moves
1
Motion
)
Merge.kif 11001-11001
(
domain
moves
2
Object
)
Merge.kif 11002-11002
(
instance
moves
CaseRole
)
Merge.kif 10999-10999
(
instance
moves
TotalValuedRelation
)
Merge.kif 11000-11000
(
subrelation
moves
involvedInEvent
)
Merge.kif 11009-11009
appearance as argument number 2
(
format
EnglishLanguage
moves
"%2 %n{doesn’t} move%p{s} during %1")
MilitaryPersons.kif 668-668
(
subrelation
changesLocation
moves
)
Merge.kif 11022-11022
(
termFormat
ChineseLanguage
moves
"移动")
domainEnglishFormat.kif 39027-39027
(
termFormat
ChineseTraditionalLanguage
moves
"移動")
domainEnglishFormat.kif 39026-39026
(
termFormat
EnglishLanguage
moves
"moves")
domainEnglishFormat.kif 39025-39025
antecedent
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?E
Extension
)
(
instrument
?E ?AC)
(
moves
?E ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Animal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10684-10695
(=>
(
and
(
antagonistMuscles
?A ?B)
(
instance
?F
Flexion
)
(
instrument
?F ?AC)
(
moves
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Animal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10671-10682
(=>
(
and
(
instance
?A
Antacid
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9838-9860
(=>
(
and
(
instance
?A
ProtonPumpInhibitor
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?A)
(
instance
?S
Stomach
)
(
part
?S ?H)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?I))
(
and
(
contains
?S ?F1)
(
instance
?F1
Fluid
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
and
(
contains
?S ?F2)
(
instance
?F2
Fluid
)))
(
phMeasure
?F1 ?N1)
(
phMeasure
?F2 ?N2))
(
greaterThan
?N2 ?N1))
Mid-level-ontology.kif 9899-9921
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10576-10592
(=>
(
and
(
instance
?C
MuscularContraction
)
(
moves
?C ?M)
(
or
(
instance
?M
VoluntaryMuscle
)
(
instance
?M
HeartMuscle
)))
(
exists
(?T)
(
and
(
instance
?T
Troponin
)
(
resource
?C ?T))))
Medicine.kif 3954-3964
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10054-10077
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10024-10045
(=>
(
and
(
instance
?E
Extension
)
(
moves
?E ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?E ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?E))))
Mid-level-ontology.kif 10646-10656
(=>
(
and
(
instance
?F
Flexion
)
(
agent
?F ?A)
(
moves
?F ?BP))
(
not
(
exists
(?E)
(
and
(
instance
?E
Extension
)
(
equal
(
WhenFn
?E)
(
WhenFn
?F))
(
agent
?E ?A)
(
moves
?E ?BP)))))
Mid-level-ontology.kif 10633-10644
(=>
(
and
(
instance
?F
Flexion
)
(
moves
?F ?BP))
(
exists
(?M ?MC)
(
and
(
instance
?M
Muscle
)
(
instance
?MC
MuscularContraction
)
(
instrument
?F ?M)
(
connected
?M ?BP)
(
subProcess
?MC ?F))))
Mid-level-ontology.kif 10606-10616
(=>
(
and
(
instance
?MOTION
BodyMotion
)
(
moves
?MOTION ?OBJ))
(
and
(
instance
?OBJ
BodyPart
)
(
patient
?MOTION ?OBJ)))
Merge.kif 11132-11138
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11074-11079
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11058-11063
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
experiencer
?D ?H)
(
causes
?I ?D))))
Mid-level-ontology.kif 8599-8609
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
attribute
?H
Blind
))
Possibility
))
Mid-level-ontology.kif 8623-8634
consequent
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10576-10592
(=>
(
and
(
instance
?E
Edema
)
(
experiencer
?E ?A))
(
exists
(?T ?P ?L)
(
and
(
instance
?T
Transfer
)
(
instance
?L
Liquid
)
(
instance
?P
BodyPart
)
(
part
?P ?A)
(
destination
?T ?P)
(
moves
?T ?L)
(
subProcess
?T ?E))))
Mid-level-ontology.kif 9963-9975
(=>
(
and
(
instance
?F
Flexion
)
(
agent
?F ?A)
(
moves
?F ?BP))
(
not
(
exists
(?E)
(
and
(
instance
?E
Extension
)
(
equal
(
WhenFn
?E)
(
WhenFn
?F))
(
agent
?E ?A)
(
moves
?E ?BP)))))
Mid-level-ontology.kif 10633-10644
(=>
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H))
(
exists
(?T ?R ?O)
(
and
(
instance
?T
Translocation
)
(
moves
?T ?O)
(
instance
?O
Organism
)
(
instance
?R
Replication
)
(
experiencer
?R ?O)
(
subProcess
?T ?I)
(
subProcess
?R ?I))))
Mid-level-ontology.kif 5846-5858
(=>
(
instance
?BC
BloodCirculation
)
(
exists
(?O ?V ?A ?B)
(
and
(
instance
?O
Animal
)
(
instance
?B
Blood
)
(
moves
?BC ?B)
(
instance
?A
Artery
)
(
instance
?V
Vein
)
(
part
?A ?O)
(
part
?V ?O)
(
path
?BC ?A)
(
path
?BC ?V))))
Medicine.kif 491-503
(=>
(
instance
?C
Catheter
)
(
hasPurpose
?C
(
exists
(?M ?O ?OBJ ?L)
(
and
(
instance
?O
Organism
)
(
instance
?M
Motion
)
(
moves
?M ?OBJ)
(
orientation
?L ?O
Outside
)
(
path
?M ?C)
(
or
(
and
(
origin
?M ?L)
(
destination
?M ?O))
(
and
(
origin
?M ?O)
(
destination
?M ?L)))))))
Medicine.kif 548-564
(=>
(
instance
?D
Diuretic
)
(
hasPurpose
?D
(
exists
(?R ?L ?H ?LOC)
(
and
(
instance
?H
Human
)
(
instance
?R
Removing
)
(
instance
?L
Liquid
)
(
experiencer
?R ?H)
(
moves
?R ?L)
(
origin
?L ?H)
(
not
(
contains
?H ?LOC))
(
destination
?R ?LOC)))))
Mid-level-ontology.kif 10009-10022
(=>
(
instance
?F
Furniture
)
(
capability
Translocation
moves
?F))
Mid-level-ontology.kif 3706-3708
(=>
(
instance
?H
Heart
)
(
hasPurpose
?H
(
exists
(?T ?HB ?B)
(
and
(
instance
?HB
HeartBeat
)
(
instance
?T
LiquidMotion
)
(
instance
?B
Blood
)
(
moves
?T ?B)
(
causes
?HB ?T)))))
Mid-level-ontology.kif 10741-10750
(=>
(
instance
?MOTION
Motion
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
moves
?MOTION ?OBJ))))
Merge.kif 11040-11045
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