Process
(工程)
(=>
(
instance
?A
Awarding
)
(
exists
(?RECIPIENT ?GIVER ?PROCESS ?AWARD)
(
and
(
instance
?RECIPIENT
AutonomousAgent
)
(
instance
?GIVER
AutonomousAgent
)
(
instance
?PROCESS
Process
)
(
instance
?AWARD
Object
)
(
agent
?PROCESS ?RECIPIENT)
(
agent
?A ?GIVER)
(
patient
?A ?AWARD)
(
destination
?A ?RECIPIENT)
(
causes
?PROCESS ?A))))
Mid-level-ontology.kif 18645-18657
工程
は
Awarding
の
instance
では %n
AutonomousAgent
AutonomousAgent
,
工程
and
工程
WARD
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
AutonomousAgent
は
AutonomousAgent
の
instance
では %n
工程
は
工程
の
instance
では %n
工程
WARD は
オブジェクト
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
WARD は
工程
の
patient
では %n
工程
は
AutonomousAgent
に
end
s %n{ない}
工程
は
工程
を
cause
s %n{ない}
(=>
(
instance
?B
Burrow
)
(
exists
(?P ?A)
(
and
(
instance
?P
Process
)
(
agent
?P ?A)
(
instance
?A
Animal
)
(
not
(
instance
?A
Human
))
(
result
?P ?B))))
Geography.kif 6031-6040
エンティティー
は
Burrow
の
instance
では %n
工程
AutonomousAgent
工程
は
工程
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
AutonomousAgent
は
動物
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では
エンティティー
は
工程
の
result
では %n
(=>
(
instance
?BRD
BusinessRequirementDocument
)
(
exists
(?PLAN ?BU ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?BU
Business
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
desires
?BU ?PROC)
(
containsInformation
?BRD ?PLAN))))
UXExperimentalTerms.kif 2596-2605
ContentBearingPhysical
は
BusinessRequirementDocument
の
instance
では %n
命題
認識エージェント
and
公式
命題
は
計画
の
instance
では %n
認識エージェント
は
Business
の
instance
では %n
公式
は
工程
の
instance
では %n
命題
は
公式
を
express
es %n{ない}
認識エージェント
が
公式
を
desire
s %n{ない}
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
instance
?CHECK
CheckInService
)
(
exists
(?AGENT ?CUST ?GREET ?SERVICE)
(
and
(
customer
?CUST ?AGENT)
(
serviceProvider
?CHECK ?AGENT)
(
instance
?GREET
Greeting
)
(
agent
?GREET ?CUST)
(
destination
?GREET ?AGENT)
(
subProcess
?GREET ?CHECK)
(
instance
?SERVICE
Process
)
(
agent
?SERVICE ?AGENT)
(
causes
?CHECK ?SERVICE))))
Hotel.kif 2154-2166
ServiceProcess
は
CheckInService
の
instance
では %n
認識エージェント
認識エージェント
,
工程
and
工程
customer
認識エージェント
and
認識エージェント
認識エージェント
は
ServiceProcess
の間サービスを provides %n{ない}
工程
は
Greeting
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
工程
は
認識エージェント
に
end
s %n{ない}
工程
は
ServiceProcess
% の
subprocess
では %n
工程
は
工程
の
instance
では %n
認識エージェント
は
工程
の
agent
では %n
ServiceProcess
は
工程
を
cause
s %n{ない}
(=>
(
instance
?CTRL
TemperatureControl
)
(
exists
(?DEVICE ?TEMP)
(
and
(
instance
?DEVICE
ElectricDevice
)
(
part
?CTRL ?DEVICE)
(
hasPurpose
?DEVICE
(
exists
(?PROC ?AREA)
(
and
(
instance
?AREA
Region
)
(
instance
?PROC
Process
)
(
instrument
?PROC ?CTRL)
(
result
?PROC
(
airTemperature
?AREA ?TEMP))))))))
engineering.kif 1139-1151
オブジェクト
は
TemperatureControl
の
instance
では %n
オブジェクト
エンティティー
オブジェクト
は
ElectricDevice
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
エンティティー
エンティティー
エンティティー
は
地域
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
オブジェクト
は
エンティティー
の
instrument
では %n
airTemperature
エンティティー
and
エンティティー
は
エンティティー
の
result
では %n の 目的 %n{ない}
(=>
(
instance
?ECM
EngineControlModule
)
(
hasPurpose
?ECM
(
exists
(?A ?E ?P1 ?P2)
(
and
(
instance
?A
Automobile
)
(
instance
?E
Engine
)
(
instance
?P1
Process
)
(
instance
?P2
Process
)
(
part
?E ?A)
(
part
?ECM ?A)
(
eventLocated
?P1 ?ECM)
(
eventLocated
?P2 ?E)
(
causes
?P1 ?P2)))))
Cars.kif 2519-2532
物理
は
EngineControlModule
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Automobile
の
instance
では %n
エンティティー
は
Engine
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
part
では %n
物理
は
エンティティー
の
part
では %n
eventLocated
エンティティー
and
物理
eventLocated
エンティティー
and
エンティティー
エンティティー
は
エンティティー
を
cause
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?EXPERIMENT
Experimenting
)
(
exists
(?QUALIFYING_EVENTS)
(
and
(
instance
?QUALIFYING_EVENTS
Collection
)
(
forall
(?EVENT)
(=>
(
and
(
instance
?EVENT
Process
)
(
or
(
experimentalControlProcess
?EXPERIMENT ?EVENT)
(
experimentalVariableProcess
?EXPERIMENT ?EVENT)))
(
member
?EVENT ?QUALIFYING_EVENTS)))
(
equal
(
QualifyingEventsFn
?EXPERIMENT) ?QUALIFYING_EVENTS))))
UXExperimentalTerms.kif 4208-4223
Experimenting
は
Experimenting
の
instance
では %n
エンティティー
_EVENTS
エンティティー
_EVENTS は
コレクション
の
instance
では %n
工程
工程
は
工程
の
instance
では %n
experimentalControlProcess
Experimenting
and
工程
experimentalVariableProcess
Experimenting
and
工程
工程
は
エンティティー
_EVENTS の
member
では %n
QualifyingEventsFn
Experimenting
は
エンティティー
_EVENTS と
equal
では %n
(=>
(
instance
?G
Generator
)
(
hasPurpose
?G
(
exists
(?P ?E)
(
and
(
instance
?P
Process
)
(
instance
?E
Electricity
)
(
result
?P ?E)
(
instrument
?P ?G)))))
Cars.kif 1194-1202
物理
は
Generator
の
instance
では %n
物理
は
エンティティー
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
Electricity
の
instance
では %n
エンティティー
は
エンティティー
の
result
では %n
物理
は
エンティティー
の
instrument
では %n の 目的 %n{ない}
(=>
(
instance
?H
HydraulicFluid
)
(
hasPurpose
?H
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
instrument
?P ?H)
(
holdsDuring
(
WhenFn
?P)
(
attribute
?H
Liquid
))))))
Cars.kif 1587-1596
物理
は
HydraulicFluid
の
instance
では %n
物理
は
エンティティー
エンティティー
は
工程
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
Liquid
は
物理
の
attribute
では %n は
エンティティー
の
time
の existence の
during
holds %n{ない} の 目的 %n{ない}
(=>
(
instance
?PE
ProtectiveEyewear
)
(
hasPurpose
?PE
(=>
(
exists
(?PERSON)
(
and
(
instance
?PERSON
Human
)
(
wears
?PERSON ?PE)))
(
exists
(?PROTECT ?EYE ?INJ ?I ?T)
(
and
(
instance
?PROTECT
Process
)
(
instrument
?PROTECT ?PE)
(
subclass
?INJ
(
KappaFn
?I
(
exists
(?HUMAN)
(
and
(
instance
?I
Injuring
)
(
instance
?EYE
Eye
)
(
instance
?HUMAN
Human
)
(
properPart
?EYE ?HUMAN)
(
patient
?I ?EYE)
(=>
(
holdsDuring
?T
(
patient
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROTECT ?PERSON))))))))
(
prevents
?PROTECT ?INJ))))))
Cars.kif 3482-3509
物理
は
ProtectiveEyewear
の
instance
では %n
物理
は
物理
RSON
物理
RSON は
人[人間]
の
instance
では %n
物理
RSON は % を
wear
s %n{ない}
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
で記述される
class
の
subclass
では %n
エンティティー
は
エンティティー
の出来事を
prevent
s %n{ない}
の 目的 %n{ない}
(=>
(
instance
?PKU
PeacekeepingUnit
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Process
)
(
instance
?V
ViolentContest
)
(
prevents
?P ?V)))
agent
?PKU))
Military.kif 89-96
オブジェクト
は
PeacekeepingUnit
の
instance
では %n
オブジェクト
は
エンティティー
class
を
agent
として行う
capable
では %n
(=>
(
instance
?R
Recording
)
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
record
?R ?P))))
Mid-level-ontology.kif 14388-14393
コンテンツベアリングオブジェクト
は
Recording
の
instance
では %n
物理
物理
は
工程
の
instance
では %n
record
コンテンツベアリングオブジェクト
and
物理
(=>
(
instance
?TEAM
CrossFunctionalTeam
)
(
exists
(?SKILL ?MEMBER1 ?MEMBER2 ?INST)
(
and
(
subclass
?SKILL
Process
)
(
instance
?MEMBER1
Human
)
(
instance
?MEMBER2
Human
)
(
member
?MEMBER1 ?TEAM)
(
member
?MEMBER2 ?TEAM)
(
hasSkill
?SKILL ?MEMBER1)
(
not
(
hasSkill
?SKILL ?MEMBER2))
(
instance
?INST ?SKILL)
(
inScopeOfInterest
?TEAM ?INST))))
UXExperimentalTerms.kif 2630-2643
コレクション
は
CrossFunctionalTeam
の
instance
では %n
工程
AutonomousAgent
,
AutonomousAgent
and
エンティティー
工程
は
工程
の
subclass
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
人[人間]
の
instance
では %n
AutonomousAgent
は
コレクション
の
member
では %n
AutonomousAgent
は
コレクション
の
member
では %n
AutonomousAgent
は
工程
をする
skill
が %n{ない}
AutonomousAgent
は
工程
をする
skill
が ない
エンティティー
は
工程
の
instance
では %n
コレクション
は
エンティティー
に
interested
が %n
(=>
(
instance
?TPS
TestProtocolSpecification
)
(
exists
(?PLAN ?EXPERIMENT ?PROC)
(
and
(
instance
?PLAN
Plan
)
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?PROC
Process
)
(
represents
?PLAN ?PROC)
(
subProcess
?EXPERIMENT ?PROC)
(
containsInformation
?TPS ?PLAN))))
UXExperimentalTerms.kif 2754-2763
ContentBearingPhysical
は
TestProtocolSpecification
の
instance
では %n
命題
工程
and
工程
命題
は
計画
の
instance
では %n
工程
は
Experimenting
の
instance
では %n
工程
は
工程
の
instance
では %n
命題
は
工程
を
express
es %n{ない}
工程
は
工程
% の
subprocess
では %n
ContentBearingPhysical
は
命題
の情報を
contain
s %n{ない}
(=>
(
instance
?TRANS
TransferSwitch
)
(
hasPurpose
?TRANS
(
exists
(?PROC ?POWER1 ?POWER2 ?E)
(
and
(
instance
?PROC
Process
)
(
instance
?POWER1
PowerSource
)
(
instance
?POWER2
PowerSource
)
(
instance
?E
Electricity
)
(
instrument
?PROC ?TRANS)
(
holdsDuring
(
BeginFn
(
WhenFn
?PROC))
(
origin
?E ?POWER1))
(
holdsDuring
(
EndFn
(
WhenFn
?PROC))
(
origin
?E ?POWER1))
(
not
(
equal
?POWER1 ?POWER2))))))
engineering.kif 882-901
物理
は
TransferSwitch
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
工程
の
instance
では %n
エンティティー
は
PowerSource
の
instance
では %n
エンティティー
は
PowerSource
の
instance
では %n
エンティティー
は
Electricity
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
から
originate
s %n{ない} は
エンティティー
の
time
の existence の
beginning
の
during
holds %n{ない}
エンティティー
は
エンティティー
から
originate
s %n{ない} は
エンティティー
の
time
の existence の
end
の
during
holds %n{ない}
エンティティー
は
エンティティー
と
equal
では の 目的 %n{ない}
(=>
(
instance
?V
Valve
)
(
hasPurpose
?V
(
exists
(?FLUID ?PROC ?FLOW)
(
and
(
instance
?FLOW
Transfer
)
(
path
?FLOW ?V)
(
patient
?FLOW ?FLUID)
(
attribute
?FLUID
Fluid
)
(
instance
?PROC
Process
)
(
instrument
?PROC ?V)
(
patient
?PROC ?FLOW)))))
engineering.kif 914-925
物理
は
Valve
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
移動
の
instance
では %n
物理
は
エンティティー
が 発生する
path
では %n
エンティティー
は
エンティティー
の
patient
では %n
Fluid
は
エンティティー
の
attribute
では %n
エンティティー
は
工程
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n の 目的 %n{ない}
(=>
(
instance
?X
AirConditioner
)
(
hasPurpose
?X
(
exists
(?PROC ?TEMP ?AREA)
(
and
(
located
?X ?AREA)
(
instance
?PROC
Process
)
(
instrument
?PROC ?X)
(
result
?PROC
(
airTemperature
?AREA ?TEMP))))))
Mid-level-ontology.kif 25994-26002
物理
は
AirConditioner
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
物理
は
エンティティー
に
located
して %n
エンティティー
は
工程
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
airTemperature
エンティティー
and
エンティティー
は
エンティティー
の
result
では %n の 目的 %n{ない}
(=>
(
instance
?X
Earphone
)
(
hasPurpose
?X
(
exists
(?ES ?RS ?SIGNAL ?EAR ?PROC)
(
and
(
instance
?ES
ElectricalSignalling
)
(
patient
?ES ?SIGNAL)
(
destination
?ES ?X)
(
instance
?PROC
Process
)
(
instrument
?PROC ?X)
(
patient
?PROC ?SIGNAL)
(
result
?PROC ?RS)
(
instance
?RS
RadiatingSound
)
(
origin
?RS ?X)
(
before
(
BeginFn
(
WhenFn
?ES))
(
BeginFn
(
WhenFn
?PROC)))
(
before
(
BeginFn
(
WhenFn
?PROC))
(
BeginFn
(
WhenFn
?RS)))
(
instance
?EAR
Ear
)
(
orientation
?X ?EAR
Adjacent
)))))
Mid-level-ontology.kif 26053-26074
物理
は
Earphone
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
ElectricalSignalling
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
物理
に
end
s %n{ない}
エンティティー
は
工程
の
instance
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
エンティティー
の
result
では %n
エンティティー
は
放射音
の
instance
では %n
エンティティー
は
物理
から
originate
s %n{ない}
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
time
の existence の
beginning
の
before
に happens %n{ない}
エンティティー
の
time
の existence の
beginning
は
エンティティー
の
time
の existence の
beginning
の
before
に happens %n{ない}
エンティティー
は
Ear
の
instance
では %n
物理
は
Adjacent
対
エンティティー
では %n の 目的 %n{ない}
(=>
(
instance
?X
SafetyDevice
)
(
hasPurpose
?X
(
exists
(?P ?H ?I ?T)
(
and
(
instance
?H
Human
)
(
instance
?P
Process
)
(
patient
?P ?H)
(
instrument
?P ?X)
(
prevents
?P
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(=>
(
holdsDuring
?T
(
experiencer
?I ?H))
(
not
(
holdsDuring
?T
(
patient
?P ?H)))))))))))
Cars.kif 3355-3373
物理
は
SafetyDevice
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
物理
は
エンティティー
の
instrument
では %n
エンティティー
は
エンティティー
で記述される
class
の出来事を
prevent
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?X
SeatBelt
)
(
hasPurpose
?X
(
exists
(?PERSON ?STOP ?VEHICLE ?M)
(
and
(
instance
?VEHICLE
Vehicle
)
(
part
?X ?VEHICLE)
(
instance
?PERSON
Human
)
(
contains
?VEHICLE ?PERSON)
(
instance
?STOP
Process
)
(
prevents
?STOP
(
KappaFn
?M
(
and
(
instance
?M
Translocation
)
(
patient
?M ?PERSON)
(
exists
(?COLLISION)
(
and
(
or
(
instance
?COLLISION
Decelerating
)
(
instance
?COLLISION
Impacting
))
(
experiencer
?COLLISION ?VEHICLE)
(
causes
?COLLISION ?M)))
(
modalAttribute
(
exists
(?INJ ?IMP)
(
and
(
instance
?INJ
Injuring
)
(
instance
?IMP
Impacting
)
(
causes
?M ?INJ)
(
patient
?INJ ?PERSON)
(
subProcess
?IMP ?INJ)))
Possibility
))))))))
Cars.kif 3675-3704
物理
は
SeatBelt
の
instance
では %n
物理
は
エンティティー
エンティティー
,
エンティティー
and
エンティティー
エンティティー
は
Vehicle
の
instance
では %n
物理
は
エンティティー
の
part
では %n
エンティティー
は
人[人間]
の
instance
では %n
エンティティー
は
エンティティー
を
contain
s %n{ない}
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
で記述される
class
の出来事を
prevent
s %n{ない} の 目的 %n{ない}
(=>
(
instance
?X
Tripod
)
(
hasPurpose
?X
(
exists
(?OBJ ?PUT ?PROC)
(
and
(
instance
?OBJ
Artifact
)
(
instance
?PUT
Putting
)
(
patient
?PUT ?OBJ)
(
destination
?PUT ?X)
(
instance
?PROC
Process
)
(
instrument
?PROC ?OBJ)
(
before
(
EndFn
(
WhenFn
?PUT))
(
BeginFn
(
WhenFn
?PROC)))))))
Mid-level-ontology.kif 26719-26732
物理
は
Tripod
の
instance
では %n
物理
は
エンティティー
エンティティー
and
エンティティー
エンティティー
は
アーチファクト
の
instance
では %n
エンティティー
は
置く
の
instance
では %n
エンティティー
は
エンティティー
の
patient
では %n
エンティティー
は
物理
に
end
s %n{ない}
エンティティー
は
工程
の
instance
では %n
エンティティー
は
エンティティー
の
instrument
では %n
エンティティー
の
time
の existence の
end
は
エンティティー
の
time
の existence の
beginning
の
before
に happens %n{ない} の 目的 %n{ない}
(=>
(
instance
?X
VideoRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
Process
)
(
represents
?X ?EV)
(
capability
RadiatingLight
patient
?X))))
Mid-level-ontology.kif 14433-14439
オブジェクト
は
VideoRecording
の
instance
では %n
エンティティー
エンティティー
は
工程
の
instance
では %n
オブジェクト
は
エンティティー
を
express
es %n{ない}
オブジェクト
は
放射光
を
patient
として行う
capable
では %n
(=>
(
produced
?R ?A)
(
exists
(?M ?P)
(
and
(
instance
?M
Managing
)
(
agent
?M ?A)
(
patient
?M ?P)
(
instance
?P
Process
)
(
result
?P ?R))))
Mid-level-ontology.kif 20693-20701
produced
人[人間]
and
AutonomousAgent
工程
工程
工程
は
管理
の
instance
では %n
AutonomousAgent
は
工程
の
agent
では %n
工程
は
工程
の
patient
では %n
工程
は
工程
の
instance
では %n
人[人間]
は
工程
の
result
では %n
(=>
(
producedOn
?R ?D)
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
result
?P ?R)
(
equal
?D
(
WhenFn
(
EndFn
?P))))))
Music.kif 96-104
producedOn
Recording
and
時間間隔
時間間隔
時間間隔
は
工程
の
instance
では %n
Recording
は
時間間隔
の
result
では %n
時間間隔
は
時間間隔
の
end
の
time
の existence と
equal
では %n
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
Experimenting
には
attribute
ABTest
%n{ない}
工程
工程
は
工程
の
instance
では %n
experimentalControlProcess
Experimenting
and
工程
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