subProcess
(=>
(
and
(
instance
?HR
Reel
)
(
instance
?K
Keeping
)
(
instance
?H
CorpuscularObject
)
(
attribute
?H
LongAndThin
)
(
attribute
?H
Pliable
)
(
instrument
?K ?HR)
(
patient
?K ?H))
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
patient
?R ?HR)
(
subProcess
?R ?K))))
Cars.kif 4301-4314
オブジェクト
は
Reel
の
instance
では %n
工程
は
保持
の
instance
では %n
オブジェクト
は
微粒子オブジェクト
の
instance
では %n
LongAndThin
は
オブジェクト
の
attribute
では %n
Pliable
は
オブジェクト
の
attribute
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
工程
の
patient
では %n
工程
工程
は
Rotating
の
instance
では %n
オブジェクト
は
工程
の
patient
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
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
(=>
(
and
(
instance
?L
Lathe
)
(
instance
?OBJ
Object
)
(
instrument
?PROC ?L)
(
patient
?PROC ?OBJ))
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
subProcess
?PROC ?R)
(
patient
?R ?OBJ)
(
agent
?R ?L))))
Economy.kif 6000-6011
AutonomousAgent
は
Lathe
の
instance
では %n
エンティティー
は
オブジェクト
の
instance
では %n
AutonomousAgent
は
工程
の
instrument
では %n
エンティティー
は
工程
の
patient
では %n
工程
工程
は
Rotating
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
エンティティー
は
工程
の
patient
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
instance
?MC
MusicalComposition
)
(
realization
?MC ?MUSIC))
(
not
(
exists
(?LC ?V)
(
and
(
instance
?V
Singing
)
(
patient
?V ?LC)
(
instance
?LC
LyricalContent
)
(
subProcess
?V ?MUSIC)))))
Mid-level-ontology.kif 13752-13762
工程
は
MusicalComposition
の
instance
では %n
工程
は
工程
の内容を
express
es %n{ない}
エンティティー
工程
工程
は
Singing
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
LyricalContent
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?MOVEMENT
Translocation
)
(
origin
?MOVEMENT ?PLACE1))
(
exists
(?PLACE2 ?STAGE)
(
and
(
instance
?PLACE2
Region
)
(
not
(
equal
?PLACE1 ?PLACE2))
(
subProcess
?STAGE ?MOVEMENT)
(
located
?STAGE ?PLACE2))))
Merge.kif 11558-11567
工程
は
Translocation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
オブジェクト
工程
オブジェクト
は
地域
の
instance
では %n
オブジェクト
は
オブジェクト
と
equal
では
工程
は
工程
% の
subprocess
では %n
工程
は
オブジェクト
に
located
して %n
(=>
(
and
(
instance
?MUSIC
MakingVocalMusic
)
(
agent
?MUSIC ?GROUP)
(
instance
?GROUP
Choir
)
(
holdsDuring
?MUSIC
(
member
?MEM ?GROUP)))
(
exists
(?SING)
(
and
(
instance
?SING
Singing
)
(
subProcess
?SING ?MUSIC)
(
agent
?SING ?MEM))))
Media.kif 1807-1817
工程
は
MakingVocalMusic
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
Choir
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
member
では %n は
工程
の
during
holds %n{ない}
工程
工程
は
Singing
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
(=>
(
and
(
instance
?ORD
Ordaining
)
(
patient
?ORD ?X)
(
instance
?X
Human
)
(
member
?X
Christianity
))
(
hasPurpose
?ORD
(
exists
(?CER ?A)
(
and
(
instance
?CER
Ceremony
)
(
instance
?A
Appointing
)
(
subProcess
?A ?CER)
(
patient
?A ?X)
(
appointedPosition
?A ?X
Cleric
)))))
Biography.kif 156-169
工程
は
Ordaining
の
instance
では %n
物理
は
工程
の
patient
では %n
物理
は
人[人間]
の
instance
では %n
物理
は
Christianity
の
member
では %n
工程
は
エンティティー
エンティティー
エンティティー
は
Ceremony
の
instance
では %n
エンティティー
は
Appointing
の
instance
では %n
エンティティー
は
エンティティー
% の
subprocess
では %n
物理
は
エンティティー
の
patient
では %n
appointedPosition
エンティティー
,
物理
and
Cleric
の 目的 %n{ない}
(=>
(
and
(
instance
?R
BaseballRun
)
(
agent
?R ?A))
(
exists
(?T ?H)
(
and
(
instance
?T
Touching
)
(
subProcess
?T ?R)
(
agent
?T ?A)
(
patient
?T ?H)
(
instance
?H
HomeBase
))))
Sports.kif 624-634
工程
は
BaseballRun
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
エンティティー
工程
は
接触
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
HomeBase
の
instance
では %n
(=>
(
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
?R
Robbing
)
(
agent
?R ?P)
(
patient
?R ?P2))
(
exists
(?T)
(
and
(
instance
?T
Threatening
)
(
subProcess
?T ?R)
(
patient
?T
(
exists
(?A)
(
and
(
instance
?A
Attack
)
(
agent
?A ?P)
(
patient
?A ?P2)))))))
Mid-level-ontology.kif 18600-18614
工程
は
Robbing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
2 は
工程
の
patient
では %n
工程
工程
は
Threatening
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
エンティティー
エンティティー
は
Attack
の
instance
では %n
AutonomousAgent
は
エンティティー
の
agent
では %n
AutonomousAgent
2 は
エンティティー
の
patient
では %n は
工程
の
patient
では %n
(=>
(
and
(
instance
?RR
RunningARace
)
(
agent
?RR ?H))
(
exists
(?R)
(
and
(
instance
?R
Running
)
(
agent
?R ?H)
(
subProcess
?R ?RR))))
Sports.kif 265-273
工程
は
RunningARace
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
工程
は
Running
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?RbF
ReconnaissanceByFire
)
(
agent
?RbF ?AGENT))
(
exists
(?ATTACK ?HOSTILE)
(
and
(
patient
?RbF ?HOSTILE)
(
subProcess
?ATTACK ?RbF)
(
instance
?ATTACK
Attack
)
(
agent
?ATTACK ?AGENT)
(
patient
?ATTACK ?HOSTILE))))
MilitaryProcesses.kif 713-723
工程
は
ReconnaissanceByFire
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
エンティティー
エンティティー
は
工程
の
patient
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
Attack
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
エンティティー
は
工程
の
patient
では %n
(=>
(
and
(
instance
?S
Song
)
(
realization
?S ?MUSIC))
(
exists
(?MM ?MV ?LC ?MC)
(
and
(
instance
?MM
MakingMusic
)
(
instance
?MV
Singing
)
(
instance
?LC
LyricalContent
)
(
instance
?MC
MusicalComposition
)
(
patient
?MM ?MC)
(
patient
?MV ?LC)
(
subProcess
?MM ?MUSIC)
(
subProcess
?MV ?MUSIC))))
Mid-level-ontology.kif 13771-13784
工程
は
Song
の
instance
では %n
工程
は
工程
の内容を
express
es %n{ない}
工程
工程
,
エンティティー
and
エンティティー
工程
は
MakingMusic
の
instance
では %n
工程
は
Singing
の
instance
では %n
エンティティー
は
LyricalContent
の
instance
では %n
エンティティー
は
MusicalComposition
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?S
Stroke
)
(
instance
?B
Brain
)
(
located
?S ?B))
(
exists
(?N ?D)
(
and
(
instance
?N
NerveCell
)
(
located
?N ?B)
(
instance
?D
Destruction
)
(
subProcess
?D ?S)
(
patient
?D ?N))))
Mid-level-ontology.kif 11934-11945
工程
は
Stroke
の
instance
では %n
オブジェクト
は
Brain
の
instance
では %n
工程
は
オブジェクト
に
located
して %n
物理
工程
物理
は
NerveCell
の
instance
では %n
物理
は
オブジェクト
に
located
して %n
工程
は
破壊
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
物理
は
工程
の
patient
では %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
?SHARE
Sharing
)
(
agent
?SHARE ?AGENT1)
(
destination
?SHARE ?AGENT2)
(
patient
?SHARE ?OBJ))
(
exists
(?GIVE ?PART)
(
and
(
instance
?GIVE
Giving
)
(
subProcess
?GIVE ?SHARE)
(
patient
?GIVE ?PART)
(
properPart
?PART ?OBJ)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2))))
Mid-level-ontology.kif 18564-18577
工程
は
Sharing
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
エンティティー
に
end
s %n{ない}
オブジェクト
は
工程
の
patient
では %n
工程
オブジェクト
工程
は
与える
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
オブジェクト
は
工程
の
patient
では %n
オブジェクト
は
オブジェクト
の
proper
part
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
エンティティー
に
end
s %n{ない}
(=>
(
and
(
instance
?SP
SportsPlay
)
(
realization
?P ?SP))
(
exists
(?S)
(
and
(
instance
?S
TeamSport
)
(
instance
?P
Maneuver
)
(
subProcess
?P ?S))))
Mid-level-ontology.kif 16643-16651
命題
は
SportsPlay
の
instance
では %n
工程
は
命題
の内容を
express
es %n{ない}
工程
工程
は
TeamSport
の
instance
では %n
工程
は
策略
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
(=>
(
and
(
instance
?T
Thoracentesis
)
(
patient
?T ?H))
(
exists
(?I ?O ?IN ?L ?C ?F)
(
and
(
instance
?I
Inserting
)
(
subProcess
?I ?T)
(
objectTransferred
?I ?N)
(
origin
?I ?O)
(
destination
?I ?IN)
(
instance
?N
Needle
)
(
attribute
?F
Fluid
)
(
objectTransferred
?T ?F)
(
destination
?F ?O)
(
instance
?L
Lung
)
(
instance
?C
Chest
)
(
part
?L ?H)
(
part
?C ?H)
(
origin
?T ?IN)
(
destination
?T ?O)
(
between
?L ?IN ?C)
(
orientation
?O ?H
Outside
))))
Medicine.kif 895-917
移動
は
Thoracentesis
の
instance
では %n
オブジェクト
は
移動
の
patient
では %n
移動
オブジェクト
,
移動
N,
オブジェクト
,
オブジェクト
and
オブジェクト
移動
は
Inserting
の
instance
では %n
移動
は
移動
% の
subprocess
では %n
objectTransferred
移動
and
オブジェクト
移動
は
オブジェクト
から
originate
s %n{ない}
移動
は
移動
N に
end
s %n{ない}
オブジェクト
は
Needle
の
instance
では %n
Fluid
は
オブジェクト
の
attribute
では %n
objectTransferred
移動
and
オブジェクト
オブジェクト
は
オブジェクト
に
end
s %n{ない}
オブジェクト
は
Lung
の
instance
では %n
オブジェクト
は
Chest
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
オブジェクト
の
part
では %n
移動
は
移動
N から
originate
s %n{ない}
移動
は
オブジェクト
に
end
s %n{ない}
移動
N は
オブジェクト
と
オブジェクト
の
between
では %n
オブジェクト
は
Outside
対
オブジェクト
では %n
(=>
(
and
(
instance
?T
TwoStrokeTransfer
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?T ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?T)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 523-536
工程
は
TwoStrokeTransfer
の
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
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11305-11328
工程
は
Translocation
の
instance
では %n
工程
は
Translocation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
オブジェクト
に
end
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
工程
は
Translocation
の
instance
では %n
工程
は
オブジェクト
から
originate
s %n{ない}
工程
は
エンティティー
に
end
s %n{ない}
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
AutonomousAgent
が
工程
を
experience
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence を
start
s %n{ない}
工程
の
time
の existence は
工程
の
time
の existence を
finish
es %n{ない}
(=>
(
and
(
instance
?TEST
MultivariateTest
)
(
subProcess
?EXPERIMENT1 ?TEST)
(
subProcess
?EXPERIMENT2 ?TEST)
(
instance
?EXPERIMENT1
Experimenting
)
(
instance
?EXPERIMENT2
Experimenting
)
(
instance
?VARIABLE1
Process
)
(
instance
?VARIABLE2
Process
)
(
experimentalVariableProcess
?EXPERIMENT1 ?VARIABLE1)
(
experimentalVariableProcess
?EXPERIMENT2 ?VARIABLE2))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
subProcess
?VARIABLE1 ?PROCESS)
(
subProcess
?VARIABLE2 ?PROCESS)
(
not
(
equal
?VARIABLE1 ?VARIABLE2)))))
UXExperimentalTerms.kif 4501-4518
工程
は
MultivariateTest
の
instance
では %n
Experimenting
は
工程
% の
subprocess
では %n
Experimenting
は
工程
% の
subprocess
では %n
Experimenting
は
Experimenting
の
instance
では %n
Experimenting
は
Experimenting
の
instance
では %n
工程
は
工程
の
instance
では %n
工程
は
工程
の
instance
では %n
experimentalVariableProcess
Experimenting
and
工程
experimentalVariableProcess
Experimenting
and
工程
工程
工程
は
工程
の
instance
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
% の
subprocess
では %n
工程
は
工程
と
equal
では
(=>
(
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
?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
DryRoasting
)
(
instance
?F
Food
)
(
patient
?X ?F))
(
holdsDuring
?X
(
exists
(?H ?S)
(
and
(
instance
?H
Heating
)
(
instance
?S
Stirring
)
(
subProcess
?H ?X)
(
subProcess
?S ?X)
(
during
(
WhenFn
?S)
(
WhenFn
?H))
(
patient
?H ?F)
(
patient
?S ?F)
(
not
(
exists
(?O ?W)
(
and
(
instance
?O
Oil
)
(
instance
?W
DrinkingWater
)
(
patient
?X ?O)
(
patient
?X ?W))))))))
Food.kif 128-151
工程
は
DryRoasting
の
instance
では %n
エンティティー
は
Food
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
エンティティー
エンティティー
は
加熱
の
instance
では %n
エンティティー
は
Stirring
の
instance
では %n
エンティティー
は
工程
% の
subprocess
では %n
エンティティー
は
工程
% の
subprocess
では %n
エンティティー
の
time
の existence は
エンティティー
の
time
の existence の
during
に takes %n{ない}
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
エンティティー
エンティティー
は
Oil
の
instance
では %n
エンティティー
は
DrinkingWater
の
instance
では %n
エンティティー
は
工程
の
patient
では %n
エンティティー
は
工程
の
patient
では %n は
工程
の
during
holds %n{ない}
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesFreightTransportation
))
(
exists
(?FREIGHT ?SHIP ?WATER)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
))))
naics.kif 8184-8197
ServiceProcess
は
WaterTransportationService
の
instance
では %n
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
CoastalAndGreatLakesFreightTransportation
は
認識エージェント
の
attribute
では %n
工程
オブジェクト
and
地理的地域
工程
は
ServiceProcess
% の
subprocess
では %n
工程
は
WaterTransportation
の
instance
では %n
オブジェクト
は
工程
の
instrument
では %n
オブジェクト
は
CargoShip
の
instance
では %n
eventLocated
工程
and
地理的地域
地理的地域
は
水域
の
instance
では %n
geographicSubregion
地理的地域
and
UnitedStates
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