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 10982-10985
(
documentation
moves
JapaneseLanguage
"(
moves
?MOTION ?OBJECT) は、
Motion
イベントである ?MOTION 最中に?OBJECTが移動することを意味する。これは必ずしも ?OBJECT の最中に ?OBJECT の位置が 変わることを意味するわけではない。
changesLocation
および
Translocation
も参照。")
japanese_format.kif 1751-1753
(
domain
moves
1
Motion
)
Merge.kif 10979-10979
移动
的 1 数量 是
运动
的
instance
(
domain
moves
2
Object
)
Merge.kif 10980-10980
移动
的 2 数量 是
客体
的
instance
(
instance
moves
CaseRole
)
Merge.kif 10977-10977
移动
是
格角色
的
instance
(
instance
moves
TotalValuedRelation
)
Merge.kif 10978-10978
移动
是
总值关系
的
instance
(
subrelation
moves
involvedInEvent
)
Merge.kif 10987-10987
移动
是
参与活动
的
subrelation
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 11000-11000
改变位置
是
移动
的
subrelation
(
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
?F ?BC)
(
instance
?AC ?A)
(
instance
?BC ?B)
(
part
?AC ?H)
(
part
?BC ?H)
(
instance
?H
Mammal
))
(
capability
Flexion
instrument
?BC))
Mid-level-ontology.kif 10685-10696
如果
antagonistMuscles
有点 肌肉
and
另一个 有点 肌肉
和
过程
是
Extension
的
instance
和
有点 肌肉
C 是导致
那个 过程
的
instrument
和
移动
运动
and
另一个 有点 肌肉
C 和
那个 有点 肌肉
C 是
那个 有点 肌肉
的
instance
和
那个 另外 有点 肌肉
C 是
那个 另外 有点 肌肉
的
instance
和
那个 有点 肌肉
C 是
第三 客体
的
part
和
那个 另外 有点 肌肉
C 是
那个 第三 客体
的
part
和
那个 第三 客体
是
哺乳动物
的
instance
,
然后
那个 另外 有点 肌肉
C 能够担当
工具
的角色做
Flexion
(=>
(
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
Mammal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10672-10683
如果
antagonistMuscles
有点 肌肉
and
另一个 有点 肌肉
和
运动
是
Flexion
的
instance
和
有点 肌肉
C 是导致
那个 运动
的
instrument
和
移动
那个 运动
and
另一个 有点 肌肉
C 和
那个 有点 肌肉
C 是
那个 有点 肌肉
的
instance
和
那个 另外 有点 肌肉
C 是
那个 另外 有点 肌肉
的
instance
和
那个 有点 肌肉
C 是
第三 客体
的
part
和
那个 另外 有点 肌肉
C 是
那个 第三 客体
的
part
和
那个 第三 客体
是
哺乳动物
的
instance
,
然后
那个 另外 有点 肌肉
C 能够担当
工具
的角色做
Extension
(=>
(
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 9839-9861
如果
客体
是
Antacid
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
另一个 客体
是
胃
的
instance
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 客体
contains
第三 客体
和
那个 第三 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
before
holdsDuring
和
那个 另外 客体
contains
第四 客体
和
那个 第四 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
after
holdsDuring
和
phMeasure
那个 第三 客体
and
实数
和
phMeasure
那个 第四 客体
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
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 9900-9922
如果
客体
是
ProtonPumpInhibitor
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
另一个 客体
是
胃
的
instance
和
那个 另外 客体
是
那个 施事体
的
part
和
那个 另外 客体
contains
第三 客体
和
那个 第三 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
before
holdsDuring
和
那个 另外 客体
contains
第四 客体
和
那个 第四 客体
是
流体
的
instance
在 紧接
那个 运动
出现 的
time
after
holdsDuring
和
phMeasure
那个 第三 客体
and
实数
和
phMeasure
那个 第四 客体
and
另一个 实数
,
然后
那个 另外 实数
是
greaterThan
那个 实数
(=>
(
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 10577-10593
如果
客体
是
BodySegment
的
instance
和
另一个 客体
是
BodySegment
的
instance
和
那个 客体
和
那个 另外 客体
是
connected
和
运动
是
身体运动
的
instance
和
移动
那个 运动
and
那个 客体
,
然后 不存在
那个 运动
2 这样
那个 运动
2 是
身体运动
的
instance
和
移动
那个 运动
2 and
那个 另外 客体
和
那个 运动
2 出现 的
time
在
那个 运动
出现 的
time
时段内发生 的声明 has
可能性
的语气
(=>
(
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
如果
运动
是
MuscularContraction
的
instance
和
移动
那个 运动
and
客体
和
那个 客体
是
VoluntaryMuscle
的
instance
或
那个 客体
是
HeartMuscle
的
instance
,
然后 有存在
另一个 客体
这样
那个 另外 客体
是
Troponin
的
instance
和
那个 另外 客体
是
那个 运动
的
resource
(=>
(
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 10055-10078
如果
客体
是
Antidiuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
那个 时距
不
equal
那个 另外 时距
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 实数
是
greaterThan
那个 另外 实数
的声明 has
容易
的语气
(=>
(
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 10025-10046
如果
客体
是
Diuretic
的
instance
和
运动
是
消化
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
那个 客体
和
时距
是
Urination
的
instance
和
实体
是
那个 时距
的
result
和
那个 施事体
是
那个 时距
的
agent
和
另一个 时距
是
Urination
的
instance
和
另一个 实体
是
那个 另外 时距
的
result
和
那个 施事体
是
那个 另外 时距
的
agent
和
那个 时距
比
那个 运动
发生的
earlier
和
那个 运动
比
那个 另外 时距
发生的
earlier
和
测量单位
是
UnitOfVolume
的
instance
和
那个 时距
的
measure
是
实数
那个 测量单位
和
那个 另外 时距
的
measure
是
另一个 实数
那个 测量单位
,
然后
那个 另外 实数
是
greaterThan
那个 实数
的声明 has
容易
的语气
(=>
(
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 10647-10657
如果
运动
是
Extension
的
instance
和
移动
那个 运动
and
客体
,
然后 有存在
另一个 客体
和
那个 另外 客体
C 这样
那个 另外 客体
是
肌肉
的
instance
和
那个 另外 客体
C 是
MuscularContraction
的
instance
和
那个 另外 客体
是导致
那个 运动
的
instrument
和
那个 另外 客体
和
那个 客体
是
connected
和
那个 另外 客体
C%n是
那个 运动
的
subProcess
(=>
(
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 10634-10645
如果
运动
是
Flexion
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
客体
,
然后 不存在
另一个 运动
这样
那个 另外 运动
是
Extension
的
instance
和
那个 另外 运动
出现 的
time
equal
那个 运动
出现 的
time
和
那个 施事体
是
那个 另外 运动
的
agent
和
移动
那个 另外 运动
and
那个 客体
(=>
(
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 10607-10617
如果
运动
是
Flexion
的
instance
和
移动
那个 运动
and
客体
,
然后 有存在
另一个 客体
和
那个 另外 客体
C 这样
那个 另外 客体
是
肌肉
的
instance
和
那个 另外 客体
C 是
MuscularContraction
的
instance
和
那个 另外 客体
是导致
那个 运动
的
instrument
和
那个 另外 客体
和
那个 客体
是
connected
和
那个 另外 客体
C%n是
那个 运动
的
subProcess
(=>
(
and
(
instance
?MOTION
BodyMotion
)
(
moves
?MOTION ?OBJ))
(
and
(
instance
?OBJ
BodyPart
)
(
patient
?MOTION ?OBJ)))
Merge.kif 11110-11116
如果
运动
是
身体运动
的
instance
和
移动
那个 运动
and
客体
,
然后
那个 客体
是
身体部位
的
instance
和
那个 客体
是
那个 运动
的
patient
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
如果
运动
是
运动
的
instance
和
移动
那个 运动
and
客体
和
那个 运动
在
实体
结束,
然后
那个 客体
是
located
在
那个 实体
在
那个 运动
出现 的
time
的结束
holdsDuring
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11036-11041
如果
运动
是
运动
的
instance
和
移动
那个 运动
and
客体
和
另一个 客体
是
那个 运动
的源头,
然后
那个 客体
是
located
在
那个 另外 客体
在
那个 运动
出现 的
time
的开始
holdsDuring
(=>
(
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 8600-8610
如果
客体
是
Poison
的
instance
和
运动
是
消化
的
instance
和
移动
那个 运动
and
那个 客体
和
施事体
经历了
那个 运动
,
然后 有存在
过程
这样
那个 过程
是
损坏
的
instance
和
那个 施事体
经历了
那个 过程
和
那个 运动
causes
那个 过程
(=>
(
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 8624-8635
如果
客体
是
Poison
的
instance
和
运动
是
消化
的
instance
和
移动
那个 运动
and
那个 客体
和
施事体
经历了
那个 运动
,
然后
盲
是
那个 施事体
的
attribute
在
那个 运动
出现 的
time
之后
holdsDuring
的声明 has
可能性
的语气
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 10577-10593
如果
客体
是
BodySegment
的
instance
和
另一个 客体
是
BodySegment
的
instance
和
那个 客体
和
那个 另外 客体
是
connected
和
运动
是
身体运动
的
instance
和
移动
那个 运动
and
那个 客体
,
然后 不存在
那个 运动
2 这样
那个 运动
2 是
身体运动
的
instance
和
移动
那个 运动
2 and
那个 另外 客体
和
那个 运动
2 出现 的
time
在
那个 运动
出现 的
time
时段内发生 的声明 has
可能性
的语气
(=>
(
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 9964-9976
如果
过程
是
Edema
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
运动
,
客体
, and 和
另一个 客体
这样
那个 运动
是
转移
的
instance
和
那个 另外 客体
是
液体
的
instance
和
那个 客体
是
身体部位
的
instance
和
那个 客体
是
那个 施事体
的
part
和
那个 运动
在
那个 客体
结束 和
移动
那个 运动
and
那个 另外 客体
和
那个 运动
%n是
那个 过程
的
subProcess
(=>
(
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 10634-10645
如果
运动
是
Flexion
的
instance
和
施事体
是
那个 运动
的
agent
和
移动
那个 运动
and
客体
,
然后 不存在
另一个 运动
这样
那个 另外 运动
是
Extension
的
instance
和
那个 另外 运动
出现 的
time
equal
那个 运动
出现 的
time
和
那个 施事体
是
那个 另外 运动
的
agent
和
移动
那个 另外 运动
and
那个 客体
(=>
(
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 5847-5859
如果
过程
是
Infecting
的
instance
和
施事体
经历了
那个 过程
,
然后 有存在
运动
,
另一个 过程
, and 和
另一个 施事体
这样
那个 运动
是
易位
的
instance
和
移动
那个 运动
and
那个 另外 施事体
和
那个 另外 施事体
是
生物
的
instance
和
那个 另外 过程
是
复制
的
instance
和
那个 另外 施事体
经历了
那个 另外 过程
和
那个 运动
%n是
那个 过程
的
subProcess
和
那个 另外 过程
%n是
那个 过程
的
subProcess
(=>
(
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
如果
运动
是
BloodCirculation
的
instance
,
然后 有存在
客体
,
另一个 客体
,, ,
第三 客体
, and 和
第四 客体
这样
那个 客体
是
动物
的
instance
和
那个 第四 客体
是
血液
的
instance
和
移动
那个 运动
and
那个 第四 客体
和
那个 第三 客体
是
动脉
的
instance
和
那个 另外 客体
是
静脉
的
instance
和
那个 第三 客体
是
那个 客体
的
part
和
那个 另外 客体
是
那个 客体
的
part
和
那个 第三 客体
%n是
那个 运动
发生的
path
和
那个 另外 客体
%n是
那个 运动
发生的
path
(=>
(
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
如果
物理
是
Catheter
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
那个 另外 实体
BJ, and 和
第四 实体
这样
那个 另外 实体
是
生物
的
instance
和
那个 实体
是
运动
的
instance
和
移动
那个 实体
and
那个 另外 实体
BJ 和
那个 第四 实体
在
那个 另外 实体
的
外
和
那个 物理
%n是
那个 实体
发生的
path
和
那个 第四 实体
是
那个 实体
的源头 和
那个 实体
在
那个 另外 实体
结束 或
那个 另外 实体
是
那个 实体
的源头 和
那个 实体
在
那个 第四 实体
结束
(=>
(
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 10010-10023
如果
物理
是
Diuretic
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
另一个 实体
,, ,
第三 实体
, and 和
那个 另外 实体
OC 这样
那个 第三 实体
是
人类
的
instance
和
那个 实体
是
移除
的
instance
和
那个 另外 实体
是
液体
的
instance
和
那个 第三 实体
经历了
那个 实体
和
移动
那个 实体
and
那个 另外 实体
和
那个 第三 实体
是
那个 另外 实体
的源头 和
那个 第三 实体
doesn't
contains
那个 另外 实体
OC 和
那个 实体
在
那个 另外 实体
OC 结束
(=>
(
instance
?F
Furniture
)
(
capability
Translocation
moves
?F))
Mid-level-ontology.kif 3706-3708
如果
客体
是
家具
的
instance
,
然后
那个 客体
能够担当
移动
的角色做
易位
(=>
(
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 10742-10751
如果
物理
是
心
的
instance
,
然后
那个 物理
的 目的 是 有存在
实体
,
那个 物理
B, and 和
第三 实体
这样
那个 物理
B 是
HeartBeat
的
instance
和
那个 实体
是
液体运动
的
instance
和
那个 第三 实体
是
血液
的
instance
和
移动
那个 实体
and
那个 第三 实体
和
那个 物理
B
causes
那个 实体
(=>
(
instance
?MOTION
Motion
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
moves
?MOTION ?OBJ))))
Merge.kif 11018-11023
如果
运动
是
运动
的
instance
,
然后 有存在
客体
这样
那个 客体
是
客体
的
instance
和
移动
那个 运动
and
那个 客体
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