experiencer
(=>
(
and
(
instance
?N
Nausea
)
(
experiencer
?N ?H))
(
believes
?H
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?N))
(
exists
(?V)
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?H))))))
Mid-level-ontology.kif 21431-21442
Processo
e' uma
instancia
de
Nausea
Agente Cognitivo
experimenta
Processo
Agente Cognitivo
acredita
que
Entidade
Entidade
e' uma
instancia
de
Vomiting
Agente Cognitivo
experimenta
Entidade
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Diarrhoea
)
(
experiencer
?D ?H1)
(
causes
?P ?D)))
Likely
))
Medicine.kif 2735-2747
Processo
e' uma
instancia
de
CeliacDisease
AutonomousAgent
experimenta
Processo
Objeto
e' uma
instancia
de
SmallIntestine
Objeto
e' uma &parte de
AutonomousAgent
o argumento
Entidade
Entidade
e' uma
instancia
de
Diarrhoea
AutonomousAgent
experimenta
Entidade
Processo
causa
Entidade
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
Processo
e' uma
instancia
de
CeliacDisease
AutonomousAgent
experimenta
Processo
Objeto
e' uma
instancia
de
SmallIntestine
Objeto
e' uma &parte de
AutonomousAgent
o argumento
Processo
e'
situado
em
Objeto
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H)
(
instance
?HEART
Heart
)
(
part
?HEART ?H))
(
exists
(?PER)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?H)
(
patient
?PER ?HEART))))
Medicine.kif 2060-2070
Processo
e' uma
instancia
de
HeartPalpitations
AutonomousAgent
experimenta
Processo
AutonomousAgent
EART e' uma
instancia
de
Heart
AutonomousAgent
EART e' uma &parte de
AutonomousAgent
Processo
ER
Processo
ER e' uma
instancia
de
Percepcao
AutonomousAgent
experimenta
Processo
ER
AutonomousAgent
EART e' um
patient
de
Processo
ER
(=>
(
and
(
instance
?P
HeartPalpitations
)
(
experiencer
?P ?H))
(
exists
(?HEART)
(
and
(
instance
?HEART
Heart
)
(
part
?HEART ?H)
(
located
?P ?HEART))))
Medicine.kif 2072-2080
Processo
e' uma
instancia
de
HeartPalpitations
AutonomousAgent
experimenta
Processo
AutonomousAgent
EART
AutonomousAgent
EART e' uma
instancia
de
Heart
AutonomousAgent
EART e' uma &parte de
AutonomousAgent
Processo
e'
situado
em
AutonomousAgent
EART
(=>
(
and
(
instance
?P
PerniciousAnemia
)
(
experiencer
?P ?H1)
(
amount
VitaminB12
?H1
(
MeasureFn
?N1 ?U))
(
amount
VitaminB12
?H2
(
MeasureFn
?N2 ?U))
(
attribute
?H2
Healthy
)
(
not
(
equal
?H1 ?H2)))
(
greaterThan
?N2 ?N1))
Medicine.kif 2695-2704
Processo
e' uma
instancia
de
PerniciousAnemia
AutonomousAgent
experimenta
Processo
amount
VitaminB12
,
AutonomousAgent
and
Numero Real
Unidade de Medida
(s)
amount
VitaminB12
,
Objeto Corpuscular
and
Numero Real
Unidade de Medida
(s)
Healthy
e' um
atributo
de
Objeto Corpuscular
AutonomousAgent
e'
igual
a
Objeto Corpuscular
Numero Real
e'
maior
que
Numero Real
(=>
(
and
(
instance
?P
Perspiring
)
(
experiencer
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?A)
(
destination
?P ?H))))
emotion.kif 1492-1500
Processo
e' uma
instancia
de
Perspiring
AutonomousAgent
experimenta
Processo
Objeto
Objeto
e' uma
instancia
de
Hand
Objeto
e' uma &parte de
AutonomousAgent
Processo
termina
em
Objeto
(=>
(
and
(
instance
?P
PerspiringWholeBody
)
(
experiencer
?P ?A))
(
not
(
exists
(?B)
(
and
(
instance
?B
BodyPart
)
(
part
?B ?A)
(
not
(
destination
?P ?B))))))
emotion.kif 1505-1515
Processo
e' uma
instancia
de
PerspiringWholeBody
AutonomousAgent
experimenta
Processo
Objeto
Objeto
e' uma
instancia
de
Parte do Corpo
Objeto
e' uma &parte de
AutonomousAgent
Processo
nao %n
termina
%n em
Objeto
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
exists
(?D)
(
and
(
instance
?D
Damaging
)
(
experiencer
?D ?H)
(
causes
?I ?D))))
Mid-level-ontology.kif 8599-8609
Objeto
e' uma
instancia
de
Poison
Movimento
e' uma
instancia
de
Ingerir
moves
Movimento
and
Objeto
AutonomousAgent
experimenta
Movimento
Processo
Processo
e' uma
instancia
de
Causar Dano
AutonomousAgent
experimenta
Processo
Movimento
causa
Processo
(=>
(
and
(
instance
?P
Poison
)
(
instance
?I
Ingesting
)
(
moves
?I ?P)
(
experiencer
?I ?H))
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
attribute
?H
Blind
))
Possibility
))
Mid-level-ontology.kif 8623-8634
Objeto
e' uma
instancia
de
Poison
Movimento
e' uma
instancia
de
Ingerir
moves
Movimento
and
Objeto
AutonomousAgent
experimenta
Movimento
o argumento
Blind
e' um
atributo
de
AutonomousAgent
vale
durante
apos
tempo
de existencia de
Movimento
tem a
forca
modal
de
Possibility
(=>
(
and
(
instance
?PATH
PathologicProcess
)
(
experiencer
?PATH ?ORG))
(
exists
(?PART ?DISEASE)
(
and
(
part
?PART ?ORG)
(
instance
?DISEASE
DiseaseOrSyndrome
)
(
attribute
?PART ?DISEASE))))
Merge.kif 10416-10424
Processo
e' uma
instancia
de
Processo Patologico
AutonomousAgent
experimenta
Processo
Objeto
Atributo
Objeto
e' uma &parte de
AutonomousAgent
Atributo
e' uma
instancia
de
Doenca ou Sindrome
Atributo
e' um
atributo
de
Objeto
(=>
(
and
(
instance
?PP
PublicProgram
)
(
experiencer
?PP ?PUBLIC))
(
hasPurpose
?PP
(
exists
(?HELPING)
(
and
(
instance
?HELPING
Helping
)
(
experiencer
?HELPING ?PUBLIC)
(
instance
?PUBLIC
Public
)))))
MilitaryProcesses.kif 1383-1392
Processo
e' uma
instancia
de
PublicProgram
AutonomousAgent
experimenta
Processo
Processo
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Helping
AutonomousAgent
experimenta
Entidade
AutonomousAgent
e' uma
instancia
de
Public
(=>
(
and
(
instance
?PROC
BiologicalProcess
)
(
experiencer
?PROC ?ORG))
(
instance
?ORG
Organism
))
Merge.kif 10165-10169
Processo
e' uma
instancia
de
Processo Biologico
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Organismo
(=>
(
and
(
instance
?R
RecoveringFromIllness
)
(
experiencer
?R ?A))
(
exists
(?D)
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
attribute
?A ?D))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
attribute
?A ?D))))))
Mid-level-ontology.kif 6251-6264
Processo
e' uma
instancia
de
RecoveringFromIllness
AutonomousAgent
experimenta
Processo
Fisico
Fisico
e' uma
instancia
de
Doenca ou Sindrome
Fisico
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Fisico
Fisico
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Fisico
(=>
(
and
(
instance
?R
RecreationOrExercise
)
(
instrument
?R ?RM)
(
instance
?RM
RowingMachine
)
(
experiencer
?R ?H)
(
instance
?ROW
Rowing
)
(
subProcess
?RMOT ?R)
(
subclass
?C
BodyMotion
)
(
instance
?RMOT ?C))
(
exists
(?ROWMOT)
(
and
(
instance
?ROWMOT ?C)
(
subProcess
?ROWMOT ?R)
(
agent
?ROWMOT ?H))))
Mid-level-ontology.kif 8242-8256
Processo
e' uma
instancia
de
Recreacao ou Exercicio
Processo
M e' um
instrumento
para
Processo
Processo
M e' uma
instancia
de
RowingMachine
AutonomousAgent
experimenta
Processo
Processo
OW e' uma
instancia
de
Rowing
Processo
MOT e' um
sub
-processo de
Processo
Classe
e' uma
sub
-classe de
Movimento do Corpo
Processo
MOT e' uma
instancia
de
Classe
Processo
OWMOT
Processo
OWMOT e' uma
instancia
de
Classe
Processo
OWMOT e' um
sub
-processo de
Processo
Processo
OWMOT e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?REM
(
DeadFn
?ORGTYPE))
(
instance
?DEATH
Death
)
(
result
?DEATH ?REM)
(
experiencer
?DEATH ?ORG))
(
instance
?ORG ?ORGTYPE))
Mid-level-ontology.kif 121-127
Entidade
e' uma
instancia
de
DeadFn
Objeto Organico
Processo
e' uma
instancia
de
Morte
Entidade
e' o
resultado
de
Processo
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
Objeto Organico
(=>
(
and
(
instance
?REM
OrganicObject
)
(
instance
?DEATH
Death
)
(
instance
?ORG
Organism
)
(
experiencer
?DEATH ?ORG)
(
result
?DEATH ?REM))
(
instance
?REM
OrganismRemains
))
Mid-level-ontology.kif 58-65
Entidade
e' uma
instancia
de
Objeto Organico
Processo
e' uma
instancia
de
Morte
AutonomousAgent
e' uma
instancia
de
Organismo
AutonomousAgent
experimenta
Processo
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
OrganismRemains
(=>
(
and
(
instance
?REM
OrganismRemains
)
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?ORG)
(
instance
?ORG ?ORGTYPE)
(
subclass
?ORGTYPE
OrganicObject
)
(
result
?DEATH ?REM))
(
instance
?REM
(
DeadFn
?ORGTYPE)))
Mid-level-ontology.kif 129-137
Entidade
e' uma
instancia
de
OrganismRemains
Processo
e' uma
instancia
de
Morte
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
AutonomousAgent
TYPE
AutonomousAgent
TYPE e' uma
sub
-classe de
Objeto Organico
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
DeadFn
AutonomousAgent
TYPE
(=>
(
and
(
instance
?RETURN
Returning
)
(
experiencer
?RETURN ?AGENT)
(
destination
?RETURN ?DEST))
(
exists
(?TIME)
(
and
(
earlier
?TIME
(
WhenFn
?RETURN))
(
holdsDuring
?TIME
(
located
?AGENT ?DEST)))))
Mid-level-ontology.kif 17265-17273
Processo
e' uma
instancia
de
Returning
AutonomousAgent
experimenta
Processo
Processo
termina
em
Entidade
Intervalo Temporal
Intervalo Temporal
acontence
antes
de
tempo
de existencia de
Processo
AutonomousAgent
e'
situado
em
Entidade
vale
durante
Intervalo Temporal
(=>
(
and
(
instance
?S
AbsenceSeizure
)
(
experiencer
?S ?A))
(
holdsDuring
(
WhenFn
?S)
(
not
(
attribute
?A
Conscious
))))
Medicine.kif 1690-1697
Processo
e' uma
instancia
de
AbsenceSeizure
AutonomousAgent
experimenta
Processo
Conscious
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?S
FocalSeizure
)
(
experiencer
?S ?A))
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Conscious
)))
Medicine.kif 1669-1675
Processo
e' uma
instancia
de
FocalSeizure
AutonomousAgent
experimenta
Processo
Conscious
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?S
Laughing
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1626-1634
Processo
e' uma
instancia
de
Laughing
AutonomousAgent
experimenta
Processo
o argumento
Happiness
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?S
Seizure
)
(
experiencer
?S ?A))
(
exists
(?B)
(
and
(
instance
?B
Brain
)
(
part
?B ?A)
(
located
?S ?B))))
Medicine.kif 1613-1621
Processo
e' uma
instancia
de
Seizure
AutonomousAgent
experimenta
Processo
Objeto
Objeto
e' uma
instancia
de
Brain
Objeto
e' uma &parte de
AutonomousAgent
Processo
e'
situado
em
Objeto
(=>
(
and
(
instance
?S
Sepsis
)
(
experiencer
?S ?H))
(
exists
(?I)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
causes
?I ?S))))
Medicine.kif 5527-5535
Processo
e' uma
instancia
de
Sepsis
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Infecting
AutonomousAgent
experimenta
Processo
Processo
causa
Processo
(=>
(
and
(
instance
?S
Septoplasty
)
(
experiencer
?S ?H))
(
exists
(?SEPT)
(
and
(
instance
?SEPT
NasalSeptum
)
(
part
?SEPT ?H)
(
patient
?S ?SEPT))))
Medicine.kif 4447-4455
Processo
e' uma
instancia
de
Septoplasty
AutonomousAgent
experimenta
Processo
Processo
EPT
Processo
EPT e' uma
instancia
de
NasalSeptum
Processo
EPT e' uma &parte de
AutonomousAgent
Processo
EPT e' um
patient
de
Processo
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