experiencer
(=>
(
holdsDuring
?T
(
attribute
?A
Happiness
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
HappyFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1226-1235
attribute
Entit�
and
Happiness
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
HappyFacialExpression
Entit�
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
has luogo
durante
PosizioneTemporale
ha il modello di forza di
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
causes
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
during
(
WhenFn
?P) ?T)))
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))))
emotion.kif 865-877
attribute
Entit�
and
InterpersonalDisgust
vales
durante
PosizioneTemporale
Entit�
Entit�
Entit�
è un'
istanza
di
Percezione
Entit�
è un
paziente
di
Entit�
Entit�
esperisce
s
Entit�
Entit�
è un'
istanza
di
Umano
il
tempo
di esistenza di
Entit�
has luogo
durante
PosizioneTemporale
causa
s
attribute
Entit�
and
InterpersonalDisgust
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
not
(
equal
?H ?A))
(
during
(
WhenFn
?P) ?T))))
emotion.kif 852-863
attribute
AutonomousAgent
and
InterpersonalDisgust
vales
durante
IntervalloTemporale
Processo
Entit�
Processo
è un'
istanza
di
Percezione
Entit�
è un
paziente
di
Processo
AutonomousAgent
esperisce
s
Processo
Entit�
è un'
istanza
di
Umano
Entit�
is
uguale
a
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
(=>
(
holdsDuring
?T
(
attribute
?A
Sadness
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SadFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1325-1334
attribute
Entit�
and
Sadness
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
SadFacialExpression
Entit�
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
has luogo
durante
PosizioneTemporale
ha il modello di forza di
Likely
(=>
(
holdsDuring
?T
(
attribute
?A
SensoryPleasure
))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
during
?T
(
WhenFn
?P))
(
causesProposition
(
experiencer
?P ?A)
(
holdsDuring
?T
(
attribute
?A
SensoryPleasure
))))))
emotion.kif 793-803
attribute
Entit�
and
SensoryPleasure
vales
durante
IntervalloTemporale
Entit�Concreta
Entit�Concreta
è un'
istanza
di
Percezione
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Entit�Concreta
causesProposition
Entit�
esperisce
s
Entit�Concreta
and
attribute
Entit�
and
SensoryPleasure
vales
durante
IntervalloTemporale
(=>
(
holdsDuring
?T
(
attribute
?A
Surprise
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SurprisedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1281-1290
attribute
Entit�
and
Surprise
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
è un'
istanza
di
SurprisedFacialExpression
Entit�
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
has luogo
durante
PosizioneTemporale
ha il modello di forza di
Likely
(=>
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Eardrum
)))
(
modalAttribute
(
not
(
exists
(?HEAR)
(
and
(
instance
?HEAR
Hearing
)
(
during
(
WhenFn
?HEAR) ?T)
(
experiencer
?HEAR ?H))))
Likely
))
Anatomy.kif 1645-1656
attribute
Entit�
and
ImpairedBodyPartFn
Eardrum
vales
durante
PosizioneTemporale
l'affermazione
Entit�
EAR
Entit�
EAR è un'
istanza
di
Udito
il
tempo
di esistenza di
Entit�
EAR has luogo
durante
PosizioneTemporale
Entit�
esperisce
s
Entit�
EAR ha il modello di forza di
Likely
(=>
(
holdsDuring
?T
(
attribute
?H
Asleep
))
(
exists
(?S)
(
and
(
equal
?T
(
WhenFn
?S))
(
instance
?S
Sleeping
)
(
experiencer
?S ?H))))
Merge.kif 18347-18354
attribute
AutonomousAgent
and
Addormentato
vales
durante
IntervalloTemporale
Processo
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
Processo
è un'
istanza
di
Sleeping
AutonomousAgent
esperisce
s
Processo
(=>
(
holdsDuring
?T
(
attribute
?H
Dizzy
))
(
holdsDuring
?T
(
believes
?H
(=>
(
exists
(?T2)
(
and
(
during
?T2 ?T)
(
holdsDuring
?T2
(
attribute
?H
Standing
))))
(
exists
(?F)
(
and
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
meetsTemporally
?T2
(
WhenFn
?F))))))))
Mid-level-ontology.kif 16410-16426
attribute
Entit�
and
Dizzy
vales
durante
PosizioneTemporale
Entit�
crede
s
PosizioneTemporale
2
PosizioneTemporale
2 has luogo
durante
PosizioneTemporale
attribute
Entit�
and
Standing
vales
durante
PosizioneTemporale
2
Entit�
Entit�
è un'
istanza
di
Falling
Entit�
esperisce
s
Entit�
PosizioneTemporale
2
incontra
s il
tempo
di esistenza di
Entit�
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?T
(
attribute
?H
Fibromyalgia
))
(
exists
(?P)
(
and
(
instance
?P
Pain
)
(
experiencer
?P ?H)
(
during
?T
(
WhenFn
?P)))))
Medicine.kif 4533-4541
attribute
AutonomousAgent
and
Fibromyalgia
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Pain
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Processo
(=>
(
holdsDuring
?T
(
attribute
?H
Hypersalivation
))
(
modalAttribute
(
exists
(?S)
(
and
(
experiencer
?S ?H)
(
during
(
WhenFn
?S) ?T)
(
or
(
instance
?S
Spitting
)
(
instance
?S
Drooling
)
(
instance
?S
Nausea
))))
Likely
))
Medicine.kif 5326-5340
attribute
Entit�
and
Hypersalivation
vales
durante
PosizioneTemporale
l'affermazione
Entit�
Entit�
esperisce
s
Entit�
il
tempo
di esistenza di
Entit�
has luogo
durante
PosizioneTemporale
Entit�
è un'
istanza
di
Spitting
Entit�
è un'
istanza
di
Drooling
Entit�
è un'
istanza
di
Nausea
ha il modello di forza di
Likely
(=>
(
holdsDuring
?T
(
attribute
?H
Insomnia
))
(
exists
(?I)
(
and
(
instance
?I
(
ImpairmentFn
Sleeping
))
(
experiencer
?I ?H)
(
equal
?T
(
WhenFn
?I)))))
Medicine.kif 2105-2114
attribute
AutonomousAgent
and
Insomnia
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
ImpairmentFn
Sleeping
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
(=>
(
holdsDuring
?T
(
attribute
?H
Narcolepsy
))
(
exists
(?S)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
during
(
WhenFn
?S) ?T)
(
not
(
wants
?H ?S)))))
Medicine.kif 4783-4793
attribute
AgenteCognitivo
and
Narcolepsy
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Sleeping
AgenteCognitivo
esperisce
s
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
AgenteCognitivo
non
vuole
Processo
(=>
(
holdsDuring
?T
(
attribute
?X
SafetyPosition
))
(
holdsDuring
?T
(
hasPurpose
?X
(
exists
(?P ?H ?I ?T2)
(
and
(
instance
?H
Human
)
(
instance
?P
Process
)
(
patient
?P ?H)
(
agent
?P ?X)
(
prevents
?P
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(=>
(
holdsDuring
?T2
(
experiencer
?I ?H))
(
not
(
holdsDuring
?T2
(
patient
?P ?H))))))))))))
Mid-level-ontology.kif 30695-30715
attribute
Entit�
and
SafetyPosition
vales
durante
PosizioneTemporale
Entit�
ha
scopo
Entit�
Entit�
,
Entit�
and
PosizioneTemporale
2
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Processo
Entit�
è un
paziente
di
Entit�
Entit�
è un
agente
di
Entit�
Entit�
impedisce
l'occorrenza di la
classe
descritta da
Entit�
vales
durante
PosizioneTemporale
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
attribute
Oggetto
and
Tourniquet
vales
durante
Oggetto
IME
AutonomousAgent
Processo
and
Trasferimento
AutonomousAgent
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Bleeding
Trasferimento
è un'
istanza
di
Attaccare
AutonomousAgent
esperisce
s
Processo
Trasferimento
fine
s in
AutonomousAgent
objectTransferred
Trasferimento
and
Oggetto
Oggetto
ha
scopo
Processo
2
Processo
2 è un'
istanza
di
Bleeding
immediatamente
dopo
il
tempo
di esistenza di
Trasferimento
sovrappone
s il
tempo
di esistenza di
Processo
2
AutonomousAgent
esperisce
s
Processo
2
(=>
(
instance
?A
Ambulance
)
(
hasPurpose
?A
(
exists
(?P ?T)
(
and
(
instance
?P
Human
)
(
or
(
attribute
?P
DiseaseOrSyndrome
)
(
exists
(?I ?H)
(
and
(
instance
?I
Injuring
)
(
experiencer
?I ?H)
(
before
?I ?T))))
(
instance
?T
Transportation
)
(
instrument
?T ?A)
(
patient
?T ?H)))))
Transportation.kif 1906-1921
Entit�Concreta
è un'
istanza
di
Ambulance
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
attribute
Entit�
and
MalattiaOSindrome
Entit�
Entit�
Entit�
è un'
istanza
di
Trauma
Entit�
esperisce
s
Entit�
Entit�
succede%{s}
prima
di
Entit�
Entit�
è un'
istanza
di
Trasporto
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è un
paziente
di
Entit�
(=>
(
instance
?A
Animal
)
(
capability
Drooling
experiencer
?A))
Mid-level-ontology.kif 6582-6584
Oggetto
è un'
istanza
di
Animale
Oggetto
è
capace
di fare
Drooling
nel ruolo
experiencer
(=>
(
instance
?A
Anticoagulant
)
(
hasPurpose
?A
(
exists
(?M)
(
and
(
instance
?M
Mammal
)
(
experiencer
?M
(
ImpairmentFn
Clotting
))))))
Medicine.kif 4853-4860
Entit�Concreta
è un'
istanza
di
Anticoagulant
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Mammifero
ImpairmentFn
Clotting
esperisce
s
Entit�
(=>
(
instance
?A
Antiseizure
)
(
hasPurpose
?A
(
exists
(?H ?I ?T)
(
and
(
instance
?H
Human
)
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?A)
(
agent
?I ?H)
(
earlier
(
WhenFn
?I) ?T)
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Seizure
)
(
experiencer
?S ?H)))))))))
Medicine.kif 3317-3332
Entit�Concreta
è un'
istanza
di
Antiseizure
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Ingestione
objectTransferred
Entit�
and
Entit�Concreta
Entit�
è un
agente
di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di
Entit�
Entit�
Entit�
è un'
istanza
di
Seizure
Entit�
esperisce
s
Entit�
vales
durante
Entit�
(=>
(
instance
?A
Atrophy
)
(
exists
(?B)
(
and
(
experiencer
?A ?B)
(
instance
?B
BodyPart
))))
Mid-level-ontology.kif 6445-6450
Processo
è un'
istanza
di
Atrophy
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
ParteDelCorpo
(=>
(
instance
?ACT
ScrollWheelRotating
)
(
exists
(?WHEEL)
(
and
(
experiencer
?ACT ?WHEEL)
(
instance
?WHEEL
ScrollWheel
))))
ComputerInput.kif 1672-1677
Processo
è un'
istanza
di
ScrollWheelRotating
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
ScrollWheel
(=>
(
instance
?AGENT
SentientAgent
)
(
capability
Perception
experiencer
?AGENT))
Merge.kif 13483-13485
Oggetto
è un'
istanza
di
AgenteSensibile
Oggetto
è
capace
di fare
Percezione
nel ruolo
experiencer
(=>
(
instance
?AW
ArtWork
)
(
hasPurpose
?AW
(
exists
(?H ?P)
(
and
(
instance
?H
Human
)
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
patient
?P ?AW)))))
Merge.kif 15866-15874
Entit�Concreta
è un'
istanza
di
OperaD'Arte
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Percezione
Entit�
esperisce
s
Entit�
Entit�Concreta
è un
paziente
di
Entit�
(=>
(
instance
?AW
ArtWork
)
(
hasPurpose
?AW
(
exists
(?H)
(
and
(
instance
?H
Human
)
(
desires
?H
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
patient
?P ?AW))))))))
Merge.kif 15876-15887
Entit�Concreta
è un'
istanza
di
OperaD'Arte
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
desidera
s
Entit�
Entit�
è un'
istanza
di
Percezione
Entit�
esperisce
s
Entit�
Entit�Concreta
è un
paziente
di
Entit�
(=>
(
instance
?B
Bloating
)
(
exists
(?P ?S ?I ?G)
(
and
(
experiencer
?B ?P)
(
instance
?G
Gas
)
(
or
(
and
(
part
?I ?P)
(
instance
?I
Intestine
)
(
contains
?I ?G))
(
and
(
part
?S ?P)
(
instance
?S
Stomach
)
(
contains
?S ?G))))))
Mid-level-ontology.kif 6457-6471
Processo
è un'
istanza
di
Bloating
AutonomousAgent
OggettoIntegro
,
OggettoIntegro
and
Oggetto
AutonomousAgent
esperisce
s
Processo
Oggetto
è un'
istanza
di
Gas
OggettoIntegro
è una
parte
di
AutonomousAgent
OggettoIntegro
è un'
istanza
di
Intestine
contains
OggettoIntegro
and
Oggetto
OggettoIntegro
è una
parte
di
AutonomousAgent
OggettoIntegro
è un'
istanza
di
Stomach
contains
OggettoIntegro
and
Oggetto
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