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
moves
の数値 1 引数は
motion
の
instance
では %n
(
domain
moves
2
Object
)
Merge.kif 10980-10980
moves
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
moves
CaseRole
)
Merge.kif 10977-10977
moves
は
格役割
の
instance
では %n
(
instance
moves
TotalValuedRelation
)
Merge.kif 10978-10978
moves
は
合計値関係
の
instance
では %n
(
subrelation
moves
involvedInEvent
)
Merge.kif 10987-10987
moves
は
involvedInEvent
の
subrelation
では %n
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
changesLocation
は
moves
の
subrelation
では %n
(
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
では %n
筋肉
C は
工程
の
instrument
では %n
moves
motion
and
筋肉
C
筋肉
C は
筋肉
の
instance
では %n
筋肉
C は
筋肉
の
instance
では %n
筋肉
C は
オブジェクト
の
part
では %n
筋肉
C は
オブジェクト
の
part
では %n
オブジェクト
は
哺乳動物
の
instance
では %n
筋肉
C は
Flexion
を
instrument
として行う
capable
では %n
(=>
(
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
筋肉
motion
は
Flexion
の
instance
では %n
筋肉
C は
motion
の
instrument
では %n
moves
motion
and
筋肉
C
筋肉
C は
筋肉
の
instance
では %n
筋肉
C は
筋肉
の
instance
では %n
筋肉
C は
オブジェクト
の
part
では %n
筋肉
C は
オブジェクト
の
part
では %n
オブジェクト
は
哺乳動物
の
instance
では %n
筋肉
C は
Extension
を
instrument
として行う
capable
では %n
(=>
(
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
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の すぐ
after
の
during
holds %n{ない}
phMeasure
オブジェクト
and
実数
phMeasure
オブジェクト
and
実数
実数
は
実数
より
greater
では %n
(=>
(
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
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の immediately
before
の
during
holds %n{ない}
オブジェクト
は
オブジェクト
を
contain
s %n{ない}
オブジェクト
は
Fluid
の
instance
では %n は
motion
の
time
の existence の すぐ
after
の
during
holds %n{ない}
phMeasure
オブジェクト
and
実数
phMeasure
オブジェクト
and
実数
実数
は
実数
より
greater
では %n
(=>
(
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
では %n
オブジェクト
は
BodySegment
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
motion
は
動作
の
instance
では %n
moves
motion
and
オブジェクト
ステートメント
motion
2
motion
2 は
動作
の
instance
では %n
moves
motion
2 and
オブジェクト
motion
2 の
time
の existence は
motion
の
time
の existence の
during
に takes %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
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
Motion
は
MuscularContraction
の
instance
では %n
moves
motion
and
オブジェクト
オブジェクト
は
VoluntaryMuscle
の
instance
では %n
オブジェクト
は
HeartMuscle
の
instance
では %n
オブジェクト
オブジェクト
は
Troponin
の
instance
では %n
オブジェクト
は
motion
の
resource
では %n
(=>
(
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
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
Urination
の
instance
では %n
時間間隔
は
時間間隔
と
equal
では
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
motion
より
earlier
happens %n{ない}
motion
は
時間間隔
より
earlier
happens %n{ない}
測定単位
は
UnitOfVolume
の
instance
では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
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
では %n
motion
は
摂取
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
Urination
の
instance
では %n
エンティティー
は
時間間隔
の
result
では %n
AutonomousAgent
は
時間間隔
の
agent
では %n
時間間隔
は
motion
より
earlier
happens %n{ない}
motion
は
時間間隔
より
earlier
happens %n{ない}
測定単位
は
UnitOfVolume
の
instance
では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
時間間隔
の
measure
は
実数
の
測定単位
(s) では %n
ステートメント
実数
は
実数
より
greater
では %n には
Likely
の
modal
force
が ある
(=>
(
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
Motion
は
Extension
の
instance
では %n
moves
motion
and
オブジェクト
オブジェクト
オブジェクト
C
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
C は
MuscularContraction
の
instance
では %n
オブジェクト
は
motion
の
instrument
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
C は
motion
% の
subprocess
では %n
(=>
(
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
Motion
は
Flexion
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
motion
motion
は
Extension
の
instance
では %n
motion
の
time
の existence は
motion
の
time
の existence と
equal
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
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
Motion
は
Flexion
の
instance
では %n
moves
motion
and
オブジェクト
オブジェクト
オブジェクト
C
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
C は
MuscularContraction
の
instance
では %n
オブジェクト
は
motion
の
instrument
では %n
オブジェクト
は
オブジェクト
と
connected
して
オブジェクト
C は
motion
% の
subprocess
では %n
(=>
(
and
(
instance
?MOTION
BodyMotion
)
(
moves
?MOTION ?OBJ))
(
and
(
instance
?OBJ
BodyPart
)
(
patient
?MOTION ?OBJ)))
Merge.kif 11110-11116
Motion
は
動作
の
instance
では %n
moves
motion
and
オブジェクト
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
motion
の
patient
では %n
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
Motion
は
motion
の
instance
では %n
moves
motion
and
オブジェクト
motion
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
motion
の
time
の existence の
end
の
during
holds %n{ない}
(=>
(
and
(
instance
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
origin
?MOTION ?PLACE))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11036-11041
Motion
は
motion
の
instance
では %n
moves
motion
and
オブジェクト
motion
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
オブジェクト
に
located
して %n は
motion
の
time
の existence の
beginning
の
during
holds %n{ない}
(=>
(
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
では %n
motion
は
摂取
の
instance
では %n
moves
motion
and
オブジェクト
AutonomousAgent
が
motion
を
experience
s %n{ない}
工程
工程
は
損害を与える
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
motion
は
工程
を
cause
s %n{ない}
(=>
(
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
では %n
motion
は
摂取
の
instance
では %n
moves
motion
and
オブジェクト
AutonomousAgent
が
motion
を
experience
s %n{ない}
ステートメント
Blind
は
AutonomousAgent
の
attribute
では %n は
motion
の
time
の existence の
after
の
during
holds %n{ない} には
Possibility
の
modal
force
が ある
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
では %n
オブジェクト
は
BodySegment
の
instance
では %n
オブジェクト
は
オブジェクト
と
connected
して
motion
は
動作
の
instance
では %n
moves
motion
and
オブジェクト
ステートメント
motion
2
motion
2 は
動作
の
instance
では %n
moves
motion
2 and
オブジェクト
motion
2 の
time
の existence は
motion
の
time
の existence の
during
に takes %n{ない} には
Possibility
の
modal
force
が ある
(=>
(
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
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
motion
オブジェクト
and
オブジェクト
motion
は
移動
の
instance
では %n
オブジェクト
は
Liquid
の
instance
では %n
オブジェクト
は
体の部分
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
motion
は
オブジェクト
に
end
s %n{ない}
moves
motion
and
オブジェクト
motion
は
工程
% の
subprocess
では %n
(=>
(
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
Motion
は
Flexion
の
instance
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
and
オブジェクト
motion
motion
は
Extension
の
instance
では %n
motion
の
time
の existence は
motion
の
time
の existence と
equal
では %n
AutonomousAgent
は
motion
の
agent
では %n
moves
motion
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
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
motion
工程
and
AutonomousAgent
motion
は
Translocation
の
instance
では %n
moves
motion
and
AutonomousAgent
AutonomousAgent
は
物
の
instance
では %n
工程
は
複製
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
motion
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
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
Motion
は
BloodCirculation
の
instance
では %n
オブジェクト
オブジェクト
,
オブジェクト
and
オブジェクト
オブジェクト
は
動物
の
instance
では %n
オブジェクト
は
血
の
instance
では %n
moves
motion
and
オブジェクト
オブジェクト
は
Artery
の
instance
では %n
オブジェクト
は
Vein
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
motion
が 発生する
path
では %n
オブジェクト
は
motion
が 発生する
path
では %n
(=>
(
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
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
BJ and
エンティティー
エンティティー
は
物
の
instance
では %n
エンティティー
は
motion
の
instance
では %n
moves
エンティティー
and
エンティティー
BJ
エンティティー
は
Outside
対
エンティティー
では %n
物理
は
エンティティー
が 発生する
path
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない}
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
に
end
s %n{ない} の 目的 %n{ない}
(=>
(
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
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
OC
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
除却
の
instance
では %n
エンティティー
は
Liquid
の
instance
では %n
エンティティー
が
エンティティー
を
experience
s %n{ない}
moves
エンティティー
and
エンティティー
エンティティー
は
エンティティー
から
originate
s %n{ない}
エンティティー
は
エンティティー
OC を
contain
ない
エンティティー
は
エンティティー
OC に
end
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?F
Furniture
)
(
capability
Translocation
moves
?F))
Mid-level-ontology.kif 3706-3708
オブジェクト
は
Furniture
の
instance
では %n
オブジェクト
は
Translocation
を
moves
として行う
capable
では %n
(=>
(
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
物理
は
Heart
の
instance
では %n
物理
は
エンティティー
物理
B and
エンティティー
物理
B は
HeartBeat
の
instance
では %n
エンティティー
は
LiquidMotion
の
instance
では %n
エンティティー
は
血
の
instance
では %n
moves
エンティティー
and
エンティティー
物理
B は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?MOTION
Motion
)
(
exists
(?OBJ)
(
and
(
instance
?OBJ
Object
)
(
moves
?MOTION ?OBJ))))
Merge.kif 11018-11023
Motion
は
motion
の
instance
では %n
オブジェクト
オブジェクト
は
オブジェクト
の
instance
では %n
moves
motion
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