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
è un'
istanza
di
Infecting
AutonomousAgent
esperisce
s
Processo
Movimento
Processo
and
AutonomousAgent
Movimento
è un'
istanza
di
Translocation
moves
Movimento
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Organismo
Processo
è un'
istanza
di
Replicazione
AutonomousAgent
esperisce
s
Processo
Movimento
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
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
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
C
pathologicSideEffect
Oggetto
C and
Oggetto
IS
l'affermazione
Entit�
Entit�
è un'
istanza
di
Oggetto
IS
Entit�
esperisce
s
AutonomousAgent
ha il modello di forza di
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
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
C
sideEffect
Oggetto
C and
Oggetto
IS
l'affermazione
attribute
AutonomousAgent
and
Oggetto
IS ha il modello di forza di
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
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
MoodStabilizer
Processo
è un'
istanza
di
Processo
C
involvedInEvent
Processo
and
AutonomousAgent
attribute
AutonomousAgent
and
Processo
S vales
durante
il
tempo
di esistenza di
Processo
Processo
S è un'
istanza
di
StatoEmotivo
Processo
2 è un'
istanza
di
Processo
C
involvedInEvent
Processo
2 and
AutonomousAgent
il
tempo
di esistenza di
Processo
2 accades
prima
di il
tempo
di esistenza di
Trasferimento
l'affermazione
attribute
AutonomousAgent
and
Processo
S non vale
durante
Processo
2 ha il modello di forza di
Unlikely
(=>
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?I))
(
attribute
?A
Injury
)))
Medicine.kif 104-111
Processo
è un'
istanza
di
Trauma
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Injury
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
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
è un'
istanza
di
Insomnia
AgenteCognitivo
esperisce
s
Processo
Processo
Durata
and
Durata
2
Processo
è un'
istanza
di
Sleeping
AgenteCognitivo
esperisce
s
Processo
durata
di il
tempo
di esistenza di
Processo
è
Durata
AgenteCognitivo
desidera
s
durata
di il
tempo
di esistenza di
Processo
è
Durata
2
Durata
2 è
pi
ù grande di
Durata
(=>
(
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
Trasferimento
è un'
istanza
di
Intubation
Oggetto
è un'
istanza
di
Tube
objectTransferred
Trasferimento
and
Oggetto
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
H
Oggetto
H è un'
istanza
di
Trachea
Oggetto
H è una
parte
di
AutonomousAgent
Trasferimento
fine
s in
Oggetto
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
Trasferimento
è un'
istanza
di
Intubation
Oggetto
è un'
istanza
di
Tube
objectTransferred
Trasferimento
and
Oggetto
AutonomousAgent
esperisce
s
Trasferimento
Trasferimento
ha
scopo
Entit�
Entit�
è un'
istanza
di
Respirazione
Oggetto
è uno
strumento
per
Entit�
(=>
(
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
è un'
istanza
di
Itching
Processo
è
localizzato
in
Oggetto
Oggetto
è una
parte
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Processo
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Scratching
il
tempo
di esistenza di
Entit�
has luogo
durante
il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?IBD
AddisonsDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
AdrenalGland
)))
Medicine.kif 2316-2321
Processo
è un'
istanza
di
AddisonsDisease
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
AdrenalGland
(=>
(
and
(
instance
?IBD
GravesDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2329-2334
Processo
è un'
istanza
di
GravesDisease
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
ThyroidGland
(=>
(
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
è un'
istanza
di
GravesDisease
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
ThyroidHormone
Oggetto
è una
parte
di
AutonomousAgent
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
ThyroidHormone
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
attribute
Oggetto
and
Healthy
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?IBD
HashimotosThyroiditis
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
ThyroidGland
)))
Medicine.kif 2375-2380
Processo
è un'
istanza
di
HashimotosThyroiditis
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
ThyroidGland
(=>
(
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
è un'
istanza
di
HashimotosThyroiditis
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
ThyroidHormone
Oggetto
è una
parte
di
AutonomousAgent
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
Oggetto
è un'
istanza
di
Umano
Oggetto
è un'
istanza
di
ThyroidHormone
Oggetto
è una
parte
di
Oggetto
la
misura
Oggetto
è
NumeroReale
Unit�DiMisura
(s
attribute
Oggetto
and
Healthy
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?IBD
InflammatoryBowelDisease
)
(
experiencer
?IBD ?H))
(
attribute
?H
(
ImpairedBodyPartFn
GastroIntestinalTract
)))
Medicine.kif 2282-2287
Processo
è un'
istanza
di
InflammatoryBowelDisease
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
GastroIntestinalTract
(=>
(
and
(
instance
?IBD
UlcerativeColitis
)
(
experiencer
?IBD ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
LargeIntestine
))
(
attribute
?H
(
ImpairedBodyPartFn
Rectum
))))
Medicine.kif 2301-2309
Processo
è un'
istanza
di
UlcerativeColitis
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
LargeIntestine
attribute
AutonomousAgent
and
ImpairedBodyPartFn
Rectum
(=>
(
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
Oggetto
è un'
istanza
di
InvasiveVentilator
Processo
è un'
istanza
di
Respirazione
AutonomousAgent
esperisce
s
Processo
Oggetto
è uno
strumento
per
Processo
Processo
Processo
è un'
istanza
di
Intubation
Processo
fine
s in
AutonomousAgent
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
and
(
instance
?A
Animal
)
(
attribute
?A
Female
)))
Mid-level-ontology.kif 24130-24136
Processo
è un'
istanza
di
LayingEggs
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
Animale
attribute
AutonomousAgent
and
Female
(=>
(
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
è un'
istanza
di
LayingEggs
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
è un'
istanza
di
Egg
Entit�
è un
paziente
di
Processo
Entit�
è una
parte
di
AutonomousAgent
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
AutonomousAgent
vales
durante
la
fine
di il
tempo
di esistenza di
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
è un'
istanza
di
LosingConsciousness
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Sveglio
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
AutonomousAgent
and
Inconscio
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
Processo
è un'
istanza
di
Lupus
AutonomousAgent
esperisce
s
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
SkinRash
AutonomousAgent
esperisce
s
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?F))
(
and
(
attribute
?F
Female
)
(
not
(
attribute
?F
Menopausal
))))
Mid-level-ontology.kif 23879-23886
Processo
è un'
istanza
di
Menstruation
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Female
attribute
AutonomousAgent
and
Menopausal
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
IntervalloTemporale
è un'
istanza
di
MusclesRelaxing
AutonomousAgent
esperisce
s
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
MusclesBecomingTense
AutonomousAgent
esperisce
s
IntervalloTemporale
(=>
(
and
(
instance
?MS
MultipleSclerosis
)
(
experiencer
?MS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NervousSystem
)))
Medicine.kif 2251-2256
Processo
è un'
istanza
di
MultipleSclerosis
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
NervousSystem
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
IntervalloTemporale
è un'
istanza
di
MusclesBecomingTense
AutonomousAgent
esperisce
s
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
MusclesRelaxing
AutonomousAgent
esperisce
s
IntervalloTemporale
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