experiencer
(=>
(
and
(
instance
?I
Insomnia
)
(
experiencer
?I ?H))
(
exists
(?S ?D ?D2)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
duration
(
WhenFn
?S) ?D)
(
desires
?H
(
and
(
duration
(
WhenFn
?S) ?D2)
(
greaterThan
?D2 ?D))))))
Mid-level-ontology.kif 16446-16458
Processo
è un'
istanza
di
Insomnia
AgenteCognitivo
esperisce
s
Processo
Processo
Durata
and
Durata
2
Processo
è un'
istanza
di
Sleeping
AgenteCognitivo
esperisce
s
Processo
durata
di il
tempo
di esistenza di
Processo
è
Durata
AgenteCognitivo
desidera
s
durata
di il
tempo
di esistenza di
Processo
è
Durata
2
Durata
2 è
pi
ù grande di
Durata
(=>
(
and
(
instance
?INHERIT
Inheriting
)
(
agent
?INHERIT ?HEIR)
(
origin
?INHERIT ?PERSON)
(
patient
?INHERIT ?PROPERTY))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?PERSON)
(
earlier
(
WhenFn
?DEATH)
(
WhenFn
?INHERIT))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEATH))
(
possesses
?PERSON ?PROPERTY))
(
confersRight
(
possesses
?HEIR ?PROPERTY) ?PERSON ?HEIR))))
Mid-level-ontology.kif 18620-18638
Processo
è un'
istanza
di
Inheriting
Processo
è un
agente
di
AgenteCognitivo
Processo
si
originas in
AutonomousAgent
Entit�
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di il
tempo
di esistenza di
Processo
AutonomousAgent
possiede
es
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
AutonomousAgent
permette
a
AgenteCognitivo
di compiere il compito di tipo
AgenteCognitivo
possiede
es
Entit�
(=>
(
and
(
instance
?KILL
Killing
)
(
patient
?KILL ?OBJ))
(
exists
(?DEATH)
(
and
(
instance
?DEATH
Death
)
(
experiencer
?DEATH ?OBJ)
(
causes
?KILL ?DEATH))))
Merge.kif 12335-12343
Processo
è un'
istanza
di
Uccidere
AutonomousAgent
è un
paziente
di
Processo
Processo
Processo
è un'
istanza
di
Morte
AutonomousAgent
esperisce
s
Processo
Processo
causa
s
Processo
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
Processo
è un'
istanza
di
Lupus
AutonomousAgent
esperisce
s
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
SkinRash
AutonomousAgent
esperisce
s
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A))
(
not
(
exists
(?MT)
(
and
(
overlapsTemporally
?MT ?MR)
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A)))))
emotion.kif 1464-1473
IntervalloTemporale
è un'
istanza
di
MusclesRelaxing
AutonomousAgent
esperisce
s
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
MusclesBecomingTense
AutonomousAgent
esperisce
s
IntervalloTemporale
(=>
(
and
(
instance
?MT
MusclesBecomingTense
)
(
experiencer
?MT ?A))
(
not
(
exists
(?MR)
(
and
(
overlapsTemporally
?MR ?MT)
(
instance
?MR
MusclesRelaxing
)
(
experiencer
?MR ?A)))))
emotion.kif 1450-1459
IntervalloTemporale
è un'
istanza
di
MusclesBecomingTense
AutonomousAgent
esperisce
s
IntervalloTemporale
IntervalloTemporale
IntervalloTemporale
sovrappone
s
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
MusclesRelaxing
AutonomousAgent
esperisce
s
IntervalloTemporale
(=>
(
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
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
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
?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
?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
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
?SH
SafetyHarness
)
(
instance
?PERSON
Animal
)
(
wears
?PERSON ?SH))
(
hasPurpose
?SH
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
instrument
?PROC ?SH)
(
patient
?PROC ?PERSON)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?F ?H ?T)
(
and
(
instance
?H
Human
)
(
experiencer
?I ?H)
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
causes
?F ?I)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)))))
Cars.kif 3397-3425
WearableItem
è un'
istanza
di
SafetyHarness
Animale
è un'
istanza
di
Animale
wears
Animale
and
WearableItem
WearableItem
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
WearableItem
è uno
strumento
per
Entit�
Animale
è un
paziente
di
Entit�
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
(=>
(
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
?SVU
SadVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Sadness
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1967-1975
Processo
è un'
istanza
di
SadVoiceUtterance
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Sadness
AutonomousAgent
esperisce
s
Processo
Processo
causa
s
Processo
(=>
(
and
(
instance
?SVU
SurprisedVoiceUtterance
)
(
agent
?SVU ?A))
(
exists
(?S)
(
and
(
instance
?S
Surprise
)
(
experiencer
?S ?A)
(
causes
?S ?SVU))))
emotion.kif 1928-1936
Processo
è un'
istanza
di
SurprisedVoiceUtterance
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Surprise
AutonomousAgent
esperisce
s
Processo
Processo
causa
s
Processo
(=>
(
and
(
instance
?T
Ticket
)
(
possesses
?T ?CUST)
(
issuedBy
?T ?ORG)
(
attribute
?ORG
AmusementGamblingAndRecreationIndustries
)
(
located
?ORG ?LOC))
(
confersNorm
?ORG
(
exists
(?REC)
(
and
(
instance
?REC
RecreationOrExercise
)
(
experiencer
?REC ?CUST)
(
eventLocated
?REC ?LOC)))
Permission
))
naics.kif 11456-11468
AutonomousAgent
è un'
istanza
di
Ticket
AutonomousAgent
possiede
es
Oggetto
issuedBy
AutonomousAgent
and
AgenteCognitivo
attribute
AgenteCognitivo
and
AmusementGamblingAndRecreationIndustries
AgenteCognitivo
è
localizzato
in
Oggetto
confersNorm
AgenteCognitivo
,
Entit�
Entit�
è un'
istanza
di
PassatempoOEsercizio
Oggetto
esperisce
s
Entit�
eventLocated
Entit�
and
Oggetto
and
Permission
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
IntervalloTemporale
è un'
istanza
di
TimePeriod
durata
di
IntervalloTemporale
è
NumeroReale
MinuteDuration
(s
NumeroReale
è
pi
ù grande di 5.0
Entit�
è un'
istanza
di
Umano
Processo
Processo
è un'
istanza
di
Respirazione
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Entit�
è un
paziente
di
Processo
l'affermazione
Entit�
Entit�
è un'
istanza
di
Morte
Entit�
esperisce
s
Entit�
IntervalloTemporale
incontra
s il
tempo
di esistenza di
Entit�
ha il modello di forza di
Likely
(=>
(
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
(
issuedBy
?TICKET ?AGENT)
(
instance
?TICKET
Ticket
)
(
possesses
?CUST ?TICKET))
(
confersNorm
?AGENT
(
exists
(?T)
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
agent
?P ?AGENT)
(
experiencer
?P ?CUST)))))
Permission
))
Mid-level-ontology.kif 16541-16553
issuedBy
Certificato
and
AgenteCognitivo
Certificato
è un'
istanza
di
Ticket
AutonomousAgent
possiede
es
Certificato
confersNorm
AgenteCognitivo
,
Entit�
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è un
agente
di
AgenteCognitivo
AutonomousAgent
esperisce
s
Entit�
vales
durante
Entit�
and
Permission
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
reservedPackage
Reservation
and
Proposizione
reservingEntity
Reservation
and
Reservation
l'affermazione
Entit�
Entit�
esprime
il contenuto di
Proposizione
Reservation
esperisce
s
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
vaccine
Vaccine
and
Virus
Trasferimento
è un'
istanza
di
Vaccination
AutonomousAgent
esperisce
s
Trasferimento
Vaccine
I è un'
istanza
di
Vaccine
objectTransferred
Trasferimento
and
Vaccine
I
Vaccine
I ha
scopo
Entit�
Virus
I
Entit�
è un'
istanza
di
Infecting
AutonomousAgent
esperisce
s
Entit�
Virus
I è un'
istanza
di
Virus
objectTransferred
Entit�
and
Virus
I
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