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
e' uma
instancia
de
DustStorm
Processo
e' uma
instancia
de
Wind
Processo
e' um
sub
-processo de
Processo
Transferencia
Objeto
,
Objeto
,
Objeto
,
Objeto
and
Numero Real
Objeto
e' uma
instancia
de
Area terrestre
eventLocated
Processo
and
Objeto
surfaceWindSpeed
Objeto
and
Numero Real
KnotUnitOfSpeed
(s)
Numero Real
e'
maior
que 30.0
Transferencia
e' uma
instancia
de
Translocation
Transferencia
e' um
sub
-processo de
Processo
objectTransferred
Transferencia
and
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
ParticulateMatter
Objeto
e' uma
instancia
de
Sand
Objeto
e' uma
instancia
de
Area terrestre
Transferencia
termina
em
Objeto
Objeto
nao
engloba
%n
Objeto
(=>
(
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
e' uma
instancia
de
Edema
AutonomousAgent
experimenta
Processo
Movimento
Objeto
and
Objeto
Movimento
e' uma
instancia
de
Transferencia
Objeto
e' uma
instancia
de
Liquid
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
AutonomousAgent
Movimento
termina
em
Objeto
moves
Movimento
and
Objeto
Movimento
e' um
sub
-processo de
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
e' uma
instancia
de
Epidemic
involvedInEvent
Processo
and
AutonomousAgent
Atributo
e' uma
instancia
de
Doenca ou Sindrome
Atributo
e' um
atributo
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Processo Patologico
AutonomousAgent
experimenta
Processo
Processo
e' um
sub
-processo de
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
e' uma
instancia
de
Extension
moves
Movimento
and
Objeto
Objeto
Objeto
C
Objeto
e' uma
instancia
de
Musculo
Objeto
C e' uma
instancia
de
MuscularContraction
Objeto
e' um
instrumento
para
Movimento
Objeto
e'
conectado
com
Objeto
Objeto
C e' um
sub
-processo de
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
e' uma
instancia
de
ExperiencingALumpInTheThroat
AutonomousAgent
experimenta
Processo
Processo
Objeto
Processo
e' uma
instancia
de
Percepcao
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Throat
Objeto
e' uma &parte 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
Processo
e' uma
instancia
de
ExperiencingDiscomfortInTheStomach
AutonomousAgent
experimenta
Processo
Processo
Processo
AIN and
Objeto
Processo
e' uma
instancia
de
Percepcao
tempo
de existencia de
Processo
acontece
durante
tempo
de existencia de
Processo
AIN
Processo
AIN e' uma
instancia
de
Pain
AutonomousAgent
experimenta
Processo
AIN
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte 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
Processo
e' uma
instancia
de
ExperiencingHeatInCheeksOrChest
AutonomousAgent
experimenta
Processo
Processo
Objeto
Processo
e' uma
instancia
de
Percepcao
Processo
e' um
sub
-processo de
Processo
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Torso
Objeto
e' uma
instancia
de
Face
Objeto
e' uma &parte 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
Processo
e' uma
instancia
de
Evacuation
Processo
e' um
agente
de
Organizacao
AutonomousAgent
experimenta
Processo
Processo
Processo
A
Processo
e' uma
instancia
de
Classificar
Processo
e' um
sub
-processo de
Processo
AutonomousAgent
experimenta
Processo
Processo
A e' uma parte da organizacao
Organizacao
Processo
A e'
membro
de
Organizacao
Processo
A e'
igual
a
Organizacao
Processo
e' um
agente
de
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
e' uma
instancia
de
Evacuation
Processo
e' um
agente
de
Organizacao
Processo
tem como
origem
Objeto
Processo
Processo
A
Processo
e' uma
instancia
de
Translocation
Processo
e' um
sub
-processo de
Processo
Processo
tem como
origem
Objeto
Processo
A
experimenta
Processo
Processo
e' um
agente
de
Processo
A
Processo
A e' uma parte da organizacao
Organizacao
Processo
A e'
membro
de
Organizacao
Processo
A e'
igual
a
Organizacao
(=>
(
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
e' uma
instancia
de
Evacuation
AutonomousAgent
experimenta
Processo
Processo
e' um
agente
de
Organizacao
Processo
Processo
A
Processo
e' uma
instancia
de
Processo Terapeutico
Processo
e' um
sub
-processo de
Processo
Processo
A e' uma parte da organizacao
Organizacao
Processo
A e'
membro
de
Organizacao
Processo
A e'
igual
a
Organizacao
Processo
e' um
agente
de
Processo
A
AutonomousAgent
experimenta
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
e' uma
instancia
de
Evacuation
Processo
tem como
origem
Objeto
Processo
e' um
agente
de
Organizacao
Processo
Processo
A
Processo
e' uma
instancia
de
Preservar
eventLocated
Processo
and
Objeto
Processo
e' um
sub
-processo de
Processo
Processo
A e' uma parte da organizacao
Organizacao
Processo
A e'
membro
de
Organizacao
Processo
A e'
igual
a
Organizacao
Processo
e' um
agente
de
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
e' uma
instancia
de
Evacuation
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Processo
Processo
e' uma
instancia
de
Translocation
Processo
e' um
sub
-processo de
Processo
Processo
termina
em
Entidade
Processo
tem como
origem
Objeto
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalControlProcess
?EXPERIMENT ?CONTROL))
(
subProcess
?CONTROL ?EXPERIMENT))
UXExperimentalTerms.kif 3829-3833
Experimenting
e' uma
instancia
de
Experimenting
experimentalControlProcess
Experimenting
and
Processo
Processo
e' um
sub
-processo de
Experimenting
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
experimentalVariableProcess
?EXPERIMENT ?VARIABLE))
(
subProcess
?VARIABLE ?EXPERIMENT))
UXExperimentalTerms.kif 3882-3886
Experimenting
e' uma
instancia
de
Experimenting
experimentalVariableProcess
Experimenting
and
Processo
Processo
e' um
sub
-processo 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
Movimento
e' uma
instancia
de
Flexion
moves
Movimento
and
Objeto
Objeto
Objeto
C
Objeto
e' uma
instancia
de
Musculo
Objeto
C e' uma
instancia
de
MuscularContraction
Objeto
e' um
instrumento
para
Movimento
Objeto
e'
conectado
com
Objeto
Objeto
C e' um
sub
-processo de
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
e' uma
instancia
de
Folding
Objeto
e' um
patient
de
Processo
Processo
Objeto
and
Objeto
Processo
e' uma
instancia
de
Cobrir
Processo
e' um
sub
-processo de
Processo
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
patient
de
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
e' uma
instancia
de
FourStrokeCombustion
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Objeto
O
Objeto
O e' uma
instancia
de
Combustao
Objeto
O e' um
sub
-processo de
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
e' uma
instancia
de
FourStrokeExhaust
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Entidade
Processo
Processo
e' uma
instancia
de
GasMotion
Entidade
e' uma
instancia
de
Exhaust
Processo
e' um
sub
-processo de
Processo
Processo
tem como
origem
Buraco
Entidade
e' um
patient
de
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
e' uma
instancia
de
FourStrokeIntake
Objeto
e' uma
instancia
de
EngineCylinder
Buraco
e' uma
instancia
de
InternalCombustionChamber
Objeto
e'
igual
a o
dono
do buraco
Buraco
eventLocated
Processo
and
Objeto
Processo
V
Processo
Processo
e' uma
instancia
de
GasMotion
Processo
V e' uma
instancia
de
FuelVapor
Processo
e' um
sub
-processo de
Processo
Processo
termina
em
Buraco
Processo
V e' um
patient
de
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
e' uma
instancia
de
FlashingLight
Processo
tem como
origem
Objeto
Processo
Intervalo Temporal
and
Processo
Processo
e' uma
instancia
de
Luz Irradiante
Intervalo Temporal
e' uma
instancia
de
Intervalo Temporal
Processo
e' uma
instancia
de
Luz Irradiante
tempo
de existencia de
Processo
encontra
Intervalo Temporal
Intervalo Temporal
encontra
tempo
de existencia de
Processo
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
Luz Irradiante
Intervalo Temporal
tem como
origem
Objeto
tempo
de existencia de
Intervalo Temporal
acontece
durante
Intervalo Temporal
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
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
e' uma
instancia
de
FoamingMilk
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
ProcessedMilk
Processo
e' uma
instancia
de
Aerating
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
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
Objeto
e' uma
instancia
de
Gun
Objeto
e' uma
instancia
de
GunBarrel
Objeto
e' uma &parte de
Objeto
Processo
e' uma
instancia
de
Atirar
Objeto
e' um
instrumento
para
Processo
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Projectile
Processo
UB
Processo
UB e' um
sub
-processo de
Processo
Objeto
e' o
caminho
ao longo do qual
Processo
UB ocorre
(=>
(
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
e' uma
instancia
de
GERefluxDisease
AutonomousAgent
experimenta
Processo
Processo
Objeto
and
Objeto
Processo
e' uma
instancia
de
Transferencia
Processo
tem como
origem
Objeto
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma
instancia
de
Esophagus
Processo
termina
em
Objeto
Objeto
e' uma &parte de
AutonomousAgent
Objeto
e' uma &parte de
AutonomousAgent
Processo
e' um
sub
-processo de
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
e' uma
instancia
de
MarchingBand
Processo
e' uma
instancia
de
MusicalPerformance
Processo
e' um
agente
de
AutonomousAgent
Objeto
e' uma
instancia
de
Outdoors
eventLocated
Processo
and
Objeto
Processo
Processo
e' uma
instancia
de
Ambulating
Processo
e' um
sub
-processo de
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
e' uma
instancia
de
HeartBeat
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
Heart
Processo
Processo
Processo
e' uma
instancia
de
MuscularContraction
Entidade
e' um
patient
de
Processo
Processo
e' uma
instancia
de
MuscleRelaxing
Entidade
e' um
patient
de
Processo
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
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