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
è un'
istanza
di
Nausea
AgenteCognitivo
esperisce
s
Processo
AgenteCognitivo
crede
s
Entit�
Entit�
è un'
istanza
di
Vomiting
AgenteCognitivo
esperisce
s
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
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
è un'
istanza
di
CeliacDisease
AutonomousAgent
esperisce
s
Processo
Oggetto
è un'
istanza
di
SmallIntestine
Oggetto
è una
parte
di
AutonomousAgent
l'affermazione
Entit�
Entit�
è un'
istanza
di
Diarrhoea
AutonomousAgent
esperisce
s
Entit�
Processo
causa
s
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
instance
?P
CeliacDisease
)
(
experiencer
?P ?H1)
(
instance
?SI
SmallIntestine
)
(
part
?SI ?H1))
(
modalAttribute
(
located
?P ?SI)
Likely
))
Medicine.kif 2725-2733
Processo
è un'
istanza
di
CeliacDisease
AutonomousAgent
esperisce
s
Processo
Oggetto
è un'
istanza
di
SmallIntestine
Oggetto
è una
parte
di
AutonomousAgent
l'affermazione
Processo
è
localizzato
in
Oggetto
ha il modello di forza di
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
è un'
istanza
di
HeartPalpitations
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
EART è un'
istanza
di
Heart
AutonomousAgent
EART è una
parte
di
AutonomousAgent
Processo
ER
Processo
ER è un'
istanza
di
Percezione
AutonomousAgent
esperisce
s
Processo
ER
AutonomousAgent
EART è un
paziente
di
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
è un'
istanza
di
HeartPalpitations
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
EART
AutonomousAgent
EART è un'
istanza
di
Heart
AutonomousAgent
EART è una
parte
di
AutonomousAgent
Processo
è
localizzato
in
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
è un'
istanza
di
PerniciousAnemia
AutonomousAgent
esperisce
s
Processo
amount
VitaminB12
,
AutonomousAgent
and
NumeroReale
Unit�DiMisura
(s
amount
VitaminB12
,
OggettoCorpuscolare
and
NumeroReale
Unit�DiMisura
(s
attribute
OggettoCorpuscolare
and
Healthy
AutonomousAgent
is
uguale
a
OggettoCorpuscolare
NumeroReale
è
pi
ù grande di
NumeroReale
(=>
(
and
(
instance
?P
Perspiring
)
(
experiencer
?P ?A))
(
exists
(?H)
(
and
(
instance
?H
Hand
)
(
part
?H ?A)
(
destination
?P ?H))))
emotion.kif 1492-1500
Processo
è un'
istanza
di
Perspiring
AutonomousAgent
esperisce
s
Processo
Oggetto
Oggetto
è un'
istanza
di
Hand
Oggetto
è una
parte
di
AutonomousAgent
Processo
fine
s in
Oggetto
(=>
(
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
è un'
istanza
di
PerspiringWholeBody
AutonomousAgent
esperisce
s
Processo
Oggetto
Oggetto
è un'
istanza
di
ParteDelCorpo
Oggetto
è una
parte
di
AutonomousAgent
Processo
non %n
fine
in
Oggetto
(=>
(
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
Oggetto
è un'
istanza
di
Poison
Movimento
è un'
istanza
di
Ingestione
moves
Movimento
and
Oggetto
AutonomousAgent
esperisce
s
Movimento
Processo
Processo
è un'
istanza
di
Danneggiare
AutonomousAgent
esperisce
s
Processo
Movimento
causa
s
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
Oggetto
è un'
istanza
di
Poison
Movimento
è un'
istanza
di
Ingestione
moves
Movimento
and
Oggetto
AutonomousAgent
esperisce
s
Movimento
l'affermazione
attribute
AutonomousAgent
and
Blind
vales
durante
dopo
il
tempo
di esistenza di
Movimento
ha il modello di forza di
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
è un'
istanza
di
ProcessoPatologico
AutonomousAgent
esperisce
s
Processo
Oggetto
Attributo
Oggetto
è una
parte
di
AutonomousAgent
Attributo
è un'
istanza
di
MalattiaOSindrome
attribute
Oggetto
and
Attributo
(=>
(
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
è un'
istanza
di
PublicProgram
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
è un'
istanza
di
Helping
AutonomousAgent
esperisce
s
Entit�
AutonomousAgent
è un'
istanza
di
Public
(=>
(
and
(
instance
?PROC
BiologicalProcess
)
(
experiencer
?PROC ?ORG))
(
instance
?ORG
Organism
))
Merge.kif 10165-10169
Processo
è un'
istanza
di
ProcesoBiologico
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
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
è un'
istanza
di
RecoveringFromIllness
AutonomousAgent
esperisce
s
Processo
Entit�Concreta
Entit�Concreta
è un'
istanza
di
MalattiaOSindrome
attribute
AutonomousAgent
and
Entit�Concreta
vales
durante
l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
attribute
AutonomousAgent
and
Entit�Concreta
vales
durante
la
fine
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
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
è un'
istanza
di
PassatempoOEsercizio
Processo
M è uno
strumento
per
Processo
Processo
M è un'
istanza
di
RowingMachine
AutonomousAgent
esperisce
s
Processo
Processo
OW è un'
istanza
di
Rowing
Processo
MOT è un
sottoprocesso
di
Processo
Classe
è una
sottoclasse
di
MovimentoCorporeo
Processo
MOT è un'
istanza
di
Classe
Processo
OWMOT
Processo
OWMOT è un'
istanza
di
Classe
Processo
OWMOT è un
sottoprocesso
di
Processo
Processo
OWMOT è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?REM
(
DeadFn
?ORGTYPE))
(
instance
?DEATH
Death
)
(
result
?DEATH ?REM)
(
experiencer
?DEATH ?ORG))
(
instance
?ORG ?ORGTYPE))
Mid-level-ontology.kif 121-127
Entit�
è un'
istanza
di
DeadFn
Entit�Organica
Processo
è un'
istanza
di
Morte
Entit�
è un
risultato
di
Processo
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
Entit�Organica
(=>
(
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
Entit�
è un'
istanza
di
Entit�Organica
Processo
è un'
istanza
di
Morte
AutonomousAgent
è un'
istanza
di
Organismo
AutonomousAgent
esperisce
s
Processo
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
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
Entit�
è un'
istanza
di
OrganismRemains
Processo
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
AutonomousAgent
TYPE
AutonomousAgent
TYPE è una
sottoclasse
di
Entit�Organica
Entit�
è un
risultato
di
Processo
Entit�
è un'
istanza
di
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
è un'
istanza
di
Returning
AutonomousAgent
esperisce
s
Processo
Processo
fine
s in
Entit�
IntervalloTemporale
IntervalloTemporale
accades
prima
di il
tempo
di esistenza di
Processo
AutonomousAgent
è
localizzato
in
Entit�
vales
durante
IntervalloTemporale
(=>
(
and
(
instance
?S
AbsenceSeizure
)
(
experiencer
?S ?A))
(
holdsDuring
(
WhenFn
?S)
(
not
(
attribute
?A
Conscious
))))
Medicine.kif 1690-1697
Processo
è un'
istanza
di
AbsenceSeizure
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Conscious
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?S
FocalSeizure
)
(
experiencer
?S ?A))
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Conscious
)))
Medicine.kif 1669-1675
Processo
è un'
istanza
di
FocalSeizure
AutonomousAgent
esperisce
s
Processo
attribute
AutonomousAgent
and
Conscious
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?S
Laughing
)
(
experiencer
?S ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?S)
(
attribute
?A
Happiness
))
Likely
))
emotion.kif 1626-1634
Processo
è un'
istanza
di
Laughing
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
Seizure
)
(
experiencer
?S ?A))
(
exists
(?B)
(
and
(
instance
?B
Brain
)
(
part
?B ?A)
(
located
?S ?B))))
Medicine.kif 1613-1621
Processo
è un'
istanza
di
Seizure
AutonomousAgent
esperisce
s
Processo
Oggetto
Oggetto
è un'
istanza
di
Brain
Oggetto
è una
parte
di
AutonomousAgent
Processo
è
localizzato
in
Oggetto
(=>
(
and
(
instance
?S
Sepsis
)
(
experiencer
?S ?H))
(
exists
(?I)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
causes
?I ?S))))
Medicine.kif 5527-5535
Processo
è un'
istanza
di
Sepsis
AutonomousAgent
esperisce
s
Processo
Processo
Processo
è un'
istanza
di
Infecting
AutonomousAgent
esperisce
s
Processo
Processo
causa
s
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
è un'
istanza
di
Septoplasty
AutonomousAgent
esperisce
s
Processo
Processo
EPT
Processo
EPT è un'
istanza
di
NasalSeptum
Processo
EPT è una
parte
di
AutonomousAgent
Processo
EPT è un
paziente
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