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 11016-11019
(
documentation
moves
JapaneseLanguage
"(
moves
?MOTION ?OBJECT) は、
Motion
イベントである ?MOTION 最中に?OBJECTが移動することを意味する。これは必ずしも ?OBJECT の最中に ?OBJECT の位置が 変わることを意味するわけではない。
changesLocation
および
Translocation
も参照。")
japanese_format.kif 1751-1753
(
domain
moves
1
Motion
)
Merge.kif 11013-11013
Die Zahl 1 Argument von
moves
ist ein
fall
von
Motion
%n{nicht}
(
domain
moves
2
Object
)
Merge.kif 11014-11014
Die Zahl 2 Argument von
moves
ist ein
fall
von
Object
%n{nicht}
(
instance
moves
CaseRole
)
Merge.kif 11011-11011
moves
ist ein
fall
von
CaseRole
%n{nicht}
(
instance
moves
TotalValuedRelation
)
Merge.kif 11012-11012
moves
ist ein
fall
von
TotalValuedRelation
%n{nicht}
(
subrelation
moves
involvedInEvent
)
Merge.kif 11021-11021
moves
ist eine
teilrelation
von
involvedInEvent
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 11034-11034
changesLocation
ist eine
teilrelation
von
moves
(
termFormat
ChineseLanguage
moves
"移动")
domainEnglishFormat.kif 39029-39029
(
termFormat
ChineseTraditionalLanguage
moves
"移動")
domainEnglishFormat.kif 39028-39028
(
termFormat
EnglishLanguage
moves
"moves")
domainEnglishFormat.kif 39027-39027
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 10712-10723
Wenn
antagonistMuscles
** Muscle
and
** ** Muscle
und
Motion
ist ein
fall
von
Extension
%n{nicht} und
** Muscle
C ist ein
instrument
fuer
** Motion
%n{nicht} und
moves
** Motion
and
** ** Muscle
C und
** ** Muscle
C ist ein
fall
von
** ** Muscle
%n{nicht} und
** ** ** Muscle
C ist ein
fall
von
** ** ** Muscle
%n{nicht} und
** ** Muscle
C ist ein
teil
von
** Object
%n{nicht} und
** ** ** Muscle
C ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Animal
%n{nicht},
dann
** ** ** Muscle
C ist faehig %n{nicht}, in der Rolle
instrument
Flexion
zu tun
(=>
(
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 10699-10710
Wenn
antagonistMuscles
** Muscle
and
** ** Muscle
und
Motion
ist ein
fall
von
Flexion
%n{nicht} und
** Muscle
C ist ein
instrument
fuer
** Motion
%n{nicht} und
moves
** Motion
and
** ** Muscle
C und
** ** Muscle
C ist ein
fall
von
** ** Muscle
%n{nicht} und
** ** ** Muscle
C ist ein
fall
von
** ** ** Muscle
%n{nicht} und
** ** Muscle
C ist ein
teil
von
** Object
%n{nicht} und
** ** ** Muscle
C ist ein
teil
von
** ** Object
%n{nicht} und
** ** Object
ist ein
fall
von
Animal
%n{nicht},
dann
** ** ** Muscle
C ist faehig %n{nicht}, in der Rolle
instrument
Extension
zu tun
(=>
(
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 9866-9888
Wenn
Object
ist ein
fall
von
Antacid
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
moves
** Motion
and
** Object
und
** Object
ist ein
fall
von
Stomach
%n{nicht} und
** ** Object
ist ein
teil
von
** AutonomousAgent
%n{nicht} und
contains
** ** Object
and
** Object
und
** ** Object
ist ein
fall
von
Fluid
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Motion
%n{nicht} und
contains
** ** Object
and
** Object
und
** ** Object
ist ein
fall
von
Fluid
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Motion
%n{nicht} und
phMeasure
** ** Object
and
RealNumber
und
phMeasure
** ** Object
and
** RealNumber
,
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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 9927-9949
Wenn
Object
ist ein
fall
von
ProtonPumpInhibitor
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
moves
** Motion
and
** Object
und
** Object
ist ein
fall
von
Stomach
%n{nicht} und
** ** Object
ist ein
teil
von
** AutonomousAgent
%n{nicht} und
contains
** ** Object
and
** Object
und
** ** Object
ist ein
fall
von
Fluid
%n{nicht} haelt
waehrend
direkt
vor
die
zeit
des Bestehens von
** Motion
%n{nicht} und
contains
** ** Object
and
** Object
und
** ** Object
ist ein
fall
von
Fluid
%n{nicht} haelt
waehrend
sofort
nach
die
zeit
des Bestehens von
** Motion
%n{nicht} und
phMeasure
** ** Object
and
RealNumber
und
phMeasure
** ** Object
and
** RealNumber
,
dann
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
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 10604-10620
Wenn
Object
ist ein
fall
von
BodySegment
%n{nicht} und
** Object
ist ein
fall
von
BodySegment
%n{nicht} und
** Object
wird an
** ** Object
angeschlossen und
Motion
ist ein
fall
von
BodyMotion
%n{nicht} und
moves
** Motion
and
** Object
,
dann die Aussage es gibt nicht
** Motion
2 um
** Motion
2 ist ein
fall
von
BodyMotion
%n{nicht} und
moves
** Motion
2 and
** ** Object
und die
zeit
des Bestehens von
** Motion
2 geschieht
waehrend
die
zeit
des Bestehens von
** Motion
%n{nicht} hat die modale Kraft von
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 3954-3964
Wenn
Motion
ist ein
fall
von
MuscularContraction
%n{nicht} und
moves
** Motion
and
Object
und
** Object
ist ein
fall
von
VoluntaryMuscle
%n{nicht} oder
** Object
ist ein
fall
von
HeartMuscle
%n{nicht},
dann es gibt
** Object
um
** ** Object
ist ein
fall
von
Troponin
%n{nicht} und
** ** Object
ist ein
hilfmittel
fuer
** Motion
%n{nicht}
(=>
(
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 10082-10105
Wenn
Object
ist ein
fall
von
Antidiuretic
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
moves
** Motion
and
** Object
und
TimeInterval
ist ein
fall
von
Urination
%n{nicht} und
Entity
ist ein
resultat
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
ist ein
fall
von
Urination
%n{nicht} und
** TimeInterval
ist gleich
** ** TimeInterval
nicht und
** Entity
ist ein
resultat
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
geschieht frueh als
** Motion
%n{nicht} und
** Motion
geschieht frueh als
** ** TimeInterval
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht} und das
mass
von
** TimeInterval
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** TimeInterval
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann die Aussage
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht} hat die modale Kraft von
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 10052-10073
Wenn
Object
ist ein
fall
von
Diuretic
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
moves
** Motion
and
** Object
und
TimeInterval
ist ein
fall
von
Urination
%n{nicht} und
Entity
ist ein
resultat
von
** TimeInterval
%n{nicht} und
** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
ist ein
fall
von
Urination
%n{nicht} und
** Entity
ist ein
resultat
von
** ** TimeInterval
%n{nicht} und
** ** TimeInterval
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** TimeInterval
geschieht frueh als
** Motion
%n{nicht} und
** Motion
geschieht frueh als
** ** TimeInterval
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfVolume
%n{nicht} und das
mass
von
** TimeInterval
ist
RealNumber
** UnitOfMeasure
(s) %n{nicht} und das
mass
von
** ** TimeInterval
ist
** RealNumber
** UnitOfMeasure
(s) %n{nicht},
dann die Aussage
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht} hat die modale Kraft von
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 10674-10684
Wenn
Motion
ist ein
fall
von
Extension
%n{nicht} und
moves
** Motion
and
Object
,
dann es gibt
** Object
und
** ** Object
C um
** ** Object
ist ein
fall
von
Muscle
%n{nicht} und
** ** Object
C ist ein
fall
von
MuscularContraction
%n{nicht} und
** ** Object
ist ein
instrument
fuer
** Motion
%n{nicht} und
** ** Object
wird an
** Object
angeschlossen und
** ** Object
C ist ein
subProzess
von
** 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 10661-10672
Wenn
Motion
ist ein
fall
von
Flexion
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
moves
** Motion
and
Object
,
dann es gibt nicht
** Motion
um
** ** Motion
ist ein
fall
von
Extension
%n{nicht} und die
zeit
des Bestehens von
** ** Motion
ist gleich die
zeit
des Bestehens von
** Motion
%n{nicht} und
** ** Motion
ist der
agent
von
** AutonomousAgent
%n{nicht} und
moves
** ** Motion
and
** 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 10634-10644
Wenn
Motion
ist ein
fall
von
Flexion
%n{nicht} und
moves
** Motion
and
Object
,
dann es gibt
** Object
und
** ** Object
C um
** ** Object
ist ein
fall
von
Muscle
%n{nicht} und
** ** Object
C ist ein
fall
von
MuscularContraction
%n{nicht} und
** ** Object
ist ein
instrument
fuer
** Motion
%n{nicht} und
** ** Object
wird an
** Object
angeschlossen und
** ** Object
C ist ein
subProzess
von
** Motion
(=>
(
and
(
instance
?MOTION
BodyMotion
)
(
moves
?MOTION ?OBJ))
(
and
(
instance
?OBJ
BodyPart
)
(
patient
?MOTION ?OBJ)))
Merge.kif 11144-11150
Wenn
Motion
ist ein
fall
von
BodyMotion
%n{nicht} und
moves
** Motion
and
Object
,
dann
** Object
ist ein
fall
von
BodyPart
%n{nicht} und
** Object
ist ein
patient
von
** Motion
%n{nicht}
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11086-11091
Wenn
Motion
ist ein
fall
von
Motion
%n{nicht} und
moves
** Motion
and
Object
und
** Motion
endet an
Entity
%n{nicht},
dann
** Object
befindet
sich an %n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Motion
%n{nicht}
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11070-11075
Wenn
Motion
ist ein
fall
von
Motion
%n{nicht} und
moves
** Motion
and
Object
und
** Motion
beginnet an
** Object
%n{nicht},
dann
** Object
befindet
sich an %n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Motion
%n{nicht}
(=>
(
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 8627-8637
Wenn
Object
ist ein
fall
von
Poison
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
moves
** Motion
and
** Object
und
AutonomousAgent
erfaehrt
** Motion
%n{nicht},
dann es gibt
Process
um
** Process
ist ein
fall
von
Damaging
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** Motion
verursacht
** Process
%n{nicht}
(=>
(
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 8651-8662
Wenn
Object
ist ein
fall
von
Poison
%n{nicht} und
Motion
ist ein
fall
von
Ingesting
%n{nicht} und
moves
** Motion
and
** Object
und
AutonomousAgent
erfaehrt
** Motion
%n{nicht},
dann die Aussage
Blind
ist ein
attribut
von
** AutonomousAgent
%n{nicht} haelt
waehrend
nach
die
zeit
des Bestehens von
** Motion
%n{nicht} hat die modale Kraft von
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 10604-10620
Wenn
Object
ist ein
fall
von
BodySegment
%n{nicht} und
** Object
ist ein
fall
von
BodySegment
%n{nicht} und
** Object
wird an
** ** Object
angeschlossen und
Motion
ist ein
fall
von
BodyMotion
%n{nicht} und
moves
** Motion
and
** Object
,
dann die Aussage es gibt nicht
** Motion
2 um
** Motion
2 ist ein
fall
von
BodyMotion
%n{nicht} und
moves
** Motion
2 and
** ** Object
und die
zeit
des Bestehens von
** Motion
2 geschieht
waehrend
die
zeit
des Bestehens von
** Motion
%n{nicht} hat die modale Kraft von
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 9991-10003
Wenn
Process
ist ein
fall
von
Edema
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
Motion
,
Object
, and und
** Object
um
** Motion
ist ein
fall
von
Transfer
%n{nicht} und
** ** Object
ist ein
fall
von
Liquid
%n{nicht} und
** Object
ist ein
fall
von
BodyPart
%n{nicht} und
** Object
ist ein
teil
von
** AutonomousAgent
%n{nicht} und
** Motion
endet an
** Object
%n{nicht} und
moves
** Motion
and
** ** Object
und
** Motion
ist ein
subProzess
von
** 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 10661-10672
Wenn
Motion
ist ein
fall
von
Flexion
%n{nicht} und
** Motion
ist der
agent
von
AutonomousAgent
%n{nicht} und
moves
** Motion
and
Object
,
dann es gibt nicht
** Motion
um
** ** Motion
ist ein
fall
von
Extension
%n{nicht} und die
zeit
des Bestehens von
** ** Motion
ist gleich die
zeit
des Bestehens von
** Motion
%n{nicht} und
** ** Motion
ist der
agent
von
** AutonomousAgent
%n{nicht} und
moves
** ** Motion
and
** 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 5841-5853
Wenn
Process
ist ein
fall
von
Infecting
%n{nicht} und
AutonomousAgent
erfaehrt
** Process
%n{nicht},
dann es gibt
Motion
,
** Process
, and und
** AutonomousAgent
um
** Motion
ist ein
fall
von
Translocation
%n{nicht} und
moves
** Motion
and
** ** AutonomousAgent
und
** ** AutonomousAgent
ist ein
fall
von
Organism
%n{nicht} und
** ** Process
ist ein
fall
von
Replication
%n{nicht} und
** ** AutonomousAgent
erfaehrt
** ** Process
%n{nicht} und
** Motion
ist ein
subProzess
von
** Process
und
** ** Process
ist ein
subProzess
von
** Process
(=>
(
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
Wenn
Motion
ist ein
fall
von
BloodCirculation
%n{nicht},
dann es gibt
Object
,
** Object
,, ,
** Object
, and und
** Object
um
** Object
ist ein
fall
von
Animal
%n{nicht} und
** ** Object
ist ein
fall
von
Blood
%n{nicht} und
moves
** Motion
and
** ** Object
und
** ** Object
ist ein
fall
von
Artery
%n{nicht} und
** ** Object
ist ein
fall
von
Vein
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist ein
teil
von
** Object
%n{nicht} und
** ** Object
ist der
pfad
entlang dem
** Motion
geschieht und
** ** Object
ist der
pfad
entlang dem
** Motion
geschieht
(=>
(
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
Wenn
Physical
ist ein
fall
von
Catheter
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** ** entity
BJ, and und
** entity
um
** ** entity
ist ein
fall
von
Organism
%n{nicht} und
** entity
ist ein
fall
von
Motion
%n{nicht} und
moves
** entity
and
** ** entity
BJ und
** ** entity
ist
Outside
hinsichlich
** ** entity
%n{nicht} und
** Physical
ist der
pfad
entlang dem
** entity
geschieht und
** entity
beginnet an
** ** entity
%n{nicht} und
** entity
endet an
** ** entity
%n{nicht} oder
** entity
beginnet an
** ** entity
%n{nicht} und
** entity
endet an
** ** entity
%n{nicht} %n{nicht}
(=>
(
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 10037-10050
Wenn
Physical
ist ein
fall
von
Diuretic
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
,, ,
** entity
, and und
** ** entity
OC um
** ** entity
ist ein
fall
von
Human
%n{nicht} und
** entity
ist ein
fall
von
Removing
%n{nicht} und
** ** entity
ist ein
fall
von
Liquid
%n{nicht} und
** ** entity
erfaehrt
** entity
%n{nicht} und
moves
** entity
and
** ** entity
und
** ** entity
beginnet an
** ** entity
%n{nicht} und
contains
** ** entity
and
** ** entity
OC und
** entity
endet an
** ** entity
OC %n{nicht} %n{nicht}
(=>
(
instance
?F
Furniture
)
(
capability
Translocation
moves
?F))
Mid-level-ontology.kif 3699-3701
Wenn
Object
ist ein
fall
von
Furniture
%n{nicht},
dann
** Object
ist faehig %n{nicht}, in der Rolle
moves
Translocation
zu tun
(=>
(
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 10769-10778
Wenn
Physical
ist ein
fall
von
Heart
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** Physical
B, and und
** entity
um
** Physical
B ist ein
fall
von
HeartBeat
%n{nicht} und
** entity
ist ein
fall
von
LiquidMotion
%n{nicht} und
** ** entity
ist ein
fall
von
Blood
%n{nicht} und
moves
** entity
and
** ** entity
und
** Physical
B verursacht
** entity
%n{nicht} %n{nicht}
(=>
(
instance
?MOTION
Motion
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
moves
?MOTION ?OBJ))))
Merge.kif 11052-11057
Wenn
Motion
ist ein
fall
von
Motion
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
Object
%n{nicht} und
moves
** Motion
and
** 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