experiencer
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
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
Entidade
e' o
resultado
de
Processo
AutonomousAgent
experimenta
Processo
(=>
(
and
(
instance
?DEGREE
AcademicDegree
)
(
possesses
?AGENT ?DEGREE))
(
exists
(?PROGRAM ?STUDY)
(
and
(
instance
?PROGRAM
EducationalProgram
)
(
realization
?STUDY ?PROGRAM)
(
experiencer
?STUDY ?AGENT))))
Mid-level-ontology.kif 16514-16522
Objeto
e' uma
instancia
de
AcademicDegree
AutonomousAgent
possui
Objeto
Proposicao
Processo
Proposicao
e' uma
instancia
de
EducationalProgram
Processo
exprime
o conteudo de
Proposicao
AutonomousAgent
experimenta
Processo
(=>
(
and
(
instance
?DISEASE
LifeThreateningDisease
)
(
attribute
?AGENT ?DISEASE))
(
capability
Death
experiencer
?AGENT))
WMD.kif 1029-1033
Atributo
e' uma
instancia
de
LifeThreateningDisease
Atributo
e' um
atributo
de
Objeto
Objeto
e'
capaz
de fazer
Morte
no role
experiencer
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2000-2008
Processo
e' uma
instancia
de
DisgustedVoiceUtterance
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Disgust
AutonomousAgent
experimenta
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?E
Epidemic
)
(
involvedInEvent
?E ?H))
(
or
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
attribute
?H ?D))
(
exists
(?P)
(
and
(
instance
?P
PathologicProcess
)
(
experiencer
?P ?H)
(
subProcess
?P ?E)))))
Medicine.kif 3517-3529
Processo
e' uma
instancia
de
Epidemic
involvedInEvent
Processo
and
AutonomousAgent
Atributo
e' uma
instancia
de
Doenca ou Sindrome
Atributo
e' um
atributo
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Processo Patologico
AutonomousAgent
experimenta
Processo
Processo
e' um
sub
-processo de
Processo
(=>
(
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
?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 ?A)
(
origin
?EV ?O))
(
exists
(?T ?TA)
(
and
(
instance
?T
Translocation
)
(
subProcess
?T ?EV)
(
origin
?T ?O)
(
or
(
experiencer
?T ?TA)
(
agent
?T ?TA))
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A)))))
MilitaryProcesses.kif 2627-2643
Processo
e' uma
instancia
de
Evacuation
Processo
e' um
agente
de
Organizacao
Processo
tem como
origem
Objeto
Processo
Processo
A
Processo
e' uma
instancia
de
Translocation
Processo
e' um
sub
-processo de
Processo
Processo
tem como
origem
Objeto
Processo
A
experimenta
Processo
Processo
e' um
agente
de
Processo
A
Processo
A e' uma parte da organizacao
Organizacao
Processo
A e'
membro
de
Organizacao
Processo
A e'
igual
a
Organizacao
(=>
(
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
?EXPERIMENT
Experimenting
)
(
instance
?SUBJECT
Human
)
(
experimentalSubject
?EXPERIMENT ?SUBJECT))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experiencer
?PROCESS ?SUBJECT)
(
or
(
experimentalControlProcess
?EXPERIMENT ?PROCESS)
(
experimentalVariableProcess
?EXPERIMENT ?PROCESS)))))
UXExperimentalTerms.kif 3923-3934
Experimenting
e' uma
instancia
de
Experimenting
Humano
e' uma
instancia
de
Humano
experimentalSubject
Experimenting
and
Humano
Processo
Processo
e' uma
instancia
de
Processo
Humano
experimenta
Processo
experimentalControlProcess
Experimenting
and
Processo
experimentalVariableProcess
Experimenting
and
Processo
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7231-7240
Processo
e' uma
instancia
de
Scholarship
Processo
termina
em
Entidade
Processo
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
EducationalProgram
Entidade
exprime
o conteudo de
Entidade
Entidade
experimenta
Entidade
(=>
(
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
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
militaryOfArea
?MIL ?NATION))
(
exists
(?HN ?MAINTAIN)
(
and
(
experiencer
?FID ?HN)
(
instance
?HN
HostNation
)
(
not
(
equal
?HN ?NATION))
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?HN))))
MilitaryProcesses.kif 1943-1955
Processo
e' uma
instancia
de
ForeignInternalDefense
Processo
e' um
agente
de
MilitaryOrganization
militaryOfArea
MilitaryOrganization
and
Area Geopolitica
AutonomousAgent
Processo
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
HostNation
AutonomousAgent
e'
igual
a
Area Geopolitica
Processo
e' uma
instancia
de
Preservar
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?FVU
FearfulVoiceUtterance
)
(
agent
?FVU ?A))
(
exists
(?F)
(
and
(
instance
?F
Fear
)
(
experiencer
?F ?A)
(
causes
?F ?FVU))))
emotion.kif 2065-2073
Processo
e' uma
instancia
de
FearfulVoiceUtterance
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Fear
AutonomousAgent
experimenta
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?G
Gaslighting
)
(
agent
?G ?A)
(
suffers
?G ?H))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
causesProposition
(
suffers
?G ?H)
(
not
(
knows
?H
(
result
?P ?R)))))))
Medicine.kif 3665-3678
Processo
e' uma
instancia
de
Gaslighting
Processo
e' um
agente
de
AutonomousAgent
suffers
Processo
and
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Percepcao
AutonomousAgent
experimenta
Processo
causesProposition
suffers
Processo
and
AutonomousAgent
and
AutonomousAgent
nao
sabe
%n
Entidade
e' o
resultado
de
Processo
(=>
(
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
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
AutonomousAgent
e' uma
instancia
de
Man
Mausaharati
e' um
atributo
de
AutonomousAgent
Processo
e' uma
instancia
de
Drumming
Processo
e' um
agente
de
AutonomousAgent
Processo
AY e' uma
instancia
de
Dia
Intervalo Temporal
e' uma
instancia
de
Sunrise
Intervalo Temporal
acontece
durante
Processo
AY
tempo
de existencia de
Processo
acontence
antes
de
Intervalo Temporal
Processo
tem por
fim
Entidade
Intervalo Temporal
UHUR and
Entidade
Entidade
e' uma
instancia
de
WakingUp
Entidade
experimenta
Entidade
Intervalo Temporal
UHUR e' uma
instancia
de
Suhur
Intervalo Temporal
UHUR e' um
agente
de
Entidade
tempo
de existencia de
Entidade
acontence
antes
de
tempo
de existencia de
Intervalo Temporal
UHUR
tempo
de existencia de
Entidade
acontece
durante
Processo
AY
tempo
de existencia de
Intervalo Temporal
UHUR acontece
durante
Processo
AY
(=>
(
and
(
instance
?HELPING
Helping
)
(
agent
?HELPING ?AGENT)
(
result
?HELPING ?RESULT))
(
exists
(?PATIENT)
(
and
(
not
(
equal
?AGENT ?PATIENT))
(
or
(
patient
?HELPING ?PATIENT)
(
experiencer
?HELPING ?PATIENT))
(
wants
?PATIENT ?RESULT))))
MilitaryProcesses.kif 1419-1431
Processo
e' uma
instancia
de
Helping
Processo
e' um
agente
de
AutonomousAgent
Fisico
e' o
resultado
de
Processo
Agente Cognitivo
AutonomousAgent
e'
igual
a
Agente Cognitivo
Agente Cognitivo
e' um
patient
de
Processo
Agente Cognitivo
experimenta
Processo
Agente Cognitivo
quer
Fisico
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3447-3476
WearableItem
e' uma
instancia
de
HearingProtection
Animal
e' uma
instancia
de
Humano
Animal
usa
WearableItem
WearableItem
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Processo
Entidade
e' uma
sub
-classe de a
classe
descrita por
Entidade
Entidade
proibe
a ocurrencia de
Entidade
WearableItem
e' um
instrumento
para
Entidade
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1983-1991
Processo
e' uma
instancia
de
HappyVoiceUtterance
Processo
e' um
agente
de
AutonomousAgent
Processo
Processo
e' uma
instancia
de
Happiness
AutonomousAgent
experimenta
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?I
HealthInsuranceCompany
)
(
customer
?I ?C))
(
hasPurposeForAgent
?I
(
exists
(?D ?P)
(
and
(
or
(
instance
?D
DiagnosticProcess
)
(
instance
?D
TherapeuticProcess
))
(
experiencer
?D ?C)
(
instance
?P
Payment
)
(
agent
?P ?I)
(
refers
?P ?D))) ?C))
Mid-level-ontology.kif 7159-7172
Agente Cognitivo
e' uma
instancia
de
HealthInsuranceCompany
customer
Agente Cognitivo
and
AutonomousAgent
Agente Cognitivo
tem
finalidade
Entidade
Entidade
Entidade
e' uma
instancia
de
Processo de Diagnostico
Entidade
e' uma
instancia
de
Processo Terapeutico
AutonomousAgent
experimenta
Entidade
Entidade
e' uma
instancia
de
Payment
Entidade
e' um
agente
de
Agente Cognitivo
Entidade
inclui uma
referencia
a
Entidade
para
AutonomousAgent
(=>
(
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 5847-5859
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
InfectiousDisease
)
(
attribute
?A ?I))
(
exists
(?P ?O)
(
and
(
instance
?P
PathologicProcess
)
(
agent
?P ?O)
(
instance
?O
Microorganism
)
(
experiencer
?P ?A))))
Mid-level-ontology.kif 5830-5839
Atributo
e' uma
instancia
de
InfectiousDisease
Atributo
e' um
atributo
de
AutonomousAgent
Processo
AutonomousAgent
Processo
e' uma
instancia
de
Processo Patologico
Processo
e' um
agente
de
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Microorganismo
AutonomousAgent
experimenta
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
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
Transferencia
e' uma
instancia
de
Ingerir
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Hallucinogen
Transferencia
termina
em
Entidade
o argumento
Objeto
AL
Objeto
AL e' uma
instancia
de
Hallucination
Entidade
experimenta
Objeto
AL tem a
forca
modal
de
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