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 1259-1280
例
Process
and
塵暴
例
Process
and
風
子過程
Process
and
Process
Transfer
Object
,
Object
,
Object
,
Object
and
RealNumber
例
Object
and
LandArea
Process
是
located
在
Object
測量
RealNumber
and
結速度單位
是
Object
的
surface
風速
比較多
RealNumber
and 30.0
例
Transfer
and
易位
子過程
Transfer
and
Process
objectTransferred
Transfer
and
Object
objectTransferred
Transfer
and
Object
例
Object
and
ParticulateMatter
例
Object
and
砂
例
Object
and
LandArea
目的地
Transfer
and
Object
在空間上重疊
Object
and
Object
(=>
(
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 9991-10003
例
Process
and
Edema
體驗者
Process
and
AutonomousAgent
Motion
Object
and
Object
例
Motion
and
Transfer
例
Object
and
液體
例
Object
and
BodyPart
部分
Object
and
AutonomousAgent
目的地
Motion
and
Object
移動
Motion
and
Object
子過程
Motion
and
Process
(=>
(
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
例
Process
and
Epidemic
AutonomousAgent
是事件
Process
的
involved
例
Attribute
and
DiseaseOrSyndrome
attribute
AutonomousAgent
and
Attribute
Process
例
Process
and
PathologicProcess
體驗者
Process
and
AutonomousAgent
子過程
Process
and
Process
(=>
(
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 10674-10684
例
Motion
and
Extension
移動
Motion
and
Object
Object
Object
C
例
Object
and
Muscle
例
Object
C and
MuscularContraction
儀器
Motion
and
Object
連接的
Object
and
Object
子過程
Object
C and
Motion
(=>
(
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
例
Process
and
ExperiencingALumpInTheThroat
體驗者
Process
and
AutonomousAgent
Process
Object
例
Process
and
Perception
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
患者
Process
and
Object
例
Object
and
喉
部分
Object
and
AutonomousAgent
(=>
(
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
例
Process
and
ExperiencingDiscomfortInTheStomach
體驗者
Process
and
AutonomousAgent
Process
Process
AIN and
Object
例
Process
and
Perception
期間
何時
Process
and
何時
Process
AIN
例
Process
AIN and
痛
體驗者
Process
AIN and
AutonomousAgent
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
患者
Process
and
Object
例
Object
and
胃
部分
Object
and
AutonomousAgent
(=>
(
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
例
Process
and
ExperiencingHeatInCheeksOrChest
體驗者
Process
and
AutonomousAgent
Process
Object
例
Process
and
Perception
子過程
Process
and
Process
agent
Process
and
AutonomousAgent
患者
Process
and
Object
例
Object
and
軀幹
例
Object
and
面對
部分
Object
and
AutonomousAgent
(=>
(
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
例
Process
and
疏散
agent
Process
and
Organization
體驗者
Process
and
AutonomousAgent
Process
Process
A
例
Process
and
Classifying
子過程
Process
and
Process
體驗者
Process
and
AutonomousAgent
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
(=>
(
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
例
Process
and
疏散
agent
Process
and
Organization
起源
Process
and
Object
Process
Process
A
例
Process
and
易位
子過程
Process
and
Process
起源
Process
and
Object
體驗者
Process
and
Process
A
agent
Process
and
Process
A
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
(=>
(
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
例
Process
and
疏散
體驗者
Process
and
AutonomousAgent
agent
Process
and
Organization
Process
Process
A
例
Process
and
TherapeuticProcess
子過程
Process
and
Process
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
體驗者
Process
and
AutonomousAgent
(=>
(
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
例
Process
and
疏散
起源
Process
and
Object
agent
Process
and
Organization
Process
Process
A
例
Process
and
Maintaining
Process
是
located
在
Object
子過程
Process
and
Process
子組織
Process
A and
Organization
會員
Process
A and
Organization
等於
Process
A and
Organization
agent
Process
and
Process
A
(=>
(
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
例
Process
and
疏散
起源
Process
and
Object
目的地
Process
and
Entity
Process
例
Process
and
易位
子過程
Process
and
Process
目的地
Process
and
Entity
起源
Process
and
Object
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
subProcess
?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 3829-3833
例
試驗
and
試驗
control
在實驗
試驗
是
Process
子過程
Process
and
試驗
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
subProcess
?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 3882-3886
例
試驗
and
試驗
Process
在
試驗
的
process
子過程
Process
and
試驗
(=>
(
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 10634-10644
例
Motion
and
Flexion
移動
Motion
and
Object
Object
Object
C
例
Object
and
Muscle
例
Object
C and
MuscularContraction
儀器
Motion
and
Object
連接的
Object
and
Object
子過程
Object
C and
Motion
(=>
(
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 3162-3173
例
Process
and
摺頁
患者
Process
and
Object
Process
Object
and
Object
例
Process
and
Covering
子過程
Process
and
Process
部分
Object
and
Object
部分
Object
and
Object
儀器
Process
and
Object
患者
Process
and
Object
(=>
(
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
例
Process
and
FourStrokeCombustion
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
Object
O
例
Object
O and
Combustion
子過程
Object
O and
Process
(=>
(
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
例
Process
and
FourStrokeExhaust
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
Entity
Process
例
Process
and
氣體運動
例
Entity
and
Exhaust
子過程
Process
and
Process
起源
Process
and
HoleRegion
患者
Process
and
Entity
(=>
(
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
例
Process
and
FourStrokeIntake
例
Object
and
EngineCylinder
例
HoleRegion
and
InternalCombustionChamber
等於
Object
and
洞主持人
HoleRegion
Process
是
located
在
Object
Process
V
Process
例
Process
and
氣體運動
例
Process
V and
FuelVapor
子過程
Process
and
Process
目的地
Process
and
HoleRegion
患者
Process
and
Process
V
(=>
(
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 636-654
例
Process
and
FlashingLight
起源
Process
and
Object
Process
TimeInterval
and
Process
例
Process
and
RadiatingLight
例
TimeInterval
and
TimeInterval
例
Process
and
RadiatingLight
短暫相遇
何時
Process
and
TimeInterval
短暫相遇
TimeInterval
and
何時
Process
TimeInterval
例
TimeInterval
and
RadiatingLight
起源
TimeInterval
and
Object
期間
何時
TimeInterval
and
TimeInterval
子過程
Process
and
Process
子過程
Process
and
Process
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
patient
?FM ?M)
(
instance
?M
ProcessedMilk
)
(
instance
?A
Aerating
)
(
patient
?A ?M))
(
subProcess
?A ?FM))
Food.kif 1218-1225
例
Process
and
FoamingMilk
患者
Process
and
Entity
例
Entity
and
ProcessedMilk
例
Process
and
曝氣
患者
Process
and
Entity
子過程
Process
and
Process
(=>
(
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 1228-1240
例
Object
and
槍
例
Object
and
槍管
部分
Object
and
Object
例
Process
and
Shooting
儀器
Process
and
Object
患者
Process
and
Entity
例
Entity
and
拋射物
Process
UB
子過程
Process
UB and
Process
路徑
Process
UB and
Object
(=>
(
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
例
Process
and
GERefluxDisease
體驗者
Process
and
AutonomousAgent
Process
Object
and
Object
例
Process
and
Transfer
起源
Process
and
Object
例
Object
and
胃
例
Object
and
Esophagus
目的地
Process
and
Object
部分
Object
and
AutonomousAgent
部分
Object
and
AutonomousAgent
子過程
Process
and
Process
(=>
(
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
and
MarchingBand
例
Process
and
音樂表演
agent
Process
and
AutonomousAgent
例
Object
and
在戶外
Process
是
located
在
Object
Process
例
Process
and
走動
子過程
Process
and
Process
(=>
(
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 10755-10767
例
Process
and
HeartBeat
患者
Process
and
Entity
例
Entity
and
心
Process
Process
例
Process
and
MuscularContraction
患者
Process
and
Entity
例
Process
and
MuscleRelaxing
患者
Process
and
Entity
子過程
Process
and
Process
子過程
Process
and
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