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
例
Process
and
Awarding
AutonomousAgent
AutonomousAgent
,
Process
and
Process
WARD
例
AutonomousAgent
and
AutonomousAgent
例
AutonomousAgent
and
AutonomousAgent
例
Process
and
Process
例
Process
WARD and
Object
agent
Process
and
AutonomousAgent
agent
Process
and
AutonomousAgent
患者
Process
and
Process
WARD
目的地
Process
and
AutonomousAgent
原因
Process
and
Process
(=>
(
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
例
Entity
and
地洞
Process
AutonomousAgent
例
Process
and
Process
agent
Process
and
AutonomousAgent
例
AutonomousAgent
and
Animal
例
AutonomousAgent
and
Human
結果
Process
and
Entity
(=>
(
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
例
內容承載物理
and
BusinessRequirementDocument
Proposition
CognitiveAgent
and
Formula
例
Proposition
and
Plan
例
CognitiveAgent
and
Business
例
Formula
and
Process
代表
Proposition
and
Formula
慾望
CognitiveAgent
and
Formula
包含信息
內容承載物理
and
Proposition
(=>
(
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
例
服務
and
CheckInService
CognitiveAgent
CognitiveAgent
,
Process
and
Process
CognitiveAgent
是
CognitiveAgent
的
customer
服務提供者
服務
and
CognitiveAgent
例
Process
and
歡迎
agent
Process
and
CognitiveAgent
目的地
Process
and
CognitiveAgent
子過程
Process
and
服務
例
Process
and
Process
agent
Process
and
CognitiveAgent
原因
服務
and
Process
(=>
(
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
例
Object
and
TemperatureControl
Object
entity
例
Object
and
電器
部分
Object
and
Object
有目的
Object
and
entity
entity
例
entity
and
Region
例
entity
and
Process
儀器
entity
and
Object
結果
entity
and
entity
是
entity
的
air
溫度
(=>
(
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
例
Physical
and
EngineControlModule
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
汽車
例
entity
and
發動機
例
entity
and
Process
例
entity
and
Process
部分
entity
and
entity
部分
Physical
and
entity
entity
是
located
在
Physical
entity
是
located
在
entity
原因
entity
and
entity
(=>
(
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
例
試驗
and
試驗
entity
_EVENTS
例
entity
_EVENTS and
Collection
Process
例
Process
and
Process
control
在實驗
試驗
是
Process
Process
在
試驗
的
process
會員
Process
and
entity
_EVENTS
等於
events
在
試驗
and
entity
_EVENTS
(=>
(
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
例
Physical
and
Generator
有目的
Physical
and
entity
entity
例
entity
and
Process
例
entity
and
電力
結果
entity
and
entity
儀器
entity
and
Physical
(=>
(
instance
?H
HydraulicFluid
)
(
hasPurpose
?H
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
instrument
?P ?H)
(
holdsDuring
(
WhenFn
?P)
(
attribute
?H
Liquid
))))))
Cars.kif 1587-1596
例
Physical
and
HydraulicFluid
有目的
Physical
and
entity
例
entity
and
Process
儀器
entity
and
Physical
持有期間
何時
entity
and
attribute
Physical
and
液體
(=>
(
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
例
Physical
and
防護眼鏡
有目的
Physical
and
Physical
RSON
例
Physical
RSON and
Human
穿
Physical
RSON and
Physical
entity
entity
,
entity
,
entity
and
entity
例
entity
and
Process
儀器
entity
and
Physical
子類
entity
and
卡帕
entity
and
entity
例
entity
and
Injuring
例
entity
and
眼睛
例
entity
and
Human
適當的部分
entity
and
entity
患者
entity
and
entity
持有期間
entity
and
患者
entity
and
Physical
RSON
持有期間
entity
and
患者
entity
and
Physical
RSON
防止
entity
and
entity
(=>
(
instance
?PKU
PeacekeepingUnit
)
(
capability
(
KappaFn
?P
(
and
(
instance
?P
Process
)
(
instance
?V
ViolentContest
)
(
prevents
?P ?V)))
agent
?PKU))
Military.kif 89-96
例
Object
and
維和部隊
能力
卡帕
SymbolicString
and
例
SymbolicString
and
Process
例
entity
and
ViolentContest
防止
SymbolicString
and
entity
,
agent
and
Object
(=>
(
instance
?R
Recording
)
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
record
?R ?P))))
Mid-level-ontology.kif 14388-14393
例
ContentBearingObject
and
Recording
Physical
例
Physical
and
Process
ContentBearingObject
是個
Physical
的
record
(=>
(
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
例
Collection
and
CrossFunctionalTeam
Process
AutonomousAgent
,
AutonomousAgent
and
Entity
子類
Process
and
Process
例
AutonomousAgent
and
Human
例
AutonomousAgent
and
Human
會員
AutonomousAgent
and
Collection
會員
AutonomousAgent
and
Collection
有技巧
Process
and
AutonomousAgent
有技巧
Process
and
AutonomousAgent
例
Entity
and
Process
在感興趣的範圍內
Collection
and
Entity
(=>
(
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
例
內容承載物理
and
TestProtocolSpecification
Proposition
Process
and
Process
例
Proposition
and
Plan
例
Process
and
試驗
例
Process
and
Process
代表
Proposition
and
Process
子過程
Process
and
Process
包含信息
內容承載物理
and
Proposition
(=>
(
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
例
Physical
and
轉換開關
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
Process
例
entity
and
能量源
例
entity
and
能量源
例
entity
and
電力
儀器
entity
and
Physical
持有期間
開始
何時
entity
and
起源
entity
and
entity
持有期間
結束
何時
entity
and
起源
entity
and
entity
等於
entity
and
entity
(=>
(
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
例
Physical
and
閥
有目的
Physical
and
entity
entity
and
entity
例
entity
and
Transfer
路徑
entity
and
Physical
患者
entity
and
entity
attribute
entity
and
流體
例
entity
and
Process
儀器
entity
and
Physical
患者
entity
and
entity
(=>
(
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
例
Physical
and
AirConditioner
有目的
Physical
and
entity
entity
and
entity
位於
Physical
and
entity
例
entity
and
Process
儀器
entity
and
Physical
結果
entity
and
entity
是
entity
的
air
溫度
(=>
(
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
例
Physical
and
Earphone
有目的
Physical
and
entity
entity
,
entity
,
entity
and
entity
例
entity
and
電信號
患者
entity
and
entity
目的地
entity
and
Physical
例
entity
and
Process
儀器
entity
and
Physical
患者
entity
and
entity
結果
entity
and
entity
例
entity
and
RadiatingSound
起源
entity
and
Physical
之前
開始
何時
entity
and
開始
何時
entity
之前
開始
何時
entity
and
開始
何時
entity
例
entity
and
耳
方位
Physical
,
entity
and
鄰
(=>
(
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
例
Physical
and
SafetyDevice
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
Human
例
entity
and
Process
患者
entity
and
entity
儀器
entity
and
Physical
防止
entity
and
卡帕
entity
and
例
entity
and
Injuring
持有期間
entity
and
體驗者
entity
and
entity
持有期間
entity
and
患者
entity
and
entity
(=>
(
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
例
Physical
and
SeatBelt
有目的
Physical
and
entity
entity
,
entity
and
entity
例
entity
and
車輛
部分
Physical
and
entity
例
entity
and
Human
包含
entity
and
entity
例
entity
and
Process
防止
entity
and
卡帕
entity
and
例
entity
and
易位
患者
entity
and
entity
entity
例
entity
and
減速
例
entity
and
Impacting
體驗者
entity
and
entity
原因
entity
and
entity
模態屬性
entity
entity
例
entity
and
Injuring
例
entity
and
Impacting
原因
entity
and
entity
患者
entity
and
entity
子過程
entity
and
entity
and
可能性
(=>
(
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
例
Physical
and
Tripod
有目的
Physical
and
entity
entity
and
entity
例
entity
and
Artifact
例
entity
and
Putting
患者
entity
and
entity
目的地
entity
and
Physical
例
entity
and
Process
儀器
entity
and
entity
之前
結束
何時
entity
and
開始
何時
entity
(=>
(
instance
?X
VideoRecording
)
(
exists
(?EV)
(
and
(
instance
?EV
Process
)
(
represents
?X ?EV)
(
capability
RadiatingLight
patient
?X))))
Mid-level-ontology.kif 14433-14439
例
Object
and
視頻錄製
Entity
例
Entity
and
Process
代表
Object
and
Entity
能力
RadiatingLight
,
患者
and
Object
(=>
(
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
AutonomousAgent
produces
Human
Process
Process
例
Process
and
Managing
agent
Process
and
AutonomousAgent
患者
Process
and
Process
例
Process
and
Process
結果
Process
and
Human
(=>
(
producedOn
?R ?D)
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
result
?P ?R)
(
equal
?D
(
WhenFn
(
EndFn
?P))))))
Music.kif 96-104
Recording
是
produced
在
TimeInterval
TimeInterval
例
TimeInterval
and
Process
結果
TimeInterval
and
Recording
等於
TimeInterval
and
何時
結束
TimeInterval
(=>
(
property
?TEST
ABTest
)
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experimentalControlProcess
?TEST ?PROCESS))))
UXExperimentalTerms.kif 4425-4430
屬性
試驗
and
ABTest
Process
例
Process
and
Process
control
在實驗
試驗
是
Process
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