subProcess
(=>
(
and
(
instance
?DUSTSTORM
DustStorm
)
(
instance
?WIND
Wind
)
(
subProcess
?DUSTSTORM ?WIND))
(
exists
(?TRANSLOCATE ?PM ?SAND ?A1 ?A2 ?STRONG)
(
and
(
instance
?A1
LandArea
)
(
eventLocated
?WIND ?A1)
(
surfaceWindSpeed
?A1
(
MeasureFn
?STRONG
KnotUnitOfSpeed
))
(
greaterThan
?STRONG 30.0)
(
instance
?TRANSLOCATE
Translocation
)
(
subProcess
?TRANSLOCATE ?DUSTSTORM)
(
objectTransferred
?TRANSLOCATE ?PM)
(
objectTransferred
?TRANSLOCATE ?SAND)
(
instance
?PM
ParticulateMatter
)
(
instance
?SAND
Sand
)
(
instance
?A2
LandArea
)
(
destination
?TRANSLOCATE ?A2)
(
not
(
overlapsSpatially
?A1 ?A2)))))
Weather.kif 1275-1296
工程
は
DustStorm
の
instance
では %n
工程
は
Wind
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
移動
オブジェクト
,
オブジェクト
,
オブジェクト
,
オブジェクト
and
実数
オブジェクト
は
土地面積
の
instance
では %n
eventLocated
工程
and
オブジェクト
surfaceWindSpeed
オブジェクト
and
実数
の
KnotUnitOfSpeed
(s)
実数
は 30.0 より
greater
では %n
移動
は
Translocation
の
instance
では %n
移動
は
工程
% の
subprocess
では %n
objectTransferred
移動
and
オブジェクト
objectTransferred
移動
and
オブジェクト
オブジェクト
は
ParticulateMatter
の
instance
では %n
オブジェクト
は
Sand
の
instance
では %n
オブジェクト
は
土地面積
の
instance
では %n
移動
は
オブジェクト
に
end
s %n{ない}
overlapsSpatially
オブジェクト
and
オブジェクト
(=>
(
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
?E
Epidemic
)
(
involvedInEvent
?E ?H))
(
or
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
attribute
?H ?D))
(
exists
(?P)
(
and
(
instance
?P
PathologicProcess
)
(
experiencer
?P ?H)
(
subProcess
?P ?E)))))
Medicine.kif 3517-3529
工程
は
Epidemic
の
instance
では %n
involvedInEvent
工程
and
AutonomousAgent
属性
は
病気または症候群
の
instance
では %n
属性
は
AutonomousAgent
の
attribute
では %n
工程
工程
は
病理学的プロセス
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
は
工程
% の
subprocess
では %n
(=>
(
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
?ELT
ExperiencingALumpInTheThroat
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Throat
)
(
part
?T ?A))))
emotion.kif 1710-1721
工程
は
ExperiencingALumpInTheThroat
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
オブジェクト
工程
は
知覚
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
Throat
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P ?PAIN ?T)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
工程
は
ExperiencingDiscomfortInTheStomach
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
AIN and
オブジェクト
工程
は
知覚
の
instance
では %n
工程
の
time
の existence は
工程
AIN の
time
の existence の
during
に takes %n{ない}
工程
AIN は
Pain
の
instance
では %n
AutonomousAgent
が
工程
AIN を
experience
s %n{ない}
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
(=>
(
and
(
instance
?ELT
ExperiencingHeatInCheeksOrChest
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
or
(
instance
?T
Torso
)
(
instance
?T
Face
))
(
part
?T ?A))))
emotion.kif 1738-1751
工程
は
ExperiencingHeatInCheeksOrChest
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
オブジェクト
工程
は
知覚
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
Torso
の
instance
では %n
オブジェクト
は
Face
の
instance
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
experiencer
?EV ?P))
(
exists
(?C ?CA)
(
and
(
instance
?C
Classifying
)
(
subProcess
?C ?EV)
(
experiencer
?C ?P)
(
or
(
subOrganization
?CA ?A)
(
member
?CA ?A)
(
equal
?CA ?A))
(
agent
?C ?CA))))
MilitaryProcesses.kif 2609-2623
工程
は
Evacuation
の
instance
では %n
組織
は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
A
工程
は
分類
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
origin
?EV ?O))
(
exists
(?T ?TA)
(
and
(
instance
?T
Translocation
)
(
subProcess
?T ?EV)
(
origin
?T ?O)
(
or
(
experiencer
?T ?TA)
(
agent
?T ?TA))
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A)))))
MilitaryProcesses.kif 2627-2643
工程
は
Evacuation
の
instance
では %n
組織
は
工程
の
agent
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
工程
A
工程
は
Translocation
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
A が
工程
を
experience
s %n{ない}
工程
A は
工程
の
agent
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?P)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
TherapeuticProcess
)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA)
(
experiencer
?M ?P))))
MilitaryProcesses.kif 2591-2605
工程
は
Evacuation
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
治療経過
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
Maintaining
)
(
eventLocated
?M ?O)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA))))
MilitaryProcesses.kif 2573-2587
工程
は
Evacuation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
組織
は
工程
の
agent
では %n
工程
工程
A
工程
は
維持
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
は
工程
% の
subprocess
では %n
工程
A は組織
組織
の一部では %n
工程
A は
組織
の
member
では %n
工程
A は
組織
と
equal
では %n
工程
A は
工程
の
agent
では %n
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
destination
?EV ?D))
(
exists
(?L)
(
and
(
instance
?L
Translocation
)
(
subProcess
?L ?EV)
(
destination
?L ?D)
(
origin
?L ?OR))))
MilitaryProcesses.kif 2501-2511
工程
は
Evacuation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
工程
工程
は
Translocation
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
エンティティー
に
end
s %n{ない}
工程
は
オブジェクト
から
originate
s %n{ない}
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
subProcess
?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 3829-3833
Experimenting
は
Experimenting
の
instance
では %n
experimentalControlProcess
Experimenting
and
工程
工程
は
Experimenting
% の
subprocess
では %n
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
subProcess
?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 3882-3886
Experimenting
は
Experimenting
の
instance
では %n
experimentalVariableProcess
Experimenting
and
工程
工程
は
Experimenting
% の
subprocess
では %n
(=>
(
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
?F
Folding
)
(
patient
?F ?O))
(
exists
(?C ?P1 ?P2)
(
and
(
instance
?C
Covering
)
(
subProcess
?C ?F)
(
part
?P1 ?O)
(
part
?P2 ?O)
(
instrument
?C ?P1)
(
patient
?C ?P2))))
Mid-level-ontology.kif 3169-3180
工程
は
Folding
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
オブジェクト
and
オブジェクト
工程
は
覆い
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
patient
では %n
(=>
(
and
(
instance
?F
FourStrokeCombustion
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?CO)
(
and
(
instance
?CO
Combustion
)
(
subProcess
?CO ?F))))
Cars.kif 207-217
工程
は
FourStrokeCombustion
の
instance
では %n
オブジェクト
は
EngineCylinder
の
instance
では %n
HoleRegion
は
InternalCombustionChamber
の
instance
では %n
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
オブジェクト
O
オブジェクト
O は
燃焼
の
instance
では %n
オブジェクト
O は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?F
FourStrokeExhaust
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?F)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 225-238
工程
は
FourStrokeExhaust
の
instance
では %n
オブジェクト
は
EngineCylinder
の
instance
では %n
HoleRegion
は
InternalCombustionChamber
の
instance
では %n
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
エンティティー
工程
工程
は
GasMotion
の
instance
では %n
エンティティー
は
Exhaust
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
HoleRegion
から
originate
s %n{ない}
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?F
FourStrokeIntake
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?FV ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?FV
FuelVapor
)
(
subProcess
?M ?F)
(
destination
?M ?I)
(
patient
?M ?FV))))
Cars.kif 171-184
工程
は
FourStrokeIntake
の
instance
では %n
オブジェクト
は
EngineCylinder
の
instance
では %n
HoleRegion
は
InternalCombustionChamber
の
instance
では %n
オブジェクト
は ホール
HoleRegion
の
host
と
equal
では %n
eventLocated
工程
and
オブジェクト
工程
V
工程
工程
は
GasMotion
の
instance
では %n
工程
V は
FuelVapor
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
HoleRegion
に
end
s %n{ない}
工程
V は
工程
の
patient
では %n
(=>
(
and
(
instance
?FL
FlashingLight
)
(
origin
?FL ?L))
(
exists
(?I1 ?T2 ?I3)
(
and
(
instance
?I1
RadiatingLight
)
(
instance
?T2
TimeInterval
)
(
instance
?I3
RadiatingLight
)
(
meetsTemporally
(
WhenFn
?I1) ?I2)
(
meetsTemporally
?I2
(
WhenFn
?I3))
(
not
(
exists
(?I2)
(
and
(
instance
?I2
RadiatingLight
)
(
origin
?I2 ?L)
(
during
(
WhenFn
?I2) ?T2))))
(
subProcess
?I1 ?FL)
(
subProcess
?I3 ?FL))))
Mid-level-ontology.kif 643-661
工程
は
FlashingLight
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
時間間隔
and
工程
工程
は
放射光
の
instance
では %n
時間間隔
は
時間間隔
の
instance
では %n
工程
は
放射光
の
instance
では %n
工程
の
time
の existence は
時間間隔
に
meet
s %n{ない}
時間間隔
は
工程
の
time
の existence に
meet
s %n{ない}
時間間隔
時間間隔
は
放射光
の
instance
では %n
時間間隔
は
オブジェクト
から
originate
s %n{ない}
時間間隔
の
time
の existence は
時間間隔
の
during
に takes %n{ない}
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
patient
?FM ?M)
(
instance
?M
ProcessedMilk
)
(
instance
?A
Aerating
)
(
patient
?A ?M))
(
subProcess
?A ?FM))
Food.kif 1218-1225
工程
は
FoamingMilk
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
ProcessedMilk
の
instance
では %n
工程
は
Aerating
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?G
Gun
)
(
instance
?B
GunBarrel
)
(
part
?B ?G)
(
instance
?S
Shooting
)
(
instrument
?S ?G)
(
patient
?S ?P)
(
instance
?P
Projectile
))
(
exists
(?SUB)
(
and
(
subProcess
?SUB ?S)
(
path
?SUB ?B))))
Mid-level-ontology.kif 1235-1247
オブジェクト
は
Gun
の
instance
では %n
オブジェクト
は
GunBarrel
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
工程
は
射撃
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
Projectile
の
instance
では %n
工程
UB
工程
UB は
工程
% の
subprocess
では %n
オブジェクト
は
工程
UB が 発生する
path
では %n
(=>
(
and
(
instance
?GERD
GERefluxDisease
)
(
experiencer
?GERD ?H))
(
exists
(?T ?S ?E)
(
and
(
instance
?T
Transfer
)
(
origin
?T ?S)
(
instance
?S
Stomach
)
(
instance
?E
Esophagus
)
(
destination
?T ?E)
(
part
?S ?H)
(
part
?E ?H)
(
subProcess
?T ?GERD))))
Medicine.kif 1916-1929
工程
は
GERefluxDisease
の
instance
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
オブジェクト
and
オブジェクト
工程
は
移動
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
は
Stomach
の
instance
では %n
オブジェクト
は
Esophagus
の
instance
では %n
工程
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
AutonomousAgent
の
part
では %n
オブジェクト
は
AutonomousAgent
の
part
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?GRP
MarchingBand
)
(
instance
?MP
MusicalPerformance
)
(
agent
?MP ?GRP)
(
instance
?OD
Outdoors
)
(
eventLocated
?MP ?OD))
(
exists
(?AMB)
(
and
(
instance
?AMB
Ambulating
)
(
subProcess
?AMB ?MP))))
Music.kif 986-996
AutonomousAgent
は
MarchingBand
の
instance
では %n
工程
は
MusicalPerformance
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
オブジェクト
は
Outdoors
の
instance
では %n
eventLocated
工程
and
オブジェクト
工程
工程
は
Ambulating
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?HB
HeartBeat
)
(
patient
?HB ?H)
(
instance
?H
Heart
))
(
exists
(?MC ?MR)
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?H)
(
instance
?MR
MuscleRelaxing
)
(
patient
?MR ?H)
(
subProcess
?MC ?HB)
(
subProcess
?MR ?HB))))
Mid-level-ontology.kif 10728-10740
工程
は
HeartBeat
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
Heart
の
instance
では %n
工程
工程
工程
は
MuscularContraction
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
MuscleRelaxing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %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