Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
termFormat
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 11142-11145
(
documentation
moves
JapaneseLanguage
"(
moves
?MOTION ?OBJECT) は、
Motion
イベントである ?MOTION 最中に?OBJECTが移動することを意味する。これは必ずしも ?OBJECT の最中に ?OBJECT の位置が 変わることを意味するわけではない。
changesLocation
および
Translocation
も参照。")
japanese_format.kif 1751-1753
(
domain
moves
1
Motion
)
Merge.kif 11139-11139
The number 1 argument of
moves
is an
instance
of
motion
(
domain
moves
2
Object
)
Merge.kif 11140-11140
The number 2 argument of
moves
is an
instance
of
object
(
instance
moves
CaseRole
)
Merge.kif 11137-11137
moves
is an
instance
of
case role
(
instance
moves
TotalValuedRelation
)
Merge.kif 11138-11138
moves
is an
instance
of
total valued relation
(
subrelation
moves
involvedInEvent
)
Merge.kif 11147-11147
moves
is a
subrelation
of
involvedInEvent
appearance as argument number 2
(
format
EnglishLanguage
moves
"%2 %n{doesn’t} move%p{s} during %1")
MilitaryPersons.kif 682-682
(
subrelation
changesLocation
moves
)
Merge.kif 11160-11160
changesLocation
is a
subrelation
of
moves
(
termFormat
ChineseLanguage
moves
"移动")
domainEnglishFormat.kif 39037-39037
changesLocation
is a
subrelation
of
moves
(
termFormat
ChineseTraditionalLanguage
moves
"移動")
domainEnglishFormat.kif 39036-39036
changesLocation
is a
subrelation
of
moves
(
termFormat
EnglishLanguage
moves
"moves")
domainEnglishFormat.kif 39035-39035
changesLocation
is a
subrelation
of
moves
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 12010-12021
If
antagonistMuscles
a kind of muscle
and
another kind of muscle
and
a motion
is an
instance
of
Extension
and
a kind of muscle
C is an
instrument
for
the motion
and
moves
the motion
and
another kind of muscle
C and
the kind of muscle
C is an
instance
of
the kind of muscle
and
the other kind of muscle
C is an
instance
of
the other kind of muscle
and
the kind of muscle
C is a
part
of
a third object
and
the other kind of muscle
C is a
part
of
the third object
and
the third object
is an
instance
of
animal
,
then
the other kind of muscle
C is
capable
of doing
Flexion
as a
instrument
(=>
(
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 11997-12008
If
antagonistMuscles
a kind of muscle
and
another kind of muscle
and
a motion
is an
instance
of
Flexion
and
a kind of muscle
C is an
instrument
for
the motion
and
moves
the motion
and
another kind of muscle
C and
the kind of muscle
C is an
instance
of
the kind of muscle
and
the other kind of muscle
C is an
instance
of
the other kind of muscle
and
the kind of muscle
C is a
part
of
a third object
and
the other kind of muscle
C is a
part
of
the third object
and
the third object
is an
instance
of
animal
,
then
the other kind of muscle
C is
capable
of doing
Extension
as a
instrument
(=>
(
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 11162-11184
If
an object
is an
instance
of
Antacid
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
moves
the motion
and
the object
and
another object
is an
instance
of
Stomach
and
the other object
is a
part
of
the agent
and
the other object
contain
s
a third object
and
the third object
is an
instance
of
Fluid
holds
during
immediately
before
the
time
of existence of
the motion
and
the other object
contain
s
a fourth object
and
the fourth object
is an
instance
of
Fluid
holds
during
immediately
after
the
time
of existence of
the motion
and
phMeasure
the third object
and
a real number
and
phMeasure
the fourth object
and
another real number
,
then
the other real number
is
greater
than
the real number
(=>
(
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 11223-11245
If
an object
is an
instance
of
ProtonPumpInhibitor
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
moves
the motion
and
the object
and
another object
is an
instance
of
Stomach
and
the other object
is a
part
of
the agent
and
the other object
contain
s
a third object
and
the third object
is an
instance
of
Fluid
holds
during
immediately
before
the
time
of existence of
the motion
and
the other object
contain
s
a fourth object
and
the fourth object
is an
instance
of
Fluid
holds
during
immediately
after
the
time
of existence of
the motion
and
phMeasure
the third object
and
a real number
and
phMeasure
the fourth object
and
another real number
,
then
the other real number
is
greater
than
the real number
(=>
(
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 11902-11918
If
an object
is an
instance
of
BodySegment
and
another object
is an
instance
of
BodySegment
and
the object
is
connected
to
the other object
and
a motion
is an
instance
of
body motion
and
moves
the motion
and
the object
,
then the statement there doesn't exist
the motion
2 such that
the motion
2 is an
instance
of
body motion
and
moves
the motion
2 and
the other object
and the
time
of existence of
the motion
2 takes place
during
the
time
of existence of
the motion
has the
modal
force
of
Possibility
(=>
(
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 3957-3967
If
a motion
is an
instance
of
MuscularContraction
and
moves
the motion
and
an object
and
the object
is an
instance
of
VoluntaryMuscle
or
the object
is an
instance
of
HeartMuscle
,
then there exists
another object
such that
the other object
is an
instance
of
Troponin
and
the other object
is a
resource
for
the motion
(=>
(
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 11378-11401
If
an object
is an
instance
of
Antidiuretic
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
moves
the motion
and
the object
and
a time interval
is an
instance
of
Urination
and
an entity
is a
result
of
the time interval
and
the agent
is an
agent
of
the time interval
and
another time interval
is an
instance
of
Urination
and
equal
the time interval
and
the other time interval
and
another entity
is a
result
of
the other time interval
and
the agent
is an
agent
of
the other time interval
and
the time interval
happens
earlier
than
the motion
and
the motion
happens
earlier
than
the other time interval
and
an unit of measure
is an
instance
of
UnitOfVolume
and the
measure
of
the time interval
is
a real number
the unit of measure
(s) and the
measure
of
the other time interval
is
another real number
the unit of measure
(s),
then the statement
the real number
is
greater
than
the other real number
has the
modal
force
of
Likely
(=>
(
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 11348-11369
If
an object
is an
instance
of
Diuretic
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
moves
the motion
and
the object
and
a time interval
is an
instance
of
Urination
and
an entity
is a
result
of
the time interval
and
the agent
is an
agent
of
the time interval
and
another time interval
is an
instance
of
Urination
and
another entity
is a
result
of
the other time interval
and
the agent
is an
agent
of
the other time interval
and
the time interval
happens
earlier
than
the motion
and
the motion
happens
earlier
than
the other time interval
and
an unit of measure
is an
instance
of
UnitOfVolume
and the
measure
of
the time interval
is
a real number
the unit of measure
(s) and the
measure
of
the other time interval
is
another real number
the unit of measure
(s),
then the statement
the other real number
is
greater
than
the real number
has the
modal
force
of
Likely
(=>
(
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 11972-11982
If
a motion
is an
instance
of
Extension
and
moves
the motion
and
an object
,
then there exist
another object
and
the other object
C such that
the other object
is an
instance
of
muscle
and
the other object
C is an
instance
of
MuscularContraction
and
the other object
is an
instrument
for
the motion
and
the other object
is
connected
to
the object
and
the other object
C is a
subprocess
of
the motion
(=>
(
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 11959-11970
If
a motion
is an
instance
of
Flexion
and
an agent
is an
agent
of
the motion
and
moves
the motion
and
an object
,
then there doesn't exist
another motion
such that
the other motion
is an
instance
of
Extension
and
equal
the
time
of existence of
the other motion
and the
time
of existence of
the motion
and
the agent
is an
agent
of
the other motion
and
moves
the other motion
and
the object
(=>
(
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 11932-11942
If
a motion
is an
instance
of
Flexion
and
moves
the motion
and
an object
,
then there exist
another object
and
the other object
C such that
the other object
is an
instance
of
muscle
and
the other object
C is an
instance
of
MuscularContraction
and
the other object
is an
instrument
for
the motion
and
the other object
is
connected
to
the object
and
the other object
C is a
subprocess
of
the motion
(=>
(
and
(
instance
?MOTION
BodyMotion
)
(
moves
?MOTION ?OBJ))
(
and
(
instance
?OBJ
BodyPart
)
(
patient
?MOTION ?OBJ)))
Merge.kif 11270-11276
If
a motion
is an
instance
of
body motion
and
moves
the motion
and
an object
,
then
the object
is an
instance
of
body part
and
the object
is a
patient
of
the motion
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11212-11217
If
a motion
is an
instance
of
motion
and
moves
the motion
and
an object
and
the motion
end
s up at
an entity
,
then
the object
is
located
at
the entity
holds
during
the
end
of the
time
of existence of
the motion
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11196-11201
If
a motion
is an
instance
of
motion
and
moves
the motion
and
an object
and
the motion
originate
s at
another object
,
then
the object
is
located
at
the other object
holds
during
the
beginning
of the
time
of existence of
the motion
(=>
(
and
(
instance
?OF
OccludedFront
)
(
instance
?C
AirMass
)
(
origin
?OF ?C)
(
airTemperature
?C
(
MeasureFn
?X
CelsiusDegree
))
(
instance
?W
AirMass
)
(
airTemperature
?W
(
MeasureFn
?Y
CelsiusDegree
))
(
lessThan
?X ?Y)
(
moves
?OF ?W))
(
orientation
?C ?W
Below
))
Weather.kif 1358-1370
If
a motion
is an
instance
of
OccludedFront
and
an object
is an
instance
of
AirMass
and
the motion
originate
s at
the object
and
airTemperature
the object
and
a real number
CelsiusDegree
(s) and
another object
is an
instance
of
AirMass
and
airTemperature
the other object
and
another real number
CelsiusDegree
(s) and
the real number
is
less
than
the other real number
and
moves
the motion
and
the other object
,
then
the object
is
Below
to
the other object
(=>
(
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 9801-9811
If
an object
is an
instance
of
Poison
and
a motion
is an
instance
of
ingesting
and
moves
the motion
and
the object
and
an agent
experience
s
the motion
,
then there exists
a process
such that
the process
is an
instance
of
damaging
and
the agent
experience
s
the process
and
the motion
cause
s
the process
(=>
(
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 9825-9836
If
an object
is an
instance
of
Poison
and
a motion
is an
instance
of
ingesting
and
moves
the motion
and
the object
and
an agent
experience
s
the motion
,
then the statement
Blind
is an
attribute
of
the agent
holds
during
after
the
time
of existence of
the motion
has the
modal
force
of
Possibility
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 11902-11918
If
an object
is an
instance
of
BodySegment
and
another object
is an
instance
of
BodySegment
and
the object
is
connected
to
the other object
and
a motion
is an
instance
of
body motion
and
moves
the motion
and
the object
,
then the statement there doesn't exist
the motion
2 such that
the motion
2 is an
instance
of
body motion
and
moves
the motion
2 and
the other object
and the
time
of existence of
the motion
2 takes place
during
the
time
of existence of
the motion
has the
modal
force
of
Possibility
(=>
(
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 11287-11299
If
a process
is an
instance
of
Edema
and
an agent
experience
s
the process
,
then there exist
a motion
,
an object
and
another object
such that
the motion
is an
instance
of
transfer
and
the other object
is an
instance
of
Liquid
and
the object
is an
instance
of
body part
and
the object
is a
part
of
the agent
and
the motion
end
s up at
the object
and
moves
the motion
and
the other object
and
the motion
is a
subprocess
of
the process
(=>
(
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 11959-11970
If
a motion
is an
instance
of
Flexion
and
an agent
is an
agent
of
the motion
and
moves
the motion
and
an object
,
then there doesn't exist
another motion
such that
the other motion
is an
instance
of
Extension
and
equal
the
time
of existence of
the other motion
and the
time
of existence of
the motion
and
the agent
is an
agent
of
the other motion
and
moves
the other motion
and
the object
(=>
(
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 6780-6792
If
a process
is an
instance
of
Infecting
and
an agent
experience
s
the process
,
then there exist
a motion
,
another process
and
another agent
such that
the motion
is an
instance
of
Translocation
and
moves
the motion
and
the other agent
and
the other agent
is an
instance
of
organism
and
the other process
is an
instance
of
replication
and
the other agent
experience
s
the other process
and
the motion
is a
subprocess
of
the process
and
the other process
is a
subprocess
of
the process
(=>
(
and
(
instance
?MAF
MovingAwayFrom
)
(
instance
?RELATIVEOBJECT
Object
)
(
instance
?REFERENCEOBJECT
Object
)
(
patient
?MAF ?RELATIVEOBJECT)
(
patient
?MAF ?REFERENCEOBJECT))
(
exists
(?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U)
(
and
(
instance
?BEFOREDISTANCE
RealNumber
)
(
instance
?AFTERDISTANCE
RealNumber
)
(
moves
?MAF ?RELATIVEOBJECT)
(
holdsDuring
(
BeginFn
(
WhenFn
?MAF))
(
distance
?RELATIVEOBJECT ?REFERENCEOBJECT
(
MeasureFn
?BEFOREDISTANCE ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?MAF))
(
distance
?RELATIVEOBJECT ?REFERENCEOBJECT
(
MeasureFn
?AFTERDISTANCE ?U)))
(
greaterThan
?AFTERDISTANCE ?BEFOREDISTANCE))))
Mid-level-ontology.kif 33715-33735
If
a motion
is an
instance
of
MovingAwayFrom
and
an object
is an
instance
of
object
and
an entity
is an
instance
of
object
and
the object
is a
patient
of
the motion
and
the entity
is a
patient
of
the motion
,
then there exist
the entity
,
a real number
,, ,
another real number
and
another entity
such that
the real number
is an
instance
of
real number
and
the other real number
is an
instance
of
real number
and
moves
the motion
and
the object
and the
distance
between
the object
and
the entity
is
the real number
the other entity
(s) holds
during
the
beginning
of the
time
of existence of
the motion
and the
distance
between
the object
and
the entity
is
the other real number
the other entity
(s) holds
during
the
end
of the
time
of existence of
the motion
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?MT
MovingTowards
)
(
instance
?RELATIVEOBJECT
Object
)
(
instance
?REFERENCEOBJECT
Object
)
(
patient
?MT ?REFERENCEOBJECT)
(
patient
?MT ?RELATIVEOBJECT))
(
exists
(?REFERENCEOBJECT ?BEFOREDISTANCE ?AFTERDISTANCE ?U)
(
and
(
instance
?BEFOREDISTANCE
RealNumber
)
(
instance
?AFTERDISTANCE
RealNumber
)
(
instance
?U
UnitOfLength
)
(
moves
?MT ?RELATIVEOBJECT)
(
holdsDuring
(
BeginFn
(
WhenFn
?MT))
(
distance
?RELATIVEOBJECT ?REFERENCEOBJECT
(
MeasureFn
?BEFOREDISTANCE ?U)))
(
holdsDuring
(
EndFn
(
WhenFn
?MT))
(
distance
?RELATIVEOBJECT ?REFERENCEOBJECT
(
MeasureFn
?AFTERDISTANCE ?U)))
(
greaterThan
?BEFOREDISTANCE ?AFTERDISTANCE))))
Mid-level-ontology.kif 33742-33763
If
a motion
is an
instance
of
MovingTowards
and
an object
is an
instance
of
object
and
an entity
is an
instance
of
object
and
the entity
is a
patient
of
the motion
and
the object
is a
patient
of
the motion
,
then there exist
the entity
,
a real number
,, ,
another real number
and
another entity
such that
the real number
is an
instance
of
real number
and
the other real number
is an
instance
of
real number
and
the other entity
is an
instance
of
UnitOfLength
and
moves
the motion
and
the object
and the
distance
between
the object
and
the entity
is
the real number
the other entity
(s) holds
during
the
beginning
of the
time
of existence of
the motion
and the
distance
between
the object
and
the entity
is
the other real number
the other entity
(s) holds
during
the
end
of the
time
of existence of
the motion
and
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?SF
StationaryFront
)
(
eventLocated
?SF ?F)
(
instance
?F
AirStream
))
(
holdsDuring
(
WhenFn
?SF)
(
not
(
exists
(?T)
(
and
(
subProcess
?T ?SF)
(
instance
?T
Translocation
)
(
moves
?T ?F))))))
Weather.kif 1378-1390
If
a process
is an
instance
of
StationaryFront
and
event located
the process
and
an object
and
the object
is an
instance
of
AirStream
,
then there doesn't exist
an entity
such that
the entity
is a
subprocess
of
the process
and
the entity
is an
instance
of
Translocation
and
moves
the entity
and
the object
holds
during
the
time
of existence of
the process
(=>
(
instance
?A
Abducting
)
(
exists
(?BP ?ORGANISM ?TORSO ?MAF)
(
and
(
instance
?BP
BodyPart
)
(
instance
?ORGANISM
Organism
)
(
instance
?TORSO
Torso
)
(
not
(
equal
?BP ?TORSO))
(
subProcess
?MAF
MovingAwayFrom
)
(
patient
?MAF ?BP)
(
patient
?MAF ?TORSO)
(
part
?BP ?ORGANISM)
(
part
?TORSO ?ORGANISM)
(
experiencer
?A
Organism
)
(
moves
?A ?BP))))
Anatomy.kif 2048-2063
If
a motion
is an
instance
of
Abducting
,
then there exist
an object
,
another object
,, ,
a third object
and
a process
such that
the object
is an
instance
of
body part
and
the other object
is an
instance
of
organism
and
the third object
is an
instance
of
Torso
and
equal
the object
and
the third object
and
the process
is a
subprocess
of
MovingAwayFrom
and
the object
is a
patient
of
the process
and
the third object
is a
patient
of
the process
and
the object
is a
part
of
the other object
and
the third object
is a
part
of
the other object
and
organism
experience
s
the motion
and
moves
the motion
and
the object
(=>
(
instance
?A
Adducting
)
(
exists
(?BP ?ORGANISM ?TORSO ?MT)
(
and
(
instance
?BP
BodyPart
)
(
instance
?ORGANISM
Organism
)
(
instance
?TORSO
Torso
)
(
not
(
equal
?BP ?TORSO))
(
instance
?MT
MovingTowards
)
(
subProcess
?MT ?A)
(
patient
?MT ?BP)
(
patient
?MT ?TORSO)
(
part
?BP ?ORGANISM)
(
part
?TORSO ?ORGANISM)
(
experiencer
?A
Organism
)
(
moves
?A ?BP))))
Anatomy.kif 2072-2088
If
a motion
is an
instance
of
Adducting
,
then there exist
an object
,
another object
,, ,
a third object
and
a process
such that
the object
is an
instance
of
body part
and
the other object
is an
instance
of
organism
and
the third object
is an
instance
of
Torso
and
equal
the object
and
the third object
and
the process
is an
instance
of
MovingTowards
and
the process
is a
subprocess
of
the motion
and
the object
is a
patient
of
the process
and
the third object
is a
patient
of
the process
and
the object
is a
part
of
the other object
and
the third object
is a
part
of
the other object
and
organism
experience
s
the motion
and
moves
the motion
and
the object
(=>
(
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 480-492
If
a motion
is an
instance
of
BloodCirculation
,
then there exist
an object
,
another object
,, ,
a third object
and
a fourth object
such that
the object
is an
instance
of
animal
and
the fourth object
is an
instance
of
blood
and
moves
the motion
and
the fourth object
and
the third object
is an
instance
of
Artery
and
the other object
is an
instance
of
Vein
and
the third object
is a
part
of
the object
and
the other object
is a
part
of
the object
and
the third object
is
path
along which
the motion
occurs and
the other object
is
path
along which
the motion
occurs
(=>
(
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 538-554
If
a physical
is an
instance
of
Catheter
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
the other entity
BJ and
a fourth entity
such that
the other entity
is an
instance
of
organism
and
the entity
is an
instance
of
motion
and
moves
the entity
and
the other entity
BJ and
the fourth entity
is
Outside
to
the other entity
and
the physical
is
path
along which
the entity
occurs and
the entity
originate
s at
the fourth entity
and
the entity
end
s up at
the other entity
or
the entity
originate
s at
the other entity
and
the entity
end
s up at
the fourth entity
(=>
(
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 11333-11346
If
a physical
is an
instance
of
Diuretic
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
the other entity
OC such that
the third entity
is an
instance
of
human
and
the entity
is an
instance
of
removing
and
the other entity
is an
instance
of
Liquid
and
the third entity
experience
s
the entity
and
moves
the entity
and
the other entity
and
the other entity
originate
s at
the third entity
and
the third entity
doesn't
contain
the other entity
OC and
the entity
end
s up at
the other entity
OC
(=>
(
instance
?F
Furniture
)
(
capability
Translocation
moves
?F))
Mid-level-ontology.kif 4149-4151
If
an object
is an
instance
of
Furniture
,
then
the object
is
capable
of doing
Translocation
as a
moves
(=>
(
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 12067-12076
If
a physical
is an
instance
of
Heart
,
then
the physical
has the purpose there exist
an entity
,
the physical
B and
a third entity
such that
the physical
B is an
instance
of
HeartBeat
and
the entity
is an
instance
of
LiquidMotion
and
the third entity
is an
instance
of
blood
and
moves
the entity
and
the third entity
and
the physical
B
cause
s
the entity
(=>
(
instance
?MOTION
Motion
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
moves
?MOTION ?OBJ))))
Merge.kif 11178-11183
If
a motion
is an
instance
of
motion
,
then there exists
an object
such that
the object
is an
instance
of
object
and
moves
the motion
and
the 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
