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
Processus
est une
instance
de
DustStorm
processus
est une
instance
de
Wind
processus
est un
sous
-processus de
processus
transf�re
objet
,
objet
,
objet
,
objet
and
nombre r�el
objet
est une
instance
de
zone de terre
eventLocated
processus
and
objet
surfaceWindSpeed
objet
and
nombre r�el
KnotUnitOfSpeed
(s)
nombre r�el
est
plus
grand
que 30.0
transf�re
est une
instance
de
Translocation
transf�re
est un
sous
-processus de
processus
objectTransferred
transf�re
and
objet
objectTransferred
transf�re
and
objet
objet
est une
instance
de
ParticulateMatter
objet
est une
instance
de
Sand
objet
est une
instance
de
zone de terre
transf�re
aboutit
�
objet
objet
ne
recouvre
%n{pas}
objet
(=>
(
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
Processus
est une
instance
de
Edema
AutonomousAgent
exp
�rimente
processus
d�palcement
objet
and
objet
d�palcement
est une
instance
de
transf�re
objet
est une
instance
de
Liquid
objet
est une
instance
de
partie du corps
objet
est une
partie
de
AutonomousAgent
d�palcement
aboutit
�
objet
moves
d�palcement
and
objet
d�palcement
est un
sous
-processus de
processus
(=>
(
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
Processus
est une
instance
de
Epidemic
involvedInEvent
processus
and
AutonomousAgent
attribut
est une
instance
de
maladie ou syndrome
attribut
est un
attribut
de
AutonomousAgent
processus
processus
est une
instance
de
processus pathologique
AutonomousAgent
exp
�rimente
processus
processus
est un
sous
-processus de
processus
(=>
(
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
D�palcement
est une
instance
de
Extension
moves
d�palcement
and
objet
objet
objet
C
objet
est une
instance
de
muscle
objet
C est une
instance
de
MuscularContraction
objet
est un
instrument
pour
d�palcement
objet
est
connect
� �
objet
objet
C est un
sous
-processus de
d�palcement
(=>
(
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
Processus
est une
instance
de
ExperiencingALumpInTheThroat
AutonomousAgent
exp
�rimente
processus
processus
objet
processus
est une
instance
de
perception
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
Throat
objet
est une
partie
de
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
Processus
est une
instance
de
ExperiencingDiscomfortInTheStomach
AutonomousAgent
exp
�rimente
processus
processus
processus
AIN and
objet
processus
est une
instance
de
perception
temps
d'existence de
processus
prend place
pendant
temps
d'existence de
processus
AIN
processus
AIN est une
instance
de
Pain
AutonomousAgent
exp
�rimente
processus
AIN
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
Stomach
objet
est une
partie
de
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
Processus
est une
instance
de
ExperiencingHeatInCheeksOrChest
AutonomousAgent
exp
�rimente
processus
processus
objet
processus
est une
instance
de
perception
processus
est un
sous
-processus de
processus
processus
est un
agent
de
AutonomousAgent
objet
est un
patient
de
processus
objet
est une
instance
de
Torso
objet
est une
instance
de
Face
objet
est une
partie
de
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
Processus
est une
instance
de
Evacuation
processus
est un
agent
de
organisation
AutonomousAgent
exp
�rimente
processus
processus
processus
A
processus
est une
instance
de
classifier
processus
est un
sous
-processus de
processus
AutonomousAgent
exp
�rimente
processus
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
processus
est un
agent
de
processus
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
Processus
est une
instance
de
Evacuation
processus
est un
agent
de
organisation
processus
a pour
origine
objet
processus
processus
A
processus
est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
processus
a pour
origine
objet
processus
A
exp
�rimente
processus
processus
est un
agent
de
processus
A
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
(=>
(
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
Processus
est une
instance
de
Evacuation
AutonomousAgent
exp
�rimente
processus
processus
est un
agent
de
organisation
processus
processus
A
processus
est une
instance
de
processus therapeutique
processus
est un
sous
-processus de
processus
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
processus
est un
agent
de
processus
A
AutonomousAgent
exp
�rimente
processus
(=>
(
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
Processus
est une
instance
de
Evacuation
processus
a pour
origine
objet
processus
est un
agent
de
organisation
processus
processus
A
processus
est une
instance
de
maintenir
eventLocated
processus
and
objet
processus
est un
sous
-processus de
processus
processus
A est une partie de l'organization
organisation
processus
A est un
membre
de
organisation
processus
A est
organisation
processus
est un
agent
de
processus
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
Processus
est une
instance
de
Evacuation
processus
a pour
origine
objet
processus
aboutit
�
entit�
processus
processus
est une
instance
de
Translocation
processus
est un
sous
-processus de
processus
processus
aboutit
�
entit�
processus
a pour
origine
objet
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
subProcess
?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 3829-3833
Experimenting
est une
instance
de
Experimenting
experimentalControlProcess
Experimenting
and
processus
processus
est un
sous
-processus de
Experimenting
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
subProcess
?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 3882-3886
Experimenting
est une
instance
de
Experimenting
experimentalVariableProcess
Experimenting
and
processus
processus
est un
sous
-processus de
Experimenting
(=>
(
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
D�palcement
est une
instance
de
Flexion
moves
d�palcement
and
objet
objet
objet
C
objet
est une
instance
de
muscle
objet
C est une
instance
de
MuscularContraction
objet
est un
instrument
pour
d�palcement
objet
est
connect
� �
objet
objet
C est un
sous
-processus de
d�palcement
(=>
(
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
Processus
est une
instance
de
Folding
objet
est un
patient
de
processus
processus
objet
and
objet
processus
est une
instance
de
couvrir
processus
est un
sous
-processus de
processus
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est un
instrument
pour
processus
objet
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
FourStrokeCombustion
objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
objet
O
objet
O est une
instance
de
combustion
objet
O est un
sous
-processus de
processus
(=>
(
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
Processus
est une
instance
de
FourStrokeExhaust
objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
entit�
processus
processus
est une
instance
de
GasMotion
entit�
est une
instance
de
Exhaust
processus
est un
sous
-processus de
processus
processus
a pour
origine
trou
entit�
est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
FourStrokeIntake
objet
est une
instance
de
EngineCylinder
trou
est une
instance
de
InternalCombustionChamber
objet
est
h
�te du trou
trou
eventLocated
processus
and
objet
processus
V
processus
processus
est une
instance
de
GasMotion
processus
V est une
instance
de
FuelVapor
processus
est un
sous
-processus de
processus
processus
aboutit
�
trou
processus
V est un
patient
de
processus
(=>
(
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
Processus
est une
instance
de
FlashingLight
processus
a pour
origine
objet
processus
interval temporel
and
processus
processus
est une
instance
de
lumi�re irradiante
interval temporel
est une
instance
de
interval temporel
processus
est une
instance
de
lumi�re irradiante
temps
d'existence de
processus
rencontre
interval temporel
interval temporel
rencontre
temps
d'existence de
processus
interval temporel
interval temporel
est une
instance
de
lumi�re irradiante
interval temporel
a pour
origine
objet
temps
d'existence de
interval temporel
prend place
pendant
interval temporel
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
patient
?FM ?M)
(
instance
?M
ProcessedMilk
)
(
instance
?A
Aerating
)
(
patient
?A ?M))
(
subProcess
?A ?FM))
Food.kif 1218-1225
Processus
est une
instance
de
FoamingMilk
entit�
est un
patient
de
processus
entit�
est une
instance
de
ProcessedMilk
processus
est une
instance
de
Aerating
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
processus
(=>
(
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
Objet
est une
instance
de
Gun
objet
est une
instance
de
GunBarrel
objet
est une
partie
de
objet
processus
est une
instance
de
tirer
objet
est un
instrument
pour
processus
entit�
est un
patient
de
processus
entit�
est une
instance
de
Projectile
processus
UB
processus
UB est un
sous
-processus de
processus
objet
est le
chemin
le long duquel
processus
UB se produit
(=>
(
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
Processus
est une
instance
de
GERefluxDisease
AutonomousAgent
exp
�rimente
processus
processus
objet
and
objet
processus
est une
instance
de
transf�re
processus
a pour
origine
objet
objet
est une
instance
de
Stomach
objet
est une
instance
de
Esophagus
processus
aboutit
�
objet
objet
est une
partie
de
AutonomousAgent
objet
est une
partie
de
AutonomousAgent
processus
est un
sous
-processus de
processus
(=>
(
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
est une
instance
de
MarchingBand
processus
est une
instance
de
MusicalPerformance
processus
est un
agent
de
AutonomousAgent
objet
est une
instance
de
Outdoors
eventLocated
processus
and
objet
processus
processus
est une
instance
de
Ambulating
processus
est un
sous
-processus de
processus
(=>
(
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
Processus
est une
instance
de
HeartBeat
entit�
est un
patient
de
processus
entit�
est une
instance
de
Heart
processus
processus
processus
est une
instance
de
MuscularContraction
entit�
est un
patient
de
processus
processus
est une
instance
de
MuscleRelaxing
entit�
est un
patient
de
processus
processus
est un
sous
-processus de
processus
processus
est un
sous
-processus de
processus
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