experiencer
(=>
(
attribute
?H
Asthma
)
(
exists
(?I)
(
and
(
instance
?I
(
ImpairmentFn
Breathing
))
(
experiencer
?I ?H))))
Medicine.kif 3417-3423
attribute
AutonomousAgent
and
Asthma
Processo
Processo
è un'
istanza
di
ImpairmentFn
Respirazione
AutonomousAgent
esperisce
s
Processo
(=>
(
attribute
?H
Bronchitis
)
(
exists
(?I)
(
and
(
instance
?I
(
InflammationFn
BronchialDuct
))
(
experiencer
?I ?H))))
Mid-level-ontology.kif 6020-6026
attribute
AutonomousAgent
and
Bronchitis
Processo
Processo
è un'
istanza
di
InflammationFn
BronchialDuct
AutonomousAgent
esperisce
s
Processo
(=>
(
attribute
?H
DiabetesType1
)
(
exists
(?A)
(
and
(
instance
?A
AutoImmuneDisorder
)
(
experiencer
?A ?H))))
Medicine.kif 2149-2154
attribute
AutonomousAgent
and
DiabetesType1
Processo
Processo
è un'
istanza
di
AutoImmuneDisorder
AutonomousAgent
esperisce
s
Processo
(=>
(
attribute
?H
Dysautonomia
)
(
exists
(?P)
(
and
(
experiencer
?P ?H)
(
instance
?P
(
ImpairmentFn
AutonomicProcess
)))))
Medicine.kif 4230-4236
attribute
AutonomousAgent
and
Dysautonomia
Processo
AutonomousAgent
esperisce
s
Processo
Processo
è un'
istanza
di
ImpairmentFn
AutonomicProcess
(=>
(
attribute
?H
Eczema
)
(
exists
(?SI)
(
and
(
instance
?SI
(
InflammationFn
Skin
))
(
experiencer
?SR ?H))))
Medicine.kif 4389-4395
attribute
AutonomousAgent
and
Eczema
Entit�
Entit�
è un'
istanza
di
InflammationFn
Skin
AutonomousAgent
esperisce
s
Processo
(=>
(
attribute
?H
Eczema
)
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H))))
Medicine.kif 4382-4387
attribute
AutonomousAgent
and
Eczema
Processo
Processo
è un'
istanza
di
SkinRash
AutonomousAgent
esperisce
s
Processo
(=>
(
attribute
?H
Pneumonia
)
(
exists
(?I)
(
and
(
instance
?I
(
InflammationFn
Lung
))
(
experiencer
?I ?H))))
Mid-level-ontology.kif 6206-6212
attribute
AutonomousAgent
and
Pneumonia
Processo
Processo
è un'
istanza
di
InflammationFn
Lung
AutonomousAgent
esperisce
s
Processo
(=>
(
attribute
?OBJ
FullyFormed
)
(
exists
(?GROWTH)
(
and
(
instance
?GROWTH
Growth
)
(
experiencer
?GROWTH ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?OBJ))
(
attribute
?OBJ
NonFullyFormed
)))))
Merge.kif 18166-18172
attribute
AutonomousAgent
and
FullyFormed
Processo
Processo
è un'
istanza
di
Crescita
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
NonFullyFormed
vales
durante
l'
inizio
di il
tempo
di esistenza di
AutonomousAgent
(=>
(
axis
?AXIS ?OBJ)
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
part
?AXIS ?OBJ)
(
experiencer
?R ?OBJ)
(
not
(
exists
(?R2)
(
and
(
instance
?R2
Rotating
)
(
subProcess
?R2 ?R)
(
experiencer
?R2 ?AXIS)))))))
Mid-level-ontology.kif 17467-17479
axis
AutonomousAgent
and
AutonomousAgent
Processo
Processo
è un'
istanza
di
Rotating
AutonomousAgent
è una
parte
di
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
Processo
2
Processo
2 è un'
istanza
di
Rotating
Processo
2 è un
sottoprocesso
di
Processo
AutonomousAgent
esperisce
s
Processo
2
(=>
(
baptizeddate
?PERSON ?DAY)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
date
?BAPTISM ?DAY))))
Biography.kif 178-184
baptizeddate
Umano
and
Giorno
Processo
Processo
è un'
istanza
di
Baptizing
Umano
esperisce
s
Processo
data
di
Processo
è
Giorno
(=>
(
baptizedplace
?PERSON ?PLACE)
(
exists
(?BAPTISM)
(
and
(
instance
?BAPTISM
Baptizing
)
(
experiencer
?BAPTISM ?PERSON)
(
eventLocated
?BAPTISM ?PLACE))))
Biography.kif 192-198
baptizedplace
Umano
and
Regione
Processo
Processo
è un'
istanza
di
Baptizing
Umano
esperisce
s
Processo
eventLocated
Processo
and
Regione
(=>
(
birthdate
?P ?D)
(
exists
(?B)
(
and
(
instance
?B
Birth
)
(
experiencer
?B ?P)
(
date
?B ?D))))
Mid-level-ontology.kif 24269-24275
birthdate
Umano
and
Giorno
Processo
Processo
è un'
istanza
di
Nascita
Umano
esperisce
s
Processo
data
di
Processo
è
Giorno
(=>
(
birthplace
?INDIV ?PLACE)
(
exists
(?BIRTH)
(
and
(
instance
?BIRTH
Birth
)
(
experiencer
?BIRTH ?INDIV)
(
eventLocated
?BIRTH ?PLACE))))
Mid-level-ontology.kif 24255-24261
birthplace
Animale
and
Oggetto
Processo
Processo
è un'
istanza
di
Nascita
Animale
esperisce
s
Processo
eventLocated
Processo
and
Oggetto
(=>
(
changesLocation
?EVENT ?OBJ)
(
and
(
instance
?EVENT
Translocation
)
(
instance
?OBJ
Object
)
(
or
(
patient
?EVENT ?OBJ)
(
agent
?EVENT ?OBJ)
(
experiencer
?EVENT ?OBJ))))
Merge.kif 11025-11033
changesLocation
Translocation
and
AutonomousAgent
Translocation
è un'
istanza
di
Translocation
AutonomousAgent
è un'
istanza
di
Oggetto
AutonomousAgent
è un
paziente
di
Translocation
Translocation
è un
agente
di
AutonomousAgent
AutonomousAgent
esperisce
s
Translocation
(=>
(
deathdate
?P ?T)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
date
?D ?T))))
Mid-level-ontology.kif 24283-24289
deathdate
Umano
and
Giorno
Processo
Processo
è un'
istanza
di
Morte
Umano
esperisce
s
Processo
data
di
Processo
è
Giorno
(=>
(
deathplace
?P ?L)
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?P)
(
eventLocated
?D ?L))))
Mid-level-ontology.kif 24299-24305
deathplace
Animale
and
Oggetto
Processo
Processo
è un'
istanza
di
Morte
Animale
esperisce
s
Processo
eventLocated
Processo
and
Oggetto
(=>
(
diseaseMedicine
?DISEASE ?SUBSTANCE ?PROCESS)
(
exists
(?ORGANISM ?TIME ?SAMPLE ?PROC)
(
and
(
holdsDuring
?TIME
(
attribute
?ORGANISM ?DISEASE))
(
increasesLikelihood
(
and
(
instance
?PROC ?PROCESS)
(
temporalPart
(
WhenFn
?PROC) ?TIME)
(
experiencer
?PROC ?ORGANISM)
(
patient
?PROC ?SAMPLE)
(
instance
?SAMPLE ?SUBSTANCE))
(
holdsDuring
(
ImmediateFutureFn
?TIME)
(
not
(
attribute
?ORGANISM ?DISEASE)))))))
WMD.kif 941-955
diseaseMedicine
MalattiaOSindrome
,
SostanzaBiologicamenteAttiva
and
Processo
Entit�
PosizioneTemporale
,
Entit�
and
Entit�
attribute
Entit�
and
MalattiaOSindrome
vales
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Processo
il
tempo
di esistenza di
Entit�
è una
parte
di
PosizioneTemporale
Entit�
esperisce
s
Entit�
Entit�
è un
paziente
di
Entit�
Entit�
è un'
istanza
di
SostanzaBiologicamenteAttiva
aumenta
s la verosimiglianza di
attribute
Entit�
and
MalattiaOSindrome
vales
durante
immediatamente
dopo
PosizioneTemporale
(=>
(
diseaseMortality
?DISEASE ?RATE)
(
conditionalProbability
(
exists
(?ORGANISM)
(
and
(
instance
?ORGANISM
Organism
)
(
attribute
?ORGANISM ?DISEASE)))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?ORGANISM))) ?RATE))
WMD.kif 890-900
diseaseMortality
MalattiaOSindrome
and
NumeroReale
probabilit
à di
Entit�
Entit�
è un'
istanza
di
Organismo
attribute
Entit�
and
MalattiaOSindrome
ammesso che
Entit�
Entit�
è un'
istanza
di
Morte
Entit�
esperisce
s
Entit�
valga è
NumeroReale
(=>
(
enjoys
?AGENT ?PROCESS)
(
desires
?AGENT
(
exists
(?INSTANCE)
(
and
(
instance
?INSTANCE ?PROCESS)
(
or
(
agent
?INSTANCE ?AGENT)
(
experiencer
?INSTANCE ?AGENT))))))
Mid-level-ontology.kif 7375-7383
enjoys
AgenteCognitivo
and
Entit�
AgenteCognitivo
desidera
s
Entit�
Entit�
è un'
istanza
di
Entit�
Entit�
è un
agente
di
AgenteCognitivo
AgenteCognitivo
esperisce
s
Entit�
(=>
(
equal
?WKBMC
(
WeekBeforeMenstruationFn
?W))
(
equal
?WKBC
(
KappaFn
?C
(
and
(
instance
?C
Week
)
(
exists
(?M)
(
and
(
instance
?M
Menstruation
)
(
experiencer
?M ?W)
(
equal
?C
(
WeekBeforeFn
(
WhenFn
?M)))))))))
Medicine.kif 1521-1534
Entit�
is
uguale
a
WeekBeforeMenstruationFn
Entit�
Entit�
KBC is
uguale
a la
classe
descritta da
Stringa
(=>
(
exclusiveEvent
?EXP ?PROC)
(
exists
(?EVP ?AGENT)
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
earlier
(
WhenFn
?EVP)
(
WhenFn
?PROC)))))
UXExperimentalTerms.kif 4345-4355
exclusiveEvent
Experimenting
and
Processo
Processo
Umano
Processo
è un'
istanza
di
Processo
Umano
è un'
istanza
di
AutonomousAgent
treatedUser
Umano
and
Experimenting
experimentalVariableProcess
Experimenting
and
Processo
Umano
esperisce
s
Processo
Umano
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
SleepApnea
)
(
attribute
?H
Sleeping
)))
(
exists
(?T2 ?B ?B2)
(
and
(
during
?T2 ?T)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T2)
(
experiencer
?B ?H))))
(
holdsDuring
?T2
(
and
(
instance
?B2
Breathing
)
(
needs
?H ?B2))))))
Medicine.kif 4161-4178
attribute
AutonomousAgent
and
SleepApnea
attribute
AutonomousAgent
and
Sleeping
vales
durante
IntervalloTemporale
IntervalloTemporale
2
Processo
and
Processo
2
IntervalloTemporale
2 has luogo
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Respirazione
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
2
AutonomousAgent
esperisce
s
Processo
Processo
2 è un'
istanza
di
Respirazione
AutonomousAgent
necessita
dis
Processo
2 vales
durante
IntervalloTemporale
2
(=>
(
holdsDuring
?T
(
attribute
?A
Anger
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
AngryFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1244-1253
attribute
Entit�
and
Anger
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
AngryFacialExpression
Entit�
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
has luogo
durante
PosizioneTemporale
ha il modello di forza di
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Disgust
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
DisgustedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1262-1271
attribute
Entit�
and
Disgust
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
DisgustedFacialExpression
Entit�
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
has luogo
durante
PosizioneTemporale
ha il modello di forza di
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
FearfulFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1344-1353
attribute
Entit�
and
Fear
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
FearfulFacialExpression
Entit�
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
has luogo
durante
PosizioneTemporale
ha il modello di forza di
Likely
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