experiencer
(=>
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H))
(
exists
(?T ?R ?O)
(
and
(
instance
?T
Translocation
)
(
moves
?T ?O)
(
instance
?O
Organism
)
(
instance
?R
Replication
)
(
experiencer
?R ?O)
(
subProcess
?T ?I)
(
subProcess
?R ?I))))
Mid-level-ontology.kif 5846-5858
Processo
e' uma
instancia
de
Infecting
AutonomousAgent
experimenta
Processo
Movimento
Processo
and
AutonomousAgent
Movimento
e' uma
instancia
de
Translocation
moves
Movimento
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Organismo
Processo
e' uma
instancia
de
Reproducao
AutonomousAgent
experimenta
Processo
Movimento
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
Transferencia
e' uma
instancia
de
Ingerir
AutonomousAgent
experimenta
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
pathologicSideEffect
Objeto
C and
Objeto
IS
o argumento
Entidade
Entidade
e' uma
instancia
de
Objeto
IS
Entidade
experimenta
AutonomousAgent
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
Transferencia
e' uma
instancia
de
Ingerir
AutonomousAgent
experimenta
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Objeto
C
sideEffect
Objeto
C and
Objeto
IS
o argumento
Objeto
IS e' um
atributo
de
AutonomousAgent
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9773-9794
Transferencia
e' uma
instancia
de
Ingerir
AutonomousAgent
experimenta
Transferencia
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
MoodStabilizer
Processo
e' uma
instancia
de
Processo
C
involvedInEvent
Processo
and
AutonomousAgent
Processo
S e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
Processo
S e' uma
instancia
de
Estado Emocional
Processo
2 e' uma
instancia
de
Processo
C
involvedInEvent
Processo
2 and
AutonomousAgent
tempo
de existencia de
Processo
2 acontence
antes
de
tempo
de existencia de
Transferencia
o argumento
Processo
S e' um
atributo
de
AutonomousAgent
vale
durante
Processo
2 tem a
forca
modal
de
Unlikely
(=>
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
Processo
e' uma
instancia
de
Ferir
AutonomousAgent
experimenta
Processo
Injury
e' um
atributo
de
AutonomousAgent
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 16446-16458
Processo
e' uma
instancia
de
Insomnia
Agente Cognitivo
experimenta
Processo
Processo
Duracao Temporal
and
Duracao Temporal
2
Processo
e' uma
instancia
de
Sleeping
Agente Cognitivo
experimenta
Processo
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
Agente Cognitivo
deseja
a
duracao
de
tempo
de existencia de
Processo
e'
Duracao Temporal
2
Duracao Temporal
2 e'
maior
que
Duracao Temporal
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
exists
(?TH)
(
and
(
instance
?TH
Trachea
)
(
part
?TH ?H)
(
destination
?I ?TH))))
Medicine.kif 4135-4145
Transferencia
e' uma
instancia
de
Intubation
Objeto
e' uma
instancia
de
Tube
objectTransferred
Transferencia
and
Objeto
AutonomousAgent
experimenta
Transferencia
Objeto
H
Objeto
H e' uma
instancia
de
Trachea
Objeto
H e' uma &parte de
AutonomousAgent
Transferencia
termina
em
Objeto
H
(=>
(
and
(
instance
?I
Intubation
)
(
instance
?T
Tube
)
(
objectTransferred
?I ?T)
(
experiencer
?I ?H))
(
hasPurpose
?I
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
instrument
?B ?T)))))
Medicine.kif 4123-4133
Transferencia
e' uma
instancia
de
Intubation
Objeto
e' uma
instancia
de
Tube
objectTransferred
Transferencia
and
Objeto
AutonomousAgent
experimenta
Transferencia
Transferencia
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Respirar
Objeto
e' um
instrumento
para
Entidade
(=>
(
and
(
instance
?I
Itching
)
(
located
?I ?P)
(
part
?P ?H)
(
experiencer
?I ?H))
(
desires
?H
(
exists
(?S)
(
and
(
instance
?S
Scratching
)
(
during
(
WhenFn
?S)
(
WhenFn
?I))
(
located
?S ?P)))))
Mid-level-ontology.kif 5724-5735
Processo
e' uma
instancia
de
Itching
Processo
e'
situado
em
Objeto
Objeto
e' uma &parte de
Agente Cognitivo
Agente Cognitivo
experimenta
Processo
Agente Cognitivo
deseja
Entidade
Entidade
e' uma
instancia
de
Scratching
tempo
de existencia de
Entidade
acontece
durante
tempo
de existencia de
Processo
Entidade
e'
situado
em
Objeto
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
Processo
e' uma
instancia
de
AddisonsDisease
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
AdrenalGland
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
Processo
e' uma
instancia
de
GravesDisease
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
ThyroidGland
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N1 ?N2))
Medicine.kif 2336-2351
Processo
e' uma
instancia
de
GravesDisease
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
ThyroidHormone
Objeto
e' uma &parte de
AutonomousAgent
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
ThyroidHormone
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Healthy
e' um
atributo
de
Objeto
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
Processo
e' uma
instancia
de
HashimotosThyroiditis
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
ThyroidGland
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H1)
(
instance
?H1
Human
)
(
instance
?T1
ThyroidHormone
)
(
part
?T1 ?H1)
(
measure
?T1
(
MeasureFn
?N1 ?U))
(
instance
?H2
Human
)
(
instance
?T2
ThyroidHormone
)
(
part
?T2 ?H2)
(
measure
?T2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
))
(
greaterThan
?N2 ?N1))
Medicine.kif 2382-2397
Processo
e' uma
instancia
de
HashimotosThyroiditis
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
ThyroidHormone
Objeto
e' uma &parte de
AutonomousAgent
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Objeto
e' uma
instancia
de
Humano
Objeto
e' uma
instancia
de
ThyroidHormone
Objeto
e' uma &parte de
Objeto
a
medida
de
Objeto
e'
Numero Real
Unidade de Medida
(s)
Healthy
e' um
atributo
de
Objeto
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
Processo
e' uma
instancia
de
InflammatoryBowelDisease
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
GastroIntestinalTract
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
Processo
e' uma
instancia
de
UlcerativeColitis
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
LargeIntestine
e' um
atributo
de
AutonomousAgent
ImpairedBodyPartFn
Rectum
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?IV
InvasiveVentilator
)
(
instance
?B
Breathing
)
(
experiencer
?B ?H)
(
instrument
?B ?IV))
(
exists
(?IN)
(
and
(
instance
?IN
Intubation
)
(
destination
?IN ?H)
(
earlier
(
WhenFn
?IN)
(
WhenFn
?B)))))
Medicine.kif 4105-4117
Objeto
e' uma
instancia
de
InvasiveVentilator
Processo
e' uma
instancia
de
Respirar
AutonomousAgent
experimenta
Processo
Objeto
e' um
instrumento
para
Processo
Processo
Processo
e' uma
instancia
de
Intubation
Processo
termina
em
AutonomousAgent
tempo
de existencia de
Processo
acontence
antes
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
and
(
instance
?A
Animal
)
(
attribute
?A
Female
)))
Mid-level-ontology.kif 24130-24136
Processo
e' uma
instancia
de
LayingEggs
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Animal
Female
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
exists
(?E)
(
and
(
instance
?E
Egg
)
(
patient
?L ?E)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
part
?E ?A))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
not
(
part
?E ?A))))))
Mid-level-ontology.kif 24115-24128
Processo
e' uma
instancia
de
LayingEggs
AutonomousAgent
experimenta
Processo
Entidade
Entidade
e' uma
instancia
de
Egg
Entidade
e' um
patient
de
Processo
Entidade
e' uma &parte de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' uma &parte de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?L
LosingConsciousness
)
(
experiencer
?L ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
attribute
?A
Awake
))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
attribute
?A
Unconscious
))))
Mid-level-ontology.kif 16483-16493
Processo
e' uma
instancia
de
LosingConsciousness
AutonomousAgent
experimenta
Processo
Acordado
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Inconsciente
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
Processo
e' uma
instancia
de
Lupus
AutonomousAgent
experimenta
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
SkinRash
AutonomousAgent
experimenta
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F))
(
and
(
attribute
?F
Female
)
(
not
(
attribute
?F
Menopausal
))))
Mid-level-ontology.kif 23879-23886
Processo
e' uma
instancia
de
Menstruation
AutonomousAgent
experimenta
Processo
Female
e' um
atributo
de
AutonomousAgent
Menopausal
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
Intervalo Temporal
e' uma
instancia
de
MusclesRelaxing
AutonomousAgent
experimenta
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
MusclesBecomingTense
AutonomousAgent
experimenta
Intervalo Temporal
(=>
(
and
(
instance
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
Processo
e' uma
instancia
de
MultipleSclerosis
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
NervousSystem
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
Intervalo Temporal
e' uma
instancia
de
MusclesBecomingTense
AutonomousAgent
experimenta
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
engloba
Intervalo Temporal
Intervalo Temporal
e' uma
instancia
de
MusclesRelaxing
AutonomousAgent
experimenta
Intervalo Temporal
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