experiencer
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
exists
(?T ?E)
(
and
(
instance
?T
TearSubstance
)
(
origin
?C ?E)
(
objectTransferred
?C ?T)
(
instance
?E
Eye
)
(
part
?E ?H))))
emotion.kif 1129-1139
Trasferimento
è un'
istanza
di
Crying
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
Oggetto
Oggetto
è un'
istanza
di
TearSubstance
Trasferimento
si
originas in
Oggetto
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Eye
Oggetto
è una
parte
di
AutonomousAgent
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
holdsDuring
(
WhenFn
?C)
(
attribute
?H
Sadness
)))
emotion.kif 1141-1147
Processo
è un'
istanza
di
Crying
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Sadness
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?C
Sneezing
)
(
experiencer
?C ?H))
(
hasPurpose
?C
(
exists
(?R ?N ?NOSE ?O)
(
and
(
instance
?N
NasalCavity
)
(
instance
?NOSE
Nose
)
(
equal
?NOSE
(
HoleHostFn
?N))
(
instance
?O
Object
)
(
instance
?R
Removing
)
(
part
?NOSE ?H)
(
objectTransferred
?R ?O)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?C))
(
located
?O ?N))))))
Mid-level-ontology.kif 6121-6139
Processo
è un'
istanza
di
Sneezing
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
,
Entit�
OSE and
Entit�
Entit�
è un'
istanza
di
NasalCavity
Entit�
OSE è un'
istanza
di
Nose
Entit�
OSE is
uguale
a
HoleHostFn
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è un'
istanza
di
Spostamento
Entit�
OSE è una
parte
di
AutonomousAgent
objectTransferred
Entit�
and
Entit�
Entit�
è
localizzato
in
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG))
(
exists
(?REM ?OBJ)
(
and
(
result
?DEATH ?REM)
(
instance
?REM
OrganicObject
)
(
holdsDuring
(
FutureFn
(
WhenFn
?DEATH))
(
attribute
?REM
Dead
))
(=>
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEATH))
(
part
?OBJ ?REM))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
part
?OBJ ?ORG))))))
Merge.kif 10244-10259
Processo
è un'
istanza
di
Morte
AutonomousAgent
è un'
istanza
di
Organismo
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
Entit�Organica
attribute
Entit�
and
Dead
vales
durante
dopo
il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
Entit�
è una
parte
di
AutonomousAgent
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
experiencer
?DEATH ?ORG))
(
result
?DEATH ?REM))
Mid-level-ontology.kif 85-94
Processo
è un'
istanza
di
Morte
Entit�
è un'
istanza
di
OrganismRemains
AutonomousAgent
è un'
istanza
di
Organismo
Entit�
è una
parte
di
Entit�
vales
durante
IntervalloTemporale
Entit�
è una
parte
di
AutonomousAgent
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
AutonomousAgent
esperisce
s
Processo
Entit�
è un
risultato
di
Processo
(=>
(
and
(
instance
?DREAM
Dreaming
)
(
experiencer
?DREAM ?AGENT))
(
holdsDuring
(
WhenFn
?DREAM)
(
attribute
?AGENT
Asleep
)))
Mid-level-ontology.kif 18238-18242
Processo
è un'
istanza
di
Dreaming
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Addormentato
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?E
(
EdemaFn
?P))
(
experiencer
?E ?A))
(
exists
(?PI)
(
and
(
instance
?PI
BodyPart
)
(
part
?PI ?A)
(
located
?E ?PI))))
Mid-level-ontology.kif 9985-9993
Processo
è un'
istanza
di
EdemaFn
ParteDelCorpo
AutonomousAgent
esperisce
s
Processo
ParteDelCorpo
I
ParteDelCorpo
I è un'
istanza
di
ParteDelCorpo
ParteDelCorpo
I è una
parte
di
AutonomousAgent
Processo
è
localizzato
in
ParteDelCorpo
I
(=>
(
and
(
instance
?E
Eardrum
)
(
part
?E ?H)
(
experiencer
?HEAR ?H)
(
attribute
?H
Healthy
)
(
instance
?HEAR
Hearing
))
(
instrument
?HEAR ?E))
Anatomy.kif 1636-1643
Oggetto
è un'
istanza
di
Eardrum
Oggetto
è una
parte
di
AutonomousAgent
AutonomousAgent
esperisce
s
AutonomousAgent
EAR
attribute
AutonomousAgent
and
Healthy
AutonomousAgent
EAR è un'
istanza
di
Udito
Oggetto
è uno
strumento
per
AutonomousAgent
EAR
(=>
(
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 9963-9975
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
?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 ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?EV))
(
attribute
?P
Evacuee
)))
MilitaryPersons.kif 133-140
Processo
è un'
istanza
di
Evacuation
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
MilitaryOrganization
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Evacuee
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?H))
(
instance
?H
Human
))
MilitaryProcesses.kif 2534-2538
Processo
è un'
istanza
di
Evacuation
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
Umano
(=>
(
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
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
Processo
è un'
istanza
di
Processo
Umano
è un'
istanza
di
AutonomousAgent
Experimenting
è un'
istanza
di
Experimenting
treatedUser
Umano
and
Experimenting
experimentalVariableProcess
Experimenting
and
Processo
Umano
esperisce
s
Processo
Umano
esperisce
s
Processo
exclusiveEvent
Experimenting
and
Processo
Experimenting
ERIMENTER
Experimenting
ERIMENTER è un'
istanza
di
AutonomousAgent
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER
crede
s l'affermazione
Processo
causa
s
Processo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?F
Forgetting
)
(
experiencer
?F ?A))
(
exists
(?P)
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?F))
(
not
(
knows
?A ?P)))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?F))
(
knows
?A ?P)))))
ComputingBrands.kif 4451-4461
Processo
è un'
istanza
di
Forgetting
AutonomousAgent
esperisce
s
Processo
Entit�
AutonomousAgent
non
conosce
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
AutonomousAgent
conosce
s
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?FALL
FallingAsleep
)
(
experiencer
?FALL ?AGENT))
(
exists
(?START ?FINISH)
(
and
(
starts
?START
(
WhenFn
?FALL))
(
finishes
?FINISH
(
WhenFn
?FALL))
(
holdsDuring
?START
(
attribute
?AGENT
Awake
))
(
holdsDuring
?FINISH
(
attribute
?AGENT
Asleep
)))))
Mid-level-ontology.kif 16379-16388
Processo
è un'
istanza
di
FallingAsleep
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
inizia
s il
tempo
di esistenza di
Processo
IntervalloTemporale
finisce
es il
tempo
di esistenza di
Processo
attribute
AutonomousAgent
and
Sveglio
vales
durante
IntervalloTemporale
attribute
AutonomousAgent
and
Addormentato
vales
durante
IntervalloTemporale
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
Processo
è un'
istanza
di
ForeignInternalDefense
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Apprendere
Entit�
esperisce
s
Entit�
Entit�
è un
agente
di
AutonomousAgent
militaryOfArea
Entit�
and
AutonomousAgent
Entit�
è un'
istanza
di
MilitaryForce
Entit�
è
localizzato
in
AutonomousAgent
(=>
(
and
(
instance
?FRIGHTEN
Frightening
)
(
experiencer
?FRIGHTEN ?AGENT))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?FRIGHTEN))
(
not
(
attribute
?AGENT
Anxiety
)))
(
holdsDuring
(
EndFn
(
WhenFn
?FRIGHTEN))
(
attribute
?AGENT
Anxiety
))))
Mid-level-ontology.kif 18248-18254
Processo
è un'
istanza
di
Frightening
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Anxiety
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
AutonomousAgent
and
Anxiety
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?G
GainingConsciousness
)
(
experiencer
?G ?A))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?G))
(
attribute
?A
Unconscious
))
(
holdsDuring
(
EndFn
(
WhenFn
?G))
(
attribute
?A
Awake
))))
Mid-level-ontology.kif 16464-16476
Processo
è un'
istanza
di
GainingConsciousness
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Inconscio
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
AutonomousAgent
and
Sveglio
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
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
?H
Hallucination
)
(
experiencer
?H ?P))
(
attribute
?P
PsychologicalDysfunction
))
Mid-level-ontology.kif 6422-6426
Processo
è un'
istanza
di
Hallucination
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Psicopatologia
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
exists
(?PER ?PROP)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?P)
(
causes
?H ?PER)
(
containsInformation
?PER ?PROP)
(
truth
?PROP
False
))))
Mid-level-ontology.kif 6428-6438
Processo
è un'
istanza
di
Hallucination
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER è un'
istanza
di
Percezione
AutonomousAgent
esperisce
s
AutonomousAgent
ER
Processo
causa
s
AutonomousAgent
ER
AutonomousAgent
ER
contiene
s informazione
AutonomousAgent
ROP
truth
AutonomousAgent
ROP and
False
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