experiencer
(=>
(
and
(
instance
?S
SkinRash
)
(
experiencer
?S ?H))
(
modalAttribute
(
exists
(?I)
(
and
(
instance
?I
Itching
)
(
experiencer
?I ?H)
(
during
(
WhenFn
?I)
(
WhenFn
?S))))
Likely
))
Mid-level-ontology.kif 5748-5758
Processo
e' uma
instancia
de
SkinRash
AutonomousAgent
experimenta
Processo
o argumento
Entidade
Entidade
e' uma
instancia
de
Itching
AutonomousAgent
experimenta
Entidade
tempo
de existencia de
Entidade
acontece
durante
tempo
de existencia de
Processo
tem a
forca
modal
de
Likely
(=>
(
and
(
instance
?S
Smiling
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1614-1622
Processo
e' uma
instancia
de
Smiling
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
Sunburn
)
(
experiencer
?S ?H))
(
exists
(?D ?SKIN)
(
and
(
instance
?D
Damaging
)
(
instrument
?D
Sol
)
(
instance
?SKIN
Skin
)
(
part
?SKIN ?H)
(
patient
?D ?SKIN))))
Mid-level-ontology.kif 11004-11014
Processo
e' uma
instancia
de
Sunburn
AutonomousAgent
experimenta
Processo
Processo
Processo
KIN
Processo
e' uma
instancia
de
Causar Dano
Sol
e' um
instrumento
para
Processo
Processo
KIN e' uma
instancia
de
Skin
Processo
KIN e' uma &parte de
AutonomousAgent
Processo
KIN e' um
patient
de
Processo
(=>
(
and
(
instance
?S
Tanning
)
(
experiencer
?S ?H))
(
exists
(?D ?SKIN)
(
and
(
instance
?D
RadiatingUltraviolet
)
(
instrument
?D
Sol
)
(
instance
?SKIN
Skin
)
(
part
?SKIN ?H)
(
patient
?D ?SKIN))))
Mid-level-ontology.kif 11022-11032
Processo
e' uma
instancia
de
Tanning
AutonomousAgent
experimenta
Processo
Processo
Processo
KIN
Processo
e' uma
instancia
de
RadiatingUltraviolet
Sol
e' um
instrumento
para
Processo
Processo
KIN e' uma
instancia
de
Skin
Processo
KIN e' uma &parte de
AutonomousAgent
Processo
KIN e' um
patient
de
Processo
(=>
(
and
(
instance
?S
TonicClonicSeizure
)
(
experiencer
?S ?A))
(
holdsDuring
(
WhenFn
?S)
(
not
(
attribute
?A
Conscious
))))
Medicine.kif 1639-1646
Processo
e' uma
instancia
de
TonicClonicSeizure
AutonomousAgent
experimenta
Processo
Conscious
e' um
atributo
de
AutonomousAgent
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?SHN
SupportHNAssistance
)
(
experiencer
?SHN ?HN)
(
instance
?HN
HostNation
))
(
exists
(?OP)
(
and
(
instance
?OP
MilitaryOperation
)
(
instance
?OP
Helping
)
(
experiencer
?OP ?HN)
(
patient
?SHN ?OP))))
MilitaryProcesses.kif 1293-1303
Processo
e' uma
instancia
de
SupportHNAssistance
AutonomousAgent
experimenta
Processo
AutonomousAgent
e' uma
instancia
de
HostNation
Processo
Processo
e' uma
instancia
de
MilitaryOperation
Processo
e' uma
instancia
de
Helping
AutonomousAgent
experimenta
Processo
Processo
e' um
patient
de
Processo
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
exists
(?A2)
(
and
(
not
(
equal
?A2 ?A))
(
capability
?S
experiencer
?A2)
(
not
(
capability
?S
experiencer
?A)))))
Merge.kif 13516-13526
Processo
e' uma
instancia
de
SenseImpairmentFn
Percepcao
AutonomousAgent
experimenta
Processo
AutonomousAgent
2
AutonomousAgent
2 e'
igual
a
AutonomousAgent
AutonomousAgent
2 e'
capaz
de fazer
Percepcao
no role
experiencer
AutonomousAgent
e'
capaz
de fazer
Percepcao
no role
experiencer
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13536-13541
Processo
e' uma
instancia
de
SenseImpairmentFn
Percepcao
AutonomousAgent
experimenta
Processo
AutonomousAgent
e'
capaz
de fazer
Percepcao
no role
experiencer
(=>
(
and
(
instance
?SPIT
Drooling
)
(
experiencer
?SPIT ?ANIMAL))
(
exists
(?MOUTH ?S)
(
and
(
instance
?MOUTH
Mouth
)
(
objectTransferred
?SPIT ?S)
(
instance
?S
Saliva
)
(
part
?MOUTH ?ANIMAL)
(
origin
?SPIT ?MOUTH))))
Mid-level-ontology.kif 6566-6576
Transferencia
e' uma
instancia
de
Drooling
AutonomousAgent
experimenta
Transferencia
Objeto
Objeto
Objeto
e' uma
instancia
de
Mouth
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma
instancia
de
Saliva
Objeto
e' uma &parte de
AutonomousAgent
Transferencia
tem como
origem
Objeto
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
)))
Medicine.kif 2418-2423
Processo
e' uma
instancia
de
AutoimmuneVasculitis
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
BloodVessel
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
exists
(?B ?I)
(
and
(
instance
?B
BloodVessel
)
(
part
?B ?H)
(
instance
?I
Inflammation
)
(
patient
?I ?B))))
Medicine.kif 2425-2434
Processo
e' uma
instancia
de
AutoimmuneVasculitis
AutonomousAgent
experimenta
Processo
Objeto
Processo
Objeto
e' uma
instancia
de
BloodVessel
Objeto
e' uma &parte de
AutonomousAgent
Processo
e' uma
instancia
de
Inflammation
Objeto
e' um
patient
de
Processo
(=>
(
and
(
instance
?SS
MyastheniaGravis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NerveCell
)))
Medicine.kif 2406-2411
Processo
e' uma
instancia
de
MyastheniaGravis
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
NerveCell
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?SS
SjogrensSyndrome
)
(
experiencer
?SS ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
SalivaryGland
))
(
attribute
?H
(
ImpairedBodyPartFn
TearGland
))))
Medicine.kif 2359-2367
Processo
e' uma
instancia
de
SjogrensSyndrome
AutonomousAgent
experimenta
Processo
ImpairedBodyPartFn
SalivaryGland
e' um
atributo
de
AutonomousAgent
ImpairedBodyPartFn
TearGland
e' um
atributo
de
AutonomousAgent
(=>
(
and
(
instance
?SS
StayingStill
)
(
experiencer
?SS ?A))
(
not
(
exists
(?B ?T)
(
and
(
instance
?B
BodyMotion
)
(
instance
?T
Translocation
)
(
causes
?B ?T)
(
agent
?B ?A)))))
emotion.kif 1523-1533
Processo
e' uma
instancia
de
StayingStill
AutonomousAgent
experimenta
Processo
Processo
Processo
Processo
e' uma
instancia
de
Movimento do Corpo
Processo
e' uma
instancia
de
Translocation
Processo
causa
Processo
Processo
e' um
agente
de
AutonomousAgent
(=>
(
and
(
instance
?T
Bradycardia
)
(
experiencer
?T ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?I
Minute
)
(
heartRate
?H ?I ?N))
(
greaterThan
50 ?N))
Medicine.kif 2847-2855
Processo
e' uma
instancia
de
Bradycardia
AutonomousAgent
experimenta
Processo
Heart
e' uma
instancia
de
Heart
Heart
e' uma &parte de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Minuto
heartRate
Heart
,
Intervalo Temporal
and
Numero Inteiro
50 e'
maior
que
Numero Inteiro
(=>
(
and
(
instance
?T
Tachycardia
)
(
experiencer
?T ?P)
(
instance
?H
Heart
)
(
part
?H ?P)
(
instance
?I
Minute
)
(
heartRate
?H ?I ?N))
(
greaterThan
?N 100))
Medicine.kif 2819-2827
Processo
e' uma
instancia
de
Tachycardia
AutonomousAgent
experimenta
Processo
Heart
e' uma
instancia
de
Heart
Heart
e' uma &parte de
AutonomousAgent
Intervalo Temporal
e' uma
instancia
de
Minuto
heartRate
Heart
,
Intervalo Temporal
and
Numero Inteiro
Numero Inteiro
e'
maior
que 100
(=>
(
and
(
instance
?T
TakingIll
)
(
experiencer
?T ?A))
(
exists
(?D)
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
holdsDuring
(
BeginFn
(
WhenFn
?T))
(
not
(
attribute
?A ?D)))
(
holdsDuring
(
EndFn
(
WhenFn
?T))
(
attribute
?A ?D)))))
Mid-level-ontology.kif 5931-5944
Processo
e' uma
instancia
de
TakingIll
AutonomousAgent
experimenta
Processo
Entidade
Entidade
e' uma
instancia
de
Doenca ou Sindrome
Entidade
e' um
atributo
de
AutonomousAgent
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e' um
atributo
de
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia de
Processo
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
Processo
e' uma
instancia
de
TemperatureFallingExperiencedAsFeelingCold
Processo
e'
situado
em
Objeto
AutonomousAgent
experimenta
Processo
AutonomousAgent
acredita
que
ColdTemperature
e' um
atributo
de
Objeto
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
Processo
e' uma
instancia
de
TemperatureRisingExperiencedAsFeelingWarm
Processo
e'
situado
em
Objeto
AutonomousAgent
experimenta
Processo
AutonomousAgent
acredita
que
WarmTemperature
e' um
atributo
de
Objeto
vale
durante
tempo
de existencia de
Processo
(=>
(
and
(
instance
?T
TransferringPosition
)
(
experiencer
?T ?H))
(
exists
(?P1 ?P2 ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?T))
(
occupiesPosition
?H ?P1 ?ORG))
(
holdsDuring
(
EndFn
(
WhenFn
?T))
(
occupiesPosition
?H ?P2 ?ORG))
(
not
(
equal
?P1 ?P2)))))
Mid-level-ontology.kif 16947-16960
Processo
e' uma
instancia
de
TransferringPosition
AutonomousAgent
experimenta
Processo
Entidade
Entidade
and
Entidade
AutonomousAgent
ocupa a
posicao
de
Entidade
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Processo
AutonomousAgent
ocupa a
posicao
de
Entidade
Entidade
vale
durante o
fim
de
tempo
de existencia de
Processo
Entidade
e'
igual
a
Entidade
(=>
(
and
(
instance
?T1
Translocation
)
(
instance
?T2
Translocation
)
(
origin
?T1 ?O1)
(
origin
?T2 ?D1)
(
destination
?T1 ?D1)
(
destination
?T2 ?D2)
(
experiencer
?T1 ?P)
(
experiencer
?T2 ?P))
(
exists
(?T)
(
and
(
instance
?T
Translocation
)
(
origin
?T ?O1)
(
destination
?T ?D2)
(
subProcess
?T1 ?T)
(
subProcess
?T2 ?T)
(
experiencer
?T ?P)
(
starts
(
WhenFn
?T1)
(
WhenFn
?T))
(
finishes
(
WhenFn
?T2)
(
WhenFn
?T)))))
Merge.kif 11327-11350
Processo
e' uma
instancia
de
Translocation
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Processo
tem como
origem
Objeto
Processo
termina
em
Objeto
Processo
termina
em
Entidade
AutonomousAgent
experimenta
Processo
AutonomousAgent
experimenta
Processo
Processo
Processo
e' uma
instancia
de
Translocation
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Processo
e' um
sub
-processo de
Processo
Processo
e' um
sub
-processo de
Processo
AutonomousAgent
experimenta
Processo
tempo
de existencia de
Processo
comeca
em
tempo
de existencia de
Processo
tempo
de existencia de
Processo
termina
em
tempo
de existencia de
Processo
(=>
(
and
(
instance
?TEXT
BirthCertificate
)
(
instance
?B
Birth
)
(
instance
?A
Human
)
(
experiencer
?B ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N)
(
and
(
birthdate
?A ?DAY)
(
instance
?DAY
Day
)
(
birthplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)))))
Biography.kif 250-264
ContentBearingPhysical
e' uma
instancia
de
BirthCertificate
Processo
e' uma
instancia
de
Nascimento
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
experimenta
Processo
containsFormula
ContentBearingPhysical
and
Entidade
Entidade
and
Entidade
birthdate
AutonomousAgent
and
Entidade
Entidade
e' uma
instancia
de
Dia
birthplace
AutonomousAgent
and
Entidade
Entidade
e' uma
instancia
de
Area Geografica
Entidade
define
AutonomousAgent
Entidade
e' uma
instancia
de
Name
(=>
(
and
(
instance
?TEXT
DeathCertificate
)
(
instance
?D
Death
)
(
instance
?A
Human
)
(
experiencer
?D ?A))
(
containsFormula
?TEXT
(
exists
(?DAY ?P ?N ?PROC)
(
and
(
deathdate
?A ?DAY)
(
instance
?DAY
Day
)
(
deathplace
?A ?P)
(
instance
?P
GeographicArea
)
(
represents
?N ?A)
(
instance
?N
Name
)
(
causes
?PROC ?D)
(
instance
?PROC
Process
)))))
Biography.kif 280-296
ContentBearingPhysical
e' uma
instancia
de
DeathCertificate
Processo
e' uma
instancia
de
Morte
AutonomousAgent
e' uma
instancia
de
Humano
AutonomousAgent
experimenta
Processo
containsFormula
ContentBearingPhysical
and
Processo
AY
Entidade
,
Entidade
and
Entidade
ROC
deathdate
AutonomousAgent
and
Processo
AY
Processo
AY e' uma
instancia
de
Dia
deathplace
AutonomousAgent
and
Entidade
Entidade
e' uma
instancia
de
Area Geografica
Entidade
define
AutonomousAgent
Entidade
e' uma
instancia
de
Name
Entidade
ROC
causa
Processo
Entidade
ROC e' uma
instancia
de
Processo
(=>
(
and
(
instance
?V
Vaccination
)
(
experiencer
?V ?H))
(
exists
(?VAC)
(
and
(
instance
?VAC
Vaccine
)
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?V)
(
contains
?H ?VAC))))))
WMD.kif 1071-1081
Processo
e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Processo
Processo
AC
Processo
AC e' uma
instancia
de
Vaccine
vale
durante imediatemente
apos
tempo
de existencia de
Processo
(=>
(
and
(
instance
?V
Vomiting
)
(
experiencer
?V ?A))
(
exists
(?S ?O)
(
and
(
instance
?S
Stomach
)
(
part
?S ?A)
(
holdsDuring
(
BeginFn
(
WhenFn
?V))
(
located
?O ?S))
(
holdsDuring
(
EndFn
(
WhenFn
?V))
(
not
(
located
?O ?A))))))
Mid-level-ontology.kif 21412-21426
Processo
e' uma
instancia
de
Vomiting
AutonomousAgent
experimenta
Processo
Objeto
Entidade
Objeto
e' uma
instancia
de
Stomach
Objeto
e' uma &parte de
AutonomousAgent
Entidade
e'
situado
em
Objeto
vale
durante o
comeco
de
tempo
de existencia de
Processo
Entidade
e'
situado
em
AutonomousAgent
vale
durante o
fim
de
tempo
de existencia 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