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
Processo
è un'
istanza
di
DustStorm
Processo
è un'
istanza
di
Wind
Processo
è un
sottoprocesso
di
Processo
Trasferimento
Oggetto
,
Oggetto
,
Oggetto
,
Oggetto
and
NumeroReale
Oggetto
è un'
istanza
di
SuperficieTerrestre
eventLocated
Processo
and
Oggetto
surfaceWindSpeed
Oggetto
and
NumeroReale
KnotUnitOfSpeed
(s
NumeroReale
è
pi
ù grande di 30.0
Trasferimento
è un'
istanza
di
Translocation
Trasferimento
è un
sottoprocesso
di
Processo
objectTransferred
Trasferimento
and
Oggetto
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
ParticulateMatter
Oggetto
è un'
istanza
di
Sand
Oggetto
è un'
istanza
di
SuperficieTerrestre
Trasferimento
fine
s in
Oggetto
Oggetto
non
si
sovrappone a
Oggetto
(=>
(
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
Processo
è un'
istanza
di
Edema
AutonomousAgent
esperisce
s
Processo
Movimento
Oggetto
and
Oggetto
Movimento
è un'
istanza
di
Trasferimento
Oggetto
è un'
istanza
di
Liquid
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
AutonomousAgent
Movimento
fine
s in
Oggetto
moves
Movimento
and
Oggetto
Movimento
è un
sottoprocesso
di
Processo
(=>
(
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
Processo
è un'
istanza
di
Epidemic
involvedInEvent
Processo
and
AutonomousAgent
Attributo
è un'
istanza
di
MalattiaOSindrome
attribute
AutonomousAgent
and
Attributo
Processo
Processo
è un'
istanza
di
ProcessoPatologico
AutonomousAgent
esperisce
s
Processo
Processo
è un
sottoprocesso
di
Processo
(=>
(
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
Movimento
è un'
istanza
di
Extension
moves
Movimento
and
Oggetto
Oggetto
Oggetto
C
Oggetto
è un'
istanza
di
Muscolo
Oggetto
C è un'
istanza
di
MuscularContraction
Oggetto
è uno
strumento
per
Movimento
Oggetto
è
connesso
a
Oggetto
Oggetto
C è un
sottoprocesso
di
Movimento
(=>
(
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
Processo
è un'
istanza
di
ExperiencingALumpInTheThroat
AutonomousAgent
esperisce
s
Processo
Processo
Oggetto
Processo
è un'
istanza
di
Percezione
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Throat
Oggetto
è una
parte
di
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
Processo
è un'
istanza
di
ExperiencingDiscomfortInTheStomach
AutonomousAgent
esperisce
s
Processo
Processo
Processo
AIN and
Oggetto
Processo
è un'
istanza
di
Percezione
il
tempo
di esistenza di
Processo
has luogo
durante
il
tempo
di esistenza di
Processo
AIN
Processo
AIN è un'
istanza
di
Pain
AutonomousAgent
esperisce
s
Processo
AIN
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
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
Processo
è un'
istanza
di
ExperiencingHeatInCheeksOrChest
AutonomousAgent
esperisce
s
Processo
Processo
Oggetto
Processo
è un'
istanza
di
Percezione
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Torso
Oggetto
è un'
istanza
di
Face
Oggetto
è una
parte
di
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
Processo
è un'
istanza
di
Evacuation
Processo
è un
agente
di
Organizzazione
AutonomousAgent
esperisce
s
Processo
Processo
Processo
A
Processo
è un'
istanza
di
Classificare
Processo
è un
sottoprocesso
di
Processo
AutonomousAgent
esperisce
s
Processo
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
Processo
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
Processo
è un'
istanza
di
Evacuation
Processo
è un
agente
di
Organizzazione
Processo
si
originas in
Oggetto
Processo
Processo
A
Processo
è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
Processo
si
originas in
Oggetto
Processo
A
esperisce
s
Processo
Processo
è un
agente
di
Processo
A
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
(=>
(
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
Processo
è un'
istanza
di
Evacuation
AutonomousAgent
esperisce
s
Processo
Processo
è un
agente
di
Organizzazione
Processo
Processo
A
Processo
è un'
istanza
di
ProcessoTerapeutico
Processo
è un
sottoprocesso
di
Processo
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
Processo
A
AutonomousAgent
esperisce
s
Processo
(=>
(
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
Processo
è un'
istanza
di
Evacuation
Processo
si
originas in
Oggetto
Processo
è un
agente
di
Organizzazione
Processo
Processo
A
Processo
è un'
istanza
di
Mantenere
eventLocated
Processo
and
Oggetto
Processo
è un
sottoprocesso
di
Processo
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
Processo
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
Processo
è un'
istanza
di
Evacuation
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Processo
Processo
è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
Processo
fine
s in
Entit�
Processo
si
originas in
Oggetto
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
subProcess
?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 3829-3833
Experimenting
è un'
istanza
di
Experimenting
experimentalControlProcess
Experimenting
and
Processo
Processo
è un
sottoprocesso
di
Experimenting
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
subProcess
?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 3882-3886
Experimenting
è un'
istanza
di
Experimenting
experimentalVariableProcess
Experimenting
and
Processo
Processo
è un
sottoprocesso
di
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
Movimento
è un'
istanza
di
Flexion
moves
Movimento
and
Oggetto
Oggetto
Oggetto
C
Oggetto
è un'
istanza
di
Muscolo
Oggetto
C è un'
istanza
di
MuscularContraction
Oggetto
è uno
strumento
per
Movimento
Oggetto
è
connesso
a
Oggetto
Oggetto
C è un
sottoprocesso
di
Movimento
(=>
(
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
Processo
è un'
istanza
di
Folding
Oggetto
è un
paziente
di
Processo
Processo
Oggetto
and
Oggetto
Processo
è un'
istanza
di
Coprire
Processo
è un
sottoprocesso
di
Processo
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è uno
strumento
per
Processo
Oggetto
è un
paziente
di
Processo
(=>
(
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
Processo
è un'
istanza
di
FourStrokeCombustion
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Oggetto
O
Oggetto
O è un'
istanza
di
Combustione
Oggetto
O è un
sottoprocesso
di
Processo
(=>
(
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
Processo
è un'
istanza
di
FourStrokeExhaust
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Entit�
Processo
Processo
è un'
istanza
di
GasMotion
Entit�
è un'
istanza
di
Exhaust
Processo
è un
sottoprocesso
di
Processo
Processo
si
originas in
apertura
Entit�
è un
paziente
di
Processo
(=>
(
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
Processo
è un'
istanza
di
FourStrokeIntake
Oggetto
è un'
istanza
di
EngineCylinder
apertura
è un'
istanza
di
InternalCombustionChamber
Oggetto
is
uguale
a
HoleHostFn
apertura
eventLocated
Processo
and
Oggetto
Processo
V
Processo
Processo
è un'
istanza
di
GasMotion
Processo
V è un'
istanza
di
FuelVapor
Processo
è un
sottoprocesso
di
Processo
Processo
fine
s in
apertura
Processo
V è un
paziente
di
Processo
(=>
(
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
Processo
è un'
istanza
di
FlashingLight
Processo
si
originas in
Oggetto
Processo
IntervalloTemporale
and
Processo
Processo
è un'
istanza
di
RadiazioneLuminosa
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
è un'
istanza
di
RadiazioneLuminosa
il
tempo
di esistenza di
Processo
incontra
s
IntervalloTemporale
IntervalloTemporale
incontra
s il
tempo
di esistenza di
Processo
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
RadiazioneLuminosa
IntervalloTemporale
si
originas in
Oggetto
il
tempo
di esistenza di
IntervalloTemporale
has luogo
durante
IntervalloTemporale
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
patient
?FM ?M)
(
instance
?M
ProcessedMilk
)
(
instance
?A
Aerating
)
(
patient
?A ?M))
(
subProcess
?A ?FM))
Food.kif 1218-1225
Processo
è un'
istanza
di
FoamingMilk
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
ProcessedMilk
Processo
è un'
istanza
di
Aerating
Entit�
è un
paziente
di
Processo
Processo
è un
sottoprocesso
di
Processo
(=>
(
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
Oggetto
è un'
istanza
di
Gun
Oggetto
è un'
istanza
di
GunBarrel
Oggetto
è una
parte
di
Oggetto
Processo
è un'
istanza
di
Sparare
Oggetto
è uno
strumento
per
Processo
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Projectile
Processo
UB
Processo
UB è un
sottoprocesso
di
Processo
Oggetto
è
cammino
mentre
Processo
UB si verifica
(=>
(
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
Processo
è un'
istanza
di
GERefluxDisease
AutonomousAgent
esperisce
s
Processo
Processo
Oggetto
and
Oggetto
Processo
è un'
istanza
di
Trasferimento
Processo
si
originas in
Oggetto
Oggetto
è un'
istanza
di
Stomach
Oggetto
è un'
istanza
di
Esophagus
Processo
fine
s in
Oggetto
Oggetto
è una
parte
di
AutonomousAgent
Oggetto
è una
parte
di
AutonomousAgent
Processo
è un
sottoprocesso
di
Processo
(=>
(
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
è un'
istanza
di
MarchingBand
Processo
è un'
istanza
di
MusicalPerformance
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un'
istanza
di
Outdoors
eventLocated
Processo
and
Oggetto
Processo
Processo
è un'
istanza
di
Ambulating
Processo
è un
sottoprocesso
di
Processo
(=>
(
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
Processo
è un'
istanza
di
HeartBeat
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Heart
Processo
Processo
Processo
è un'
istanza
di
MuscularContraction
Entit�
è un
paziente
di
Processo
Processo
è un'
istanza
di
MuscleRelaxing
Entit�
è un
paziente
di
Processo
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
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