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
Transferencia
e' uma
instancia
de
Crying
AutonomousAgent
experimenta
Transferencia
Objeto
Objeto
Objeto
e' uma
instancia
de
TearSubstance
Transferencia
tem como
origem
Objeto
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Eye
Objeto
e' uma &parte de
AutonomousAgent
(=>
(
and
(
instance
?C
Crying
)
(
experiencer
?C ?H))
(
holdsDuring
(
WhenFn
?C)
(
attribute
?H
Sadness
)))
emotion.kif 1141-1147
Processo
e' uma
instancia
de
Crying
AutonomousAgent
experimenta
Processo
Sadness
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
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 6122-6140
Processo
e' uma
instancia
de
Sneezing
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
,
Entidade
OSE and
Entidade
Entidade
e' uma
instancia
de
NasalCavity
Entidade
OSE e' uma
instancia
de
Nose
Entidade
OSE e'
igual
a o
dono
do buraco
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e' uma
instancia
de
Remover
Entidade
OSE e' uma &parte de
AutonomousAgent
objectTransferred
Entidade
and
Entidade
Entidade
e'
situado
em
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
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 10222-10237
Processo
e' uma
instancia
de
Morte
AutonomousAgent
e' uma
instancia
de
Organismo
AutonomousAgent
experimenta
Processo
Entidade
Entidade
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Objeto Organico
Dead
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
Processo
Entidade
e' uma &parte de
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
Entidade
e' uma &parte de
AutonomousAgent
vale
durante imediatemente
antes
de
tempo
de existencia de
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
e' uma
instancia
de
Morte
Entidade
e' uma
instancia
de
OrganismRemains
AutonomousAgent
e' uma
instancia
de
Organismo
Entidade
e' uma &parte de
Entidade
vale
durante
Intervalo Temporal
Entidade
e' uma &parte de
AutonomousAgent
vale
durante
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
Intervalo Temporal
AutonomousAgent
experimenta
Processo
Entidade
e' o
resultado
de
Processo
(=>
(
and
(
instance
?DREAM
Dreaming
)
(
experiencer
?DREAM ?AGENT))
(
holdsDuring
(
WhenFn
?DREAM)
(
attribute
?AGENT
Asleep
)))
Mid-level-ontology.kif 18239-18243
Processo
e' uma
instancia
de
Dreaming
AutonomousAgent
experimenta
Processo
Dormindo
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
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 9986-9994
Processo
e' uma
instancia
de
EdemaFn
Parte do Corpo
AutonomousAgent
experimenta
Processo
Parte do Corpo
I
Parte do Corpo
I e' uma
instancia
de
Parte do Corpo
Parte do Corpo
I e' uma &parte de
AutonomousAgent
Processo
e'
situado
em
Parte do Corpo
I
(=>
(
and
(
instance
?E
Eardrum
)
(
part
?E ?H)
(
experiencer
?HEAR ?H)
(
attribute
?H
Healthy
)
(
instance
?HEAR
Hearing
))
(
instrument
?HEAR ?E))
Anatomy.kif 1636-1643
Objeto
e' uma
instancia
de
Eardrum
Objeto
e' uma &parte de
AutonomousAgent
AutonomousAgent
experimenta
AutonomousAgent
EAR
Healthy
e' um
atributo
de
AutonomousAgent
AutonomousAgent
EAR e' uma
instancia
de
Ouvir
Objeto
e' um
instrumento
para
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 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
?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 ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?EV))
(
attribute
?P
Evacuee
)))
MilitaryPersons.kif 133-140
Processo
e' uma
instancia
de
Evacuation
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
MilitaryOrganization
AutonomousAgent
experimenta
Processo
Evacuee
e' um
atributo
de
AutonomousAgent
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?H))
(
instance
?H
Human
))
MilitaryProcesses.kif 2534-2538
Processo
e' uma
instancia
de
Evacuation
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Humano
(=>
(
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
?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
e' uma
instancia
de
Processo
Humano
e' uma
instancia
de
AutonomousAgent
Experimenting
e' uma
instancia
de
Experimenting
treatedUser
Humano
and
Experimenting
experimentalVariableProcess
Experimenting
and
Processo
Humano
experimenta
Processo
Humano
experimenta
Processo
exclusiveEvent
Experimenting
and
Processo
Experimenting
ERIMENTER
Experimenting
ERIMENTER e' uma
instancia
de
AutonomousAgent
experimenter
Experimenting
and
Experimenting
ERIMENTER
Experimenting
ERIMENTER
acredita
que o argumento
Processo
causa
Processo
tem a
forca
modal
de
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
e' uma
instancia
de
Forgetting
AutonomousAgent
experimenta
Processo
Entidade
AutonomousAgent
nao
sabe
%n
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
AutonomousAgent
sabe
Entidade
vale
durante imediatemente
antes
de
tempo
de existencia de
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 16380-16389
Processo
e' uma
instancia
de
FallingAsleep
AutonomousAgent
experimenta
Processo
Intervalo Temporal
Intervalo Temporal
Intervalo Temporal
comeca
em
tempo
de existencia de
Processo
Intervalo Temporal
termina
em
tempo
de existencia de
Processo
Acordado
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
Dormindo
e' um
atributo
de
AutonomousAgent
vale
durante
Intervalo Temporal
(=>
(
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
e' uma
instancia
de
ForeignInternalDefense
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Aprender
Entidade
experimenta
Entidade
Entidade
e' um
agente
de
AutonomousAgent
militaryOfArea
Entidade
and
AutonomousAgent
Entidade
e' uma
instancia
de
MilitaryForce
Entidade
e'
situado
em
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 18249-18255
Processo
e' uma
instancia
de
Frightening
AutonomousAgent
experimenta
Processo
Anxiety
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Anxiety
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
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 16465-16477
Processo
e' uma
instancia
de
GainingConsciousness
AutonomousAgent
experimenta
Processo
Inconsciente
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Acordado
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
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
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
?H
Hallucination
)
(
experiencer
?H ?P))
(
attribute
?P
PsychologicalDysfunction
))
Mid-level-ontology.kif 6423-6427
Processo
e' uma
instancia
de
Hallucination
AutonomousAgent
experimenta
Processo
Disfuncao Psicologica
e' um
atributo
de
AutonomousAgent
(=>
(
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 6429-6439
Processo
e' uma
instancia
de
Hallucination
AutonomousAgent
experimenta
Processo
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER e' uma
instancia
de
Percepcao
AutonomousAgent
experimenta
AutonomousAgent
ER
Processo
causa
AutonomousAgent
ER
AutonomousAgent
ER
contem
informacao
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