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
moves
の数値 1 引数は
motion
の
instance
では %n
(
domain
moves
2
Object
)
Merge.kif 11002-11002
moves
の数値 2 引数は
オブジェクト
の
instance
では %n
(
instance
moves
CaseRole
)
Merge.kif 10999-10999
moves
は
格役割
の
instance
では %n
(
instance
moves
TotalValuedRelation
)
Merge.kif 11000-11000
moves
は
合計値関係
の
instance
では %n
(
subrelation
moves
involvedInEvent
)
Merge.kif 11009-11009
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 11022-11022
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
?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
antagonistMuscles
筋肉
and
筋肉
motion
は
Extension
の
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 は
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
Animal
))
(
capability
Extension
instrument
?BC))
Mid-level-ontology.kif 10671-10682
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 9838-9860
オブジェクト
は
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 9899-9921
オブジェクト
は
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 10576-10592
オブジェクト
は
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 10054-10077
オブジェクト
は
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 10024-10045
オブジェクト
は
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 10646-10656
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 10633-10644
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 10606-10616
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 11132-11138
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 11074-11079
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 11058-11063
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 8599-8609
オブジェクト
は
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 8623-8634
オブジェクト
は
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 10576-10592
オブジェクト
は
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 9963-9975
工程
は
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 10633-10644
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 5846-5858
工程
は
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 10009-10022
物理
は
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 10741-10750
物理
は
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 11040-11045
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