experiencer
(=>
(
and
(
instance
?DEATH
Death
)
(
instance
?REM
OrganismRemains
)
(
instance
?ORG
Organism
)
(
holdsDuring
?T2
(
part
?OBJ ?REM))
(
holdsDuring
?T1
(
part
?OBJ ?ORG))
(
earlier
?T1 ?T2)
(
result
?DEATH ?REM))
(
experiencer
?DEATH ?ORG))
Mid-level-ontology.kif 74-83
Processo
è un'
istanza
di
Morte
Entit�
è un'
istanza
di
OrganismRemains
AutonomousAgent
è un'
istanza
di
Organismo
Entit�
è una
parte
di
Entit�
vales
durante
IntervalloTemporale
Entit�
è una
parte
di
AutonomousAgent
vales
durante
IntervalloTemporale
IntervalloTemporale
accades
prima
di
IntervalloTemporale
Entit�
è un
risultato
di
Processo
AutonomousAgent
esperisce
s
Processo
(=>
(
and
(
instance
?DEGREE
AcademicDegree
)
(
possesses
?AGENT ?DEGREE))
(
exists
(?PROGRAM ?STUDY)
(
and
(
instance
?PROGRAM
EducationalProgram
)
(
realization
?STUDY ?PROGRAM)
(
experiencer
?STUDY ?AGENT))))
Mid-level-ontology.kif 16513-16521
Oggetto
è un'
istanza
di
AcademicDegree
AutonomousAgent
possiede
es
Oggetto
Proposizione
Processo
Proposizione
è un'
istanza
di
EducationalProgram
Processo
esprime
il contenuto di
Proposizione
AutonomousAgent
esperisce
s
Processo
(=>
(
and
(
instance
?DISEASE
LifeThreateningDisease
)
(
attribute
?AGENT ?DISEASE))
(
capability
Death
experiencer
?AGENT))
WMD.kif 1029-1033
Attributo
è un'
istanza
di
LifeThreateningDisease
attribute
Oggetto
and
Attributo
Oggetto
è
capace
di fare
Morte
nel ruolo
experiencer
(=>
(
and
(
instance
?DVU
DisgustedVoiceUtterance
)
(
agent
?DVU ?A))
(
exists
(?D)
(
and
(
instance
?D
Disgust
)
(
experiencer
?D ?A)
(
causes
?D ?DVU))))
emotion.kif 2000-2008
Processo
è un'
istanza
di
DisgustedVoiceUtterance
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Disgust
AutonomousAgent
esperisce
s
Processo
Processo
causa
s
Processo
(=>
(
and
(
instance
?E
Epidemic
)
(
involvedInEvent
?E ?H))
(
or
(
and
(
instance
?D
DiseaseOrSyndrome
)
(
attribute
?H ?D))
(
exists
(?P)
(
and
(
instance
?P
PathologicProcess
)
(
experiencer
?P ?H)
(
subProcess
?P ?E)))))
Medicine.kif 3517-3529
Processo
è un'
istanza
di
Epidemic
involvedInEvent
Processo
and
AutonomousAgent
Attributo
è un'
istanza
di
MalattiaOSindrome
attribute
AutonomousAgent
and
Attributo
Processo
Processo
è un'
istanza
di
ProcessoPatologico
AutonomousAgent
esperisce
s
Processo
Processo
è un
sottoprocesso
di
Processo
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P ?PAIN ?T)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
Processo
è un'
istanza
di
ExperiencingDiscomfortInTheStomach
AutonomousAgent
esperisce
s
Processo
Processo
Processo
AIN and
Oggetto
Processo
è un'
istanza
di
Percezione
il
tempo
di esistenza di
Processo
has luogo
durante
il
tempo
di esistenza di
Processo
AIN
Processo
AIN è un'
istanza
di
Pain
AutonomousAgent
esperisce
s
Processo
AIN
Processo
è un
sottoprocesso
di
Processo
Processo
è un
agente
di
AutonomousAgent
Oggetto
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Stomach
Oggetto
è una
parte
di
AutonomousAgent
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
experiencer
?EV ?P))
(
exists
(?C ?CA)
(
and
(
instance
?C
Classifying
)
(
subProcess
?C ?EV)
(
experiencer
?C ?P)
(
or
(
subOrganization
?CA ?A)
(
member
?CA ?A)
(
equal
?CA ?A))
(
agent
?C ?CA))))
MilitaryProcesses.kif 2609-2623
Processo
è un'
istanza
di
Evacuation
Processo
è un
agente
di
Organizzazione
AutonomousAgent
esperisce
s
Processo
Processo
Processo
A
Processo
è un'
istanza
di
Classificare
Processo
è un
sottoprocesso
di
Processo
AutonomousAgent
esperisce
s
Processo
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
Processo
A
(=>
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?A)
(
origin
?EV ?O))
(
exists
(?T ?TA)
(
and
(
instance
?T
Translocation
)
(
subProcess
?T ?EV)
(
origin
?T ?O)
(
or
(
experiencer
?T ?TA)
(
agent
?T ?TA))
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A)))))
MilitaryProcesses.kif 2627-2643
Processo
è un'
istanza
di
Evacuation
Processo
è un
agente
di
Organizzazione
Processo
si
originas in
Oggetto
Processo
Processo
A
Processo
è un'
istanza
di
Translocation
Processo
è un
sottoprocesso
di
Processo
Processo
si
originas in
Oggetto
Processo
A
esperisce
s
Processo
Processo
è un
agente
di
Processo
A
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
(=>
(
and
(
instance
?EV
Evacuation
)
(
experiencer
?EV ?P)
(
agent
?EV ?A))
(
exists
(?M ?MA)
(
and
(
instance
?M
TherapeuticProcess
)
(
subProcess
?M ?EV)
(
or
(
subOrganization
?MA ?A)
(
member
?MA ?A)
(
equal
?MA ?A))
(
agent
?M ?MA)
(
experiencer
?M ?P))))
MilitaryProcesses.kif 2591-2605
Processo
è un'
istanza
di
Evacuation
AutonomousAgent
esperisce
s
Processo
Processo
è un
agente
di
Organizzazione
Processo
Processo
A
Processo
è un'
istanza
di
ProcessoTerapeutico
Processo
è un
sottoprocesso
di
Processo
subOrganization
Processo
A and
Organizzazione
Processo
A è un
membro
di
Organizzazione
Processo
A is
uguale
a
Organizzazione
Processo
è un
agente
di
Processo
A
AutonomousAgent
esperisce
s
Processo
(=>
(
and
(
instance
?EXPERIMENT
Experimenting
)
(
instance
?SUBJECT
Human
)
(
experimentalSubject
?EXPERIMENT ?SUBJECT))
(
exists
(?PROCESS)
(
and
(
instance
?PROCESS
Process
)
(
experiencer
?PROCESS ?SUBJECT)
(
or
(
experimentalControlProcess
?EXPERIMENT ?PROCESS)
(
experimentalVariableProcess
?EXPERIMENT ?PROCESS)))))
UXExperimentalTerms.kif 3923-3934
Experimenting
è un'
istanza
di
Experimenting
Umano
è un'
istanza
di
Umano
experimentalSubject
Experimenting
and
Umano
Processo
Processo
è un'
istanza
di
Processo
Umano
esperisce
s
Processo
experimentalControlProcess
Experimenting
and
Processo
experimentalVariableProcess
Experimenting
and
Processo
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7230-7239
Processo
è un'
istanza
di
Scholarship
Processo
fine
s in
Entit�
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
EducationalProgram
Entit�
esprime
il contenuto di
Entit�
Entit�
esperisce
s
Entit�
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
experiencer
?FID ?HN))
(
hasPurpose
?FID
(
exists
(?ORG ?LEARNING)
(
and
(
instance
?LEARNING
Learning
)
(
experiencer
?LEARNING ?ORG)
(
agent
?LEARNING ?MIL)
(
or
(
militaryOfArea
?ORG ?HN)
(
and
(
instance
?ORG
MilitaryForce
)
(
located
?ORG ?HN)))))))
MilitaryProcesses.kif 1960-1975
Processo
è un'
istanza
di
ForeignInternalDefense
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
esperisce
s
Processo
Processo
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Apprendere
Entit�
esperisce
s
Entit�
Entit�
è un
agente
di
AutonomousAgent
militaryOfArea
Entit�
and
AutonomousAgent
Entit�
è un'
istanza
di
MilitaryForce
Entit�
è
localizzato
in
AutonomousAgent
(=>
(
and
(
instance
?FID
ForeignInternalDefense
)
(
agent
?FID ?MIL)
(
militaryOfArea
?MIL ?NATION))
(
exists
(?HN ?MAINTAIN)
(
and
(
experiencer
?FID ?HN)
(
instance
?HN
HostNation
)
(
not
(
equal
?HN ?NATION))
(
instance
?MAINTAIN
Maintaining
)
(
agent
?MAINTAIN ?HN))))
MilitaryProcesses.kif 1943-1955
Processo
è un'
istanza
di
ForeignInternalDefense
Processo
è un
agente
di
MilitaryOrganization
militaryOfArea
MilitaryOrganization
and
AreaGeopolitica
AutonomousAgent
Processo
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
è un'
istanza
di
HostNation
AutonomousAgent
is
uguale
a
AreaGeopolitica
Processo
è un'
istanza
di
Mantenere
Processo
è un
agente
di
AutonomousAgent
(=>
(
and
(
instance
?FVU
FearfulVoiceUtterance
)
(
agent
?FVU ?A))
(
exists
(?F)
(
and
(
instance
?F
Fear
)
(
experiencer
?F ?A)
(
causes
?F ?FVU))))
emotion.kif 2065-2073
Processo
è un'
istanza
di
FearfulVoiceUtterance
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Fear
AutonomousAgent
esperisce
s
Processo
Processo
causa
s
Processo
(=>
(
and
(
instance
?G
Gaslighting
)
(
agent
?G ?A)
(
suffers
?G ?H))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
experiencer
?P ?H)
(
causesProposition
(
suffers
?G ?H)
(
not
(
knows
?H
(
result
?P ?R)))))))
Medicine.kif 3665-3678
Processo
è un'
istanza
di
Gaslighting
Processo
è un
agente
di
AutonomousAgent
suffers
Processo
and
AutonomousAgent
Processo
Processo
è un'
istanza
di
Percezione
AutonomousAgent
esperisce
s
Processo
causesProposition
suffers
Processo
and
AutonomousAgent
and
AutonomousAgent
non
conosce
Entit�
è un
risultato
di
Processo
(=>
(
and
(
instance
?H
Hallucination
)
(
experiencer
?H ?P))
(
exists
(?PER ?PROP)
(
and
(
instance
?PER
Perception
)
(
experiencer
?PER ?P)
(
causes
?H ?PER)
(
containsInformation
?PER ?PROP)
(
truth
?PROP
False
))))
Mid-level-ontology.kif 6428-6438
Processo
è un'
istanza
di
Hallucination
AutonomousAgent
esperisce
s
Processo
AutonomousAgent
ER
AutonomousAgent
ROP
AutonomousAgent
ER è un'
istanza
di
Percezione
AutonomousAgent
esperisce
s
AutonomousAgent
ER
Processo
causa
s
AutonomousAgent
ER
AutonomousAgent
ER
contiene
s informazione
AutonomousAgent
ROP
truth
AutonomousAgent
ROP and
False
(=>
(
and
(
instance
?H
Man
)
(
attribute
?H
Mausaharati
)
(
instance
?D
Drumming
)
(
agent
?D ?H)
(
instance
?DAY
Day
)
(
instance
?S
Sunrise
)
(
during
?S ?DAY)
(
earlier
(
WhenFn
?D) ?S))
(
hasPurpose
?D
(
exists
(?P ?SUHUR ?WU)
(
and
(
instance
?WU
WakingUp
)
(
experiencer
?WU ?P)
(
instance
?SUHUR
Suhur
)
(
agent
?SUHUR ?P)
(
earlier
(
WhenFn
?WU)
(
WhenFn
?SUHUR))
(
during
(
WhenFn
?WU) ?DAY)
(
during
(
WhenFn
?SUHUR) ?DAY)))))
ArabicCulture.kif 65-84
AutonomousAgent
è un'
istanza
di
Man
attribute
AutonomousAgent
and
Mausaharati
Processo
è un'
istanza
di
Drumming
Processo
è un
agente
di
AutonomousAgent
Processo
AY è un'
istanza
di
Giorno
IntervalloTemporale
è un'
istanza
di
Sunrise
IntervalloTemporale
has luogo
durante
Processo
AY il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
Processo
ha
scopo
Entit�
IntervalloTemporale
UHUR and
Entit�
Entit�
è un'
istanza
di
WakingUp
Entit�
esperisce
s
Entit�
IntervalloTemporale
UHUR è un'
istanza
di
Suhur
IntervalloTemporale
UHUR è un
agente
di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di il
tempo
di esistenza di
IntervalloTemporale
UHUR il
tempo
di esistenza di
Entit�
has luogo
durante
Processo
AY il
tempo
di esistenza di
IntervalloTemporale
UHUR has luogo
durante
Processo
AY
(=>
(
and
(
instance
?HELPING
Helping
)
(
agent
?HELPING ?AGENT)
(
result
?HELPING ?RESULT))
(
exists
(?PATIENT)
(
and
(
not
(
equal
?AGENT ?PATIENT))
(
or
(
patient
?HELPING ?PATIENT)
(
experiencer
?HELPING ?PATIENT))
(
wants
?PATIENT ?RESULT))))
MilitaryProcesses.kif 1419-1431
Processo
è un'
istanza
di
Helping
Processo
è un
agente
di
AutonomousAgent
Entit�Concreta
è un
risultato
di
Processo
AgenteCognitivo
AutonomousAgent
is
uguale
a
AgenteCognitivo
AgenteCognitivo
è un
paziente
di
Processo
AgenteCognitivo
esperisce
s
Processo
AgenteCognitivo
vuole
s
Entit�Concreta
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3455-3484
WearableItem
è un'
istanza
di
HearingProtection
Animale
è un'
istanza
di
Umano
wears
Animale
and
WearableItem
WearableItem
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Processo
Entit�
è una
sottoclasse
di la
classe
descritta da
Entit�
Entit�
impedisce
l'occorrenza di
Entit�
WearableItem
è uno
strumento
per
Entit�
(=>
(
and
(
instance
?HVU
HappyVoiceUtterance
)
(
agent
?HVU ?A))
(
exists
(?H)
(
and
(
instance
?H
Happiness
)
(
experiencer
?H ?A)
(
causes
?H ?HVU))))
emotion.kif 1983-1991
Processo
è un'
istanza
di
HappyVoiceUtterance
Processo
è un
agente
di
AutonomousAgent
Processo
Processo
è un'
istanza
di
Happiness
AutonomousAgent
esperisce
s
Processo
Processo
causa
s
Processo
(=>
(
and
(
instance
?I
HealthInsuranceCompany
)
(
customer
?I ?C))
(
hasPurposeForAgent
?I
(
exists
(?D ?P)
(
and
(
or
(
instance
?D
DiagnosticProcess
)
(
instance
?D
TherapeuticProcess
))
(
experiencer
?D ?C)
(
instance
?P
Payment
)
(
agent
?P ?I)
(
refers
?P ?D))) ?C))
Mid-level-ontology.kif 7158-7171
AgenteCognitivo
è un'
istanza
di
HealthInsuranceCompany
customer
AgenteCognitivo
and
AutonomousAgent
AgenteCognitivo
ha &n
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
ProcessoDiagnostico
Entit�
è un'
istanza
di
ProcessoTerapeutico
AutonomousAgent
esperisce
s
Entit�
Entit�
è un'
istanza
di
Payment
Entit�
è un
agente
di
AgenteCognitivo
Entit�
include un
riferimento
a
Entit�
per
AutonomousAgent
(=>
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H))
(
exists
(?T ?R ?O)
(
and
(
instance
?T
Translocation
)
(
moves
?T ?O)
(
instance
?O
Organism
)
(
instance
?R
Replication
)
(
experiencer
?R ?O)
(
subProcess
?T ?I)
(
subProcess
?R ?I))))
Mid-level-ontology.kif 5846-5858
Processo
è un'
istanza
di
Infecting
AutonomousAgent
esperisce
s
Processo
Movimento
Processo
and
AutonomousAgent
Movimento
è un'
istanza
di
Translocation
moves
Movimento
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Organismo
Processo
è un'
istanza
di
Replicazione
AutonomousAgent
esperisce
s
Processo
Movimento
è un
sottoprocesso
di
Processo
Processo
è un
sottoprocesso
di
Processo
(=>
(
and
(
instance
?I
InfectiousDisease
)
(
attribute
?A ?I))
(
exists
(?P ?O)
(
and
(
instance
?P
PathologicProcess
)
(
agent
?P ?O)
(
instance
?O
Microorganism
)
(
experiencer
?P ?A))))
Mid-level-ontology.kif 5829-5838
Attributo
è un'
istanza
di
InfectiousDisease
attribute
AutonomousAgent
and
Attributo
Processo
AutonomousAgent
Processo
è un'
istanza
di
ProcessoPatologico
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Microorganismo
AutonomousAgent
esperisce
s
Processo
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
Trasferimento
è un'
istanza
di
Ingestione
AutonomousAgent
esperisce
s
Trasferimento
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Oggetto
C
pathologicSideEffect
Oggetto
C and
Oggetto
IS
l'affermazione
Entit�
Entit�
è un'
istanza
di
Oggetto
IS
Entit�
esperisce
s
AutonomousAgent
ha il modello di forza di
Likely
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
Trasferimento
è un'
istanza
di
Ingestione
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è un'
istanza
di
Hallucinogen
Trasferimento
fine
s in
Entit�
l'affermazione
Oggetto
AL
Oggetto
AL è un'
istanza
di
Hallucination
Entit�
esperisce
s
Oggetto
AL ha il modello di forza di
Likely
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