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
è un'
istanza
di
SkinRash
AutonomousAgent
esperisce
s
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
Itching
AutonomousAgent
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
has luogo
durante
il
tempo
di esistenza di
Processo
ha il modello di forza di
Likely
(=>
(
and
(
instance
?S
Smiling
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1614-1622
Processo
è un'
istanza
di
Smiling
AutonomousAgent
esperisce
s
Processo
l'affermazione
attribute
AutonomousAgent
and
Happiness
vales
durante
il
tempo
di esistenza di
Processo
ha il modello di forza di
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
è un'
istanza
di
Sunburn
AutonomousAgent
esperisce
s
Processo
Processo
Processo
KIN
Processo
è un'
istanza
di
Danneggiare
Sol
è uno
strumento
per
Processo
Processo
KIN è un'
istanza
di
Skin
Processo
KIN è una
parte
di
AutonomousAgent
Processo
KIN è un
paziente
di
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
è un'
istanza
di
Tanning
AutonomousAgent
esperisce
s
Processo
Processo
Processo
KIN
Processo
è un'
istanza
di
RadiatingUltraviolet
Sol
è uno
strumento
per
Processo
Processo
KIN è un'
istanza
di
Skin
Processo
KIN è una
parte
di
AutonomousAgent
Processo
KIN è un
paziente
di
Processo
(=>
(
and
(
instance
?S
TonicClonicSeizure
)
(
experiencer
?S ?A))
(
holdsDuring
(
WhenFn
?S)
(
not
(
attribute
?A
Conscious
))))
Medicine.kif 1639-1646
Processo
è un'
istanza
di
TonicClonicSeizure
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Conscious
vales
durante
il
tempo
di esistenza di
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
è un'
istanza
di
SupportHNAssistance
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
HostNation
Processo
Processo
è un'
istanza
di
MilitaryOperation
Processo
è un'
istanza
di
Helping
AutonomousAgent
esperisce
s
Processo
Processo
è un
paziente
di
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
è un'
istanza
di
SenseImpairmentFn
Percezione
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
2
AutonomousAgent
2 is
uguale
a
AutonomousAgent
AutonomousAgent
2 è
capace
di fare
Percezione
nel ruolo
experiencer
AutonomousAgent
è
capace
di fare
Percezione
nel ruolo
experiencer
(=>
(
and
(
instance
?SI
(
SenseImpairmentFn
?S))
(
experiencer
?SI ?A))
(
not
(
capability
?S
experiencer
?A)))
Merge.kif 13536-13541
Processo
è un'
istanza
di
SenseImpairmentFn
Percezione
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è
capace
di fare
Percezione
nel ruolo
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
Trasferimento
è un'
istanza
di
Drooling
AutonomousAgent
esperisce
s
Trasferimento
Oggetto
Oggetto
Oggetto
è un'
istanza
di
Mouth
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Saliva
Oggetto
è una
parte
di
AutonomousAgent
Trasferimento
si
originas in
Oggetto
(=>
(
and
(
instance
?SS
AutoimmuneVasculitis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
BloodVessel
)))
Medicine.kif 2418-2423
Processo
è un'
istanza
di
AutoimmuneVasculitis
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
BloodVessel
(=>
(
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
è un'
istanza
di
AutoimmuneVasculitis
AutonomousAgent
esperisce
s
Processo
Oggetto
Processo
Oggetto
è un'
istanza
di
BloodVessel
Oggetto
è una
parte
di
AutonomousAgent
Processo
è un'
istanza
di
Inflammation
Oggetto
è un
paziente
di
Processo
(=>
(
and
(
instance
?SS
MyastheniaGravis
)
(
experiencer
?SS ?H))
(
attribute
?H
(
ImpairedBodyPartFn
NerveCell
)))
Medicine.kif 2406-2411
Processo
è un'
istanza
di
MyastheniaGravis
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
NerveCell
(=>
(
and
(
instance
?SS
SjogrensSyndrome
)
(
experiencer
?SS ?H))
(
or
(
attribute
?H
(
ImpairedBodyPartFn
SalivaryGland
))
(
attribute
?H
(
ImpairedBodyPartFn
TearGland
))))
Medicine.kif 2359-2367
Processo
è un'
istanza
di
SjogrensSyndrome
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
ImpairedBodyPartFn
SalivaryGland
attribute
AutonomousAgent
and
ImpairedBodyPartFn
TearGland
(=>
(
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
è un'
istanza
di
StayingStill
AutonomousAgent
esperisce
s
Processo
Processo
Processo
Processo
è un'
istanza
di
MovimentoCorporeo
Processo
è un'
istanza
di
Translocation
Processo
causa
s
Processo
Processo
è un
agente
di
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
è un'
istanza
di
Bradycardia
AutonomousAgent
esperisce
s
Processo
Heart
è un'
istanza
di
Heart
Heart
è una
parte
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Minuto
heartRate
Heart
,
IntervalloTemporale
and
NumeroIntero
50 è
pi
ù grande di
NumeroIntero
(=>
(
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
è un'
istanza
di
Tachycardia
AutonomousAgent
esperisce
s
Processo
Heart
è un'
istanza
di
Heart
Heart
è una
parte
di
AutonomousAgent
IntervalloTemporale
è un'
istanza
di
Minuto
heartRate
Heart
,
IntervalloTemporale
and
NumeroIntero
NumeroIntero
è
pi
ù grande di 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
è un'
istanza
di
TakingIll
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
è un'
istanza
di
MalattiaOSindrome
attribute
AutonomousAgent
and
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
AutonomousAgent
and
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?T
TemperatureFallingExperiencedAsFeelingCold
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
ColdTemperature
))))
emotion.kif 1551-1558
Processo
è un'
istanza
di
TemperatureFallingExperiencedAsFeelingCold
Processo
è
localizzato
in
Oggetto
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
crede
s
attribute
Oggetto
and
ColdTemperature
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?T
TemperatureRisingExperiencedAsFeelingWarm
)
(
located
?T ?L)
(
experiencer
?T ?A))
(
holdsDuring
(
WhenFn
?T)
(
believes
?A
(
attribute
?L
WarmTemperature
))))
emotion.kif 1569-1576
Processo
è un'
istanza
di
TemperatureRisingExperiencedAsFeelingWarm
Processo
è
localizzato
in
Oggetto
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
crede
s
attribute
Oggetto
and
WarmTemperature
vales
durante
il
tempo
di esistenza di
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
è un'
istanza
di
TransferringPosition
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
and
Entit�
AutonomousAgent
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
AutonomousAgent
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
Entit�
is
uguale
a
Entit�
(=>
(
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
è un'
istanza
di
Translocation
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Processo
si
originas in
Oggetto
Processo
fine
s in
Oggetto
Processo
fine
s in
Entit�
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
esperisce
s
Processo
Processo
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Processo
fine
s in
Entit�
Processo
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
inizia
s il
tempo
di esistenza di
Processo
il
tempo
di esistenza di
Processo
finisce
es il
tempo
di esistenza di
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
è un'
istanza
di
BirthCertificate
Processo
è un'
istanza
di
Nascita
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
esperisce
s
Processo
containsFormula
ContentBearingPhysical
and
Entit�
Entit�
and
Entit�
birthdate
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
Giorno
birthplace
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
AreaGeografica
Entit�
esprime
AutonomousAgent
Entit�
è un'
istanza
di
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
è un'
istanza
di
DeathCertificate
Processo
è un'
istanza
di
Morte
AutonomousAgent
è un'
istanza
di
Umano
AutonomousAgent
esperisce
s
Processo
containsFormula
ContentBearingPhysical
and
Processo
AY
Entit�
,
Entit�
and
Entit�
ROC
deathdate
AutonomousAgent
and
Processo
AY
Processo
AY è un'
istanza
di
Giorno
deathplace
AutonomousAgent
and
Entit�
Entit�
è un'
istanza
di
AreaGeografica
Entit�
esprime
AutonomousAgent
Entit�
è un'
istanza
di
Name
Entit�
ROC
causa
s
Processo
Entit�
ROC è un'
istanza
di
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
è un'
istanza
di
Vaccination
AutonomousAgent
esperisce
s
Processo
Processo
AC
Processo
AC è un'
istanza
di
Vaccine
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
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
è un'
istanza
di
Vomiting
AutonomousAgent
esperisce
s
Processo
Oggetto
Entit�
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
Entit�
è
localizzato
in
Oggetto
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
è
localizzato
in
AutonomousAgent
vales
durante
la
fine
di il
tempo
di esistenza di
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