instrument
(=>
(
and
(
instance
?R
RecreationOrExercise
)
(
instrument
?R ?RM)
(
instance
?RM
RowingMachine
)
(
experiencer
?R ?H)
(
instance
?ROW
Rowing
)
(
subProcess
?RMOT ?R)
(
subclass
?C
BodyMotion
)
(
instance
?RMOT ?C))
(
exists
(?ROWMOT)
(
and
(
instance
?ROWMOT ?C)
(
subProcess
?ROWMOT ?R)
(
agent
?ROWMOT ?H))))
Mid-level-ontology.kif 8243-8257
工程
は
レクリエーションまたは運動
の
instance
では %n
工程
M は
工程
の
instrument
では %n
工程
M は
RowingMachine
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
OW は
Rowing
の
instance
では %n
工程
MOT は
工程
% の
subprocess
では %n
クラス
は
動作
の
subclass
では %n
工程
MOT は
クラス
の
instance
では %n
工程
OWMOT
工程
OWMOT は
クラス
の
instance
では %n
工程
OWMOT は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
OWMOT の
agent
では %n
(=>
(
and
(
instance
?S
Sweeping
)
(
instrument
?S ?B))
(
instance
?B
Broom
))
Mid-level-ontology.kif 5568-5572
工程
は
Sweeping
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
Broom
の
instance
では %n
(=>
(
and
(
instance
?SAW
Saw
)
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?SAW)
(
instance
?OBJ
Object
)
(
patient
?CUT ?OBJ))
(
exists
(?MOTION ?DIR1 ?DIR2 ?TIME ?T1 ?T2 ?PART)
(
and
(
instance
?MOTION
Motion
)
(
subProcess
?MOTION ?CUT)
(
instance
?PART
CuttingDevice
)
(
part
?PART ?SAW)
(
meetsSpatially
?PART ?OBJ)
(
patient
?MOTION ?PART)
(
instance
?T2
TimeInterval
)
(
instance
?T2
TimeInterval
)
(
equal
(
WhenFn
?MOTION) ?TIME)
(
temporalPart
?TIME ?T1)
(
temporalPart
?TIME ?T2)
(
instance
?DIR1
DirectionalAttribute
)
(
instance
?DIR2
DirectionalAttribute
)
(=>
(
holdsDuring
?T1
(
direction
?MOTION ?DIR1))
(
holdsDuring
?T2
(
and
(
direction
?MOTION ?DIR2)
(
or
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2))
(
not
(
and
(
equal
?DIR1 ?DIR2)
(
oppositeDirection
?DIR1 ?DIR2)))))))))
Mid-level-ontology.kif 18150-18184
オブジェクト
は
Saw
の
instance
では %n
工程
は
切断
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
オブジェクト
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
エンティティー
,
エンティティー
,
時間間隔
,
時間位置
,
時間位置
and
オブジェクト
工程
は
motion
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
オブジェクト
は
CuttingDevice
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
工程
の
patient
では %n
時間位置
は
時間間隔
の
instance
では %n
時間位置
は
時間間隔
の
instance
では %n
工程
の
time
の existence は
時間間隔
と
equal
では %n
時間間隔
は
時間位置
の
part
では %n
時間間隔
は
時間位置
の
part
では %n
エンティティー
は
方向属性
の
instance
では %n
エンティティー
は
方向属性
の
instance
では %n
プロセス
工程
のエンテテイは
エンティティー
を
moving
して %n は
時間位置
の
during
holds %n{ない}
プロセス
工程
のエンテテイは
エンティティー
を
moving
して %n
エンティティー
は
エンティティー
と
equal
では %n
oppositeDirection
エンティティー
and
エンティティー
~{
エンティティー
は
エンティティー
と
equal
では %n } ~{
oppositeDirection
エンティティー
and
エンティティー
} は
時間位置
の
during
holds %n{ない}
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
ArtilleryCannon
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
(
UnionFn
Missile
Grenade
)))))
MilitaryDevices.kif 179-188
工程
は
射撃
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
ArtilleryCannon
の
instance
では %n
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
Missile
と
Grenade
の
union
の
instance
では %n
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?AC)
(
instance
?AC
GrenadeLauncher
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 597-605
工程
は
射撃
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
GrenadeLauncher
の
instance
では %n
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
Grenade
の
instance
では %n
(=>
(
and
(
instance
?SHOOTING
Shooting
)
(
instrument
?SHOOTING ?MG)
(
instance
?MG
MortarGun
))
(
exists
(?PROJ)
(
and
(
instrument
?SHOOTING ?PROJ)
(
instance
?PROJ
Grenade
))))
MilitaryDevices.kif 198-206
工程
は
射撃
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
MortarGun
の
instance
では %n
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
Grenade
の
instance
では %n
(=>
(
and
(
instance
?SHOT
Shooting
)
(
instrument
?SHOT ?GUN)
(
patient
?SHOT ?PROJ)
(
width
?PROJ ?LM1)
(
instance
?GUN ?GUNCLASS)
(
instance
?PROJ
Projectile
)
(
caliber
?GUNCLASS ?LM))
(
equal
?LM ?LM1))
MilitaryDevices.kif 219-228
工程
は
射撃
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
物理
は
工程
の
patient
では %n
物理
の
width
は
長さ測定
では %n
オブジェクト
は
オブジェクト
CLASS の
instance
では %n
物理
は
Projectile
の
instance
では %n
caliber
オブジェクト
CLASS and
長さ測定
長さ測定
は
長さ測定
と
equal
では %n
(=>
(
and
(
instance
?SI
(
ImpairmentFn
?S))
(
instrument
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
instrument
?A2)
(
not
(
capability
?S
instrument
?A)))))
Merge.kif 13474-13484
工程
は
ImpairmentFn
工程
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
2
オブジェクト
2 は
オブジェクト
と
equal
では
オブジェクト
2 は
工程
を
instrument
として行う
capable
では %n
オブジェクト
は
工程
を
instrument
として行う
capable
では
(=>
(
and
(
instance
?T
Transportation
)
(
instance
?W
Wheel
)
(
instance
?A
Automobile
)
(
part
?W ?A)
(
instrument
?T ?A)
(
instance
?AB
AntilockBrake
)
(
instance
?D
Decelerating
)
(
instrument
?D ?AB)
(
part
?AB ?W))
(
hasPurpose
?AB
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
during
?R ?D)))))
Cars.kif 1292-1307
工程
は
交通手段
の
instance
では %n
オブジェクト
は
Wheel
の
instance
では %n
オブジェクト
は
Automobile
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
B は
AntilockBrake
の
instance
では %n
工程
は
Decelerating
の
instance
では %n
オブジェクト
B は
工程
の
instrument
では %n
オブジェクト
B は
オブジェクト
の
part
では %n
オブジェクト
B は
エンティティー
エンティティー
は
Rotating
の
instance
では %n
エンティティー
は
工程
の
during
に takes %n{ない} の 目的 %n{ない}
(=>
(
and
(
instance
?T
Transportation
)
(
instrument
?T ?D)
(
instance
?D
Pump
))
(
exists
(?F)
(
and
(
instrument
?T ?F)
(
attribute
?F
Fluid
))))
Mid-level-ontology.kif 15451-15459
工程
は
交通手段
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
Pump
の
instance
では %n
オブジェクト
オブジェクト
は
工程
の
instrument
では %n
Fluid
は
オブジェクト
の
attribute
では %n
(=>
(
and
(
instance
?T
Transportation
)
(
patient
?T ?S)
(
instrument
?T ?SS)
(
instance
?SS
SewageSystem
))
(
instance
?S
Sewage
))
Transportation.kif 789-795
工程
は
交通手段
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
S は
工程
の
instrument
では %n
エンティティー
S は
SewageSystem
の
instance
では %n
エンティティー
は
Sewage
の
instance
では %n
(=>
(
and
(
instance
?TRANSPORT
Transportation
)
(
instrument
?TRANSPORT ?VEHICLE)
(
instance
?VEHICLE
RoadVehicle
))
(
instance
?TRANSPORT
TransportViaRoadVehicle
))
Mid-level-ontology.kif 23536-23541
工程
は
交通手段
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
RoadVehicle
の
instance
では %n
工程
は
TransportViaRoadVehicle
の
instance
では %n
(=>
(
and
(
instance
?TRANSPORT
Transportation
)
(
subProcess
?TRANSPORT ?DRIVE)
(
instance
?DRIVE
Driving
)
(
instrument
?TRANSPORT ?VEHICLE)
(
instance
?VEHICLE
TransportationDevice
))
(
patient
?DRIVE ?VEHICLE))
Mid-level-ontology.kif 23556-23563
工程
は
交通手段
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
運転
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
輸送機
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
(=>
(
and
(
instance
?TRANSPORT
Vehicle
)
(
instance
?MOVE
Translocation
)
(
instrument
?MOVE ?TRANSPORT)
(
destination
?MOVE ?TO))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
located
?TRANSPORT ?TO)))
Merge.kif 15992-15998
オブジェクト
は
Vehicle
の
instance
では %n
工程
は
Translocation
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
(=>
(
and
(
instance
?TRANSPORT
Vehicle
)
(
instance
?MOVE
Translocation
)
(
instrument
?MOVE ?TRANSPORT)
(
origin
?MOVE ?FROM))
(
holdsDuring
(
BeginFn
(
WhenFn
?MOVE))
(
located
?TRANSPORT ?FROM)))
Merge.kif 15984-15990
オブジェクト
は
Vehicle
の
instance
では %n
工程
は
Translocation
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
オブジェクト
に
located
して %n は
工程
の
time
の existence の
beginning
の
during
holds %n{ない}
(=>
(
and
(
instance
?V
PulmonaryVein
)
(
instance
?T
Transfer
)
(
patient
?T ?B)
(
instrument
?T ?V)
(
instance
?B
Blood
))
(
exists
(?L ?H ?P)
(
and
(
instance
?L
Lung
)
(
origin
?T ?L)
(
part
?V ?P)
(
part
?L ?P)
(
part
?H ?P)
(
instance
?H
Heart
)
(
destination
?T ?H))))
Mid-level-ontology.kif 11157-11172
オブジェクト
は
PulmonaryVein
の
instance
では %n
工程
は
移動
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
エンティティー
は
血
の
instance
では %n
オブジェクト
オブジェクト
and
オブジェクト
オブジェクト
は
Lung
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
Heart
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
(=>
(
and
(
instance
?V
Vein
)
(
instance
?T
Transfer
)
(
patient
?T ?B)
(
instrument
?T ?V)
(
instance
?B
Blood
))
(
exists
(?H)
(
and
(
instance
?H
Heart
)
(
destination
?T ?H))))
Mid-level-ontology.kif 11125-11135
オブジェクト
は
Vein
の
instance
では %n
工程
は
移動
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
工程
の
instrument
では %n
エンティティー
は
血
の
instance
では %n
エンティティー
エンティティー
は
Heart
の
instance
では %n
工程
は
エンティティー
に
end
s %n{ない}
(=>
(
and
(
instance
?VISITS
Collection
)
(
instance
?PURCHASES
Collection
)
(
subCollection
?PURCHASES ?VISITS)
(
forall
(?MEMBER)
(=>
(
member
?MEMBER ?VISITS)
(
instance
?MEMBER
AccessingWebPage
)))
(
forall
(?BUYING ?VISITOR ?ACCESSING ?BUYING ?PAGE)
(=>
(
and
(
instance
?VISITOR
Human
)
(
instance
?BUYING
Buying
)
(
instance
?ACCESSING
AccessingWebPage
)
(
instance
?PAGE
WebPage
)
(
member
?ACCESSING ?VISITS)
(
destination
?ACCESSING ?PAGE)
(
agent
?BUYING ?VISITOR)
(
agent
?ACCESSING ?VISITOR)
(
during
(
WhenFn
?BUYING)
(
WhenFn
?ACCESSING))
(
instrument
?BUYING ?PAGE))
(
member
?BUYING ?PURCHASES))))
(
exists
(?INTERVAL ?PURCHASE_IN_INTERVAL ?VISIT_IN_INTERVAL)
(
equal
(
SCRFn
?VISITS ?INTERVAL)
(
DivisionFn
(
CardinalityFn
(
KappaFn
?PURCHASE_IN_INTERVAL
(
and
(
member
?PURCHASE_IN_INTERVAL ?PURCHASES)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))
(
CardinalityFn
(
KappaFn
?VISIT_IN_INTERVAL
(
and
(
member
?VISIT_IN_INTERVAL ?VISITS)
(
during
(
WhenFn
?PURCHASE_IN_INTERVAL) ?INTERVAL))))))))
UXExperimentalTerms.kif 3668-3704
コレクション
は
コレクション
の
instance
では %n
コレクション
は
コレクション
の
instance
では %n
コレクション
は
コレクション
の 適切な
sub
-collection では %n
物理
物理
は
コレクション
の
member
では %n
物理
は
AccessingWebPage
の
instance
では %n
工程
AutonomousAgent
,
工程
,
工程
and
オブジェクト
AutonomousAgent
は
人[人間]
の
instance
では %n
工程
は
購買
の
instance
では %n
工程
は
AccessingWebPage
の
instance
では %n
オブジェクト
は
WebPage
の
instance
では %n
工程
は
コレクション
の
member
では %n
工程
は
オブジェクト
に
end
s %n{ない}
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
の
time
の existence は
工程
の
time
の existence の
during
に takes %n{ない}
オブジェクト
は
工程
の
instrument
では %n
工程
は
コレクション
の
member
では %n
時間間隔
エンティティー
_IN_INTERVAL and
エンティティー
_IN_INTERVAL
SCRFn
コレクション
and
時間間隔
は
エンティティー
_IN_INTERVALで記述される
class
の
instances
の数 +
エンティティー
_IN_INTERVALで記述される
class
の
instances
の数 と
equal
では %n
(=>
(
and
(
instance
?W
Wagon
)
(
instance
?T
Transportation
)
(
instrument
?T ?W))
(
exists
(?P)
(
and
(
instance
?T
Pulling
)
(
agent
?T ?P)
(
patient
?T ?W)
(
or
(
instance
?P
DomesticAnimal
)
(
instance
?P
Vehicle
)))))
Transportation.kif 1852-1864
オブジェクト
は
Wagon
の
instance
では %n
工程
は
交通手段
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
AutonomousAgent
工程
は
Pulling
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
AutonomousAgent
は
DomesticAnimal
の
instance
では %n
AutonomousAgent
は
Vehicle
の
instance
では %n
(=>
(
and
(
instance
?WEAPON
HighPrecisionWeapon
)
(
instrument
?DESTR ?WEAPON)
(
patient
?DESTR ?PATIENT))
(
hasPurpose
?WEAPON
(
not
(
exists
(?DAMAGING ?DAMAGED)
(
and
(
instance
?DAMAGING
Damaging
)
(
subProcess
?DAMAGING ?DESTR)
(
patient
?DAMAGING ?DAMAGED)
(
not
(
equal
?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 641-654
オブジェクト
は
HighPrecisionWeapon
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
エンティティー
は
工程
の
patient
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
損害を与える
の
instance
では %n
エンティティー
は
工程
% の
subprocess
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
と
equal
では の 目的 %n{ない}
(=>
(
and
(
instance
?WEAPON
WeaponOfMassDestruction
)
(
instrument
?ATTACK ?WEAPON)
(
instance
?ATTACK
BiochemicalAttack
))
(
instance
?WEAPON
BiochemicalWeapon
))
WMD.kif 44-49
オブジェクト
は
WeaponOfMassDestruction
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
BiochemicalAttack
の
instance
では %n
オブジェクト
は
BiochemicalWeapon
の
instance
では %n
(=>
(
and
(
instance
?WI
WindInstrument
)
(
instance
?M
MakingInstrumentalMusic
)
(
agent
?M ?A)
(
instrument
?M ?WI))
(
exists
(?B)
(
and
(
instance
?B
Exhaling
)
(
agent
?B ?A)
(
subProcess
?B ?M))))
Music.kif 1203-1213
オブジェクト
は
WindInstrument
の
instance
では %n
工程
は
MakingInstrumentalMusic
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
工程
は
Exhaling
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?X
Photocopier
)
(
instrument
?COPY ?X)
(
instance
?COPY
Photocopying
)
(
patient
?COPY ?OBJ1)
(
instance
?OBJ1
TwoDimensionalObject
)
(
instance
?OBJ1
VisualContentBearingObject
)
(
containsInformation
?OBJ1 ?INFO))
(
exists
(?OBJ2 ?SHEET)
(
and
(
result
?COPY ?OBJ2)
(
instance
?OBJ2
TwoDimensionalObject
)
(
instance
?OBJ2
VisualContentBearingObject
)
(
containsInformation
?OBJ2 ?INFO)
(
located
?OBJ2 ?SHEET)
(
instance
?SHEET
PrintedSheet
))))
Mid-level-ontology.kif 26299-26315
オブジェクト
は
Photocopier
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
工程
は
Photocopying
の
instance
では %n
ContentBearingPhysical
は
工程
の
patient
では %n
ContentBearingPhysical
は
TwoDimensionalObject
の
instance
では %n
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
オブジェクト
ContentBearingPhysical
は
工程
の
result
では %n
ContentBearingPhysical
は
TwoDimensionalObject
の
instance
では %n
ContentBearingPhysical
は
VisualContentBearingObject
の
instance
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
ContentBearingPhysical
は
オブジェクト
に
located
して %n
オブジェクト
は
PrintedSheet
の
instance
では %n
(=>
(
and
(
muscleInsertion
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
not
(
located
?E ?L))))
Anatomy.kif 1758-1780
muscleInsertion
筋肉
and
体の部分
オブジェクト
は
人[人間]
の
instance
では %n
StandardAnatomicalPosition
は
オブジェクト
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Healthy
は
オブジェクト
の
attribute
では %n
時間間隔
は
MuscularContraction
の
instance
では %n
時間間隔
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
時間間隔
の
instrument
では %n
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
に
located
して は
時間間隔
の
end
の
during
holds %n{ない}
(=>
(
and
(
muscleOrigin
?MC ?BPC)
(
instance
?H
Human
)
(
holdsDuring
?T
(
attribute
?H
StandardAnatomicalPosition
))
(
attribute
?H
Healthy
)
(
instance
?C
MuscularContraction
)
(
during
(
WhenFn
?C) ?T)
(
instance
?M ?MC)
(
part
?M ?H)
(
instrument
?C ?M)
(
physicalEnd
?E ?M)
(
meetsSpatially
?E ?BP)
(
holdsDuring
(
BeginFn
?C)
(
located
?E ?L)))
(
holdsDuring
(
EndFn
?C)
(
located
?E ?L)))
Anatomy.kif 1708-1729
muscleOrigin
筋肉
and
体の部分
オブジェクト
は
人[人間]
の
instance
では %n
StandardAnatomicalPosition
は
オブジェクト
の
attribute
では %n は
時間間隔
の
during
holds %n{ない}
Healthy
は
オブジェクト
の
attribute
では %n
時間間隔
は
MuscularContraction
の
instance
では %n
時間間隔
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
オブジェクト
は
筋肉
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
時間間隔
の
instrument
では %n
physicalEnd
オブジェクト
and
オブジェクト
オブジェクト
は
オブジェクト
と
meet
s %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
beginning
の
during
holds %n{ない}
オブジェクト
は
エンティティー
に
located
して %n は
時間間隔
の
end
の
during
holds %n{ない}
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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