WhenFn
(=>
(
and
(
destination
?MSG ?TELEX)
(
instance
?MSG
Messaging
)
(
patient
?MSG ?M)
(
instance
?TELEX
Telex
))
(
exists
(?PROC ?TEXT)
(
and
(
instrument
?PROC ?TELEX)
(
result
?PROC ?TEXT)
(
represents
?TEXT ?M)
(
instance
?TEXT
Text
)
(
before
(
BeginFn
(
WhenFn
?MSG))
(
BeginFn
(
WhenFn
?PROC))))))
Communications.kif 202-214
Processo
fine
s in
Oggetto
Processo
è un'
istanza
di
Messaging
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Telex
Processo
Entit�
Oggetto
è uno
strumento
per
Processo
Entit�
è un
risultato
di
Processo
Entit�
esprime
Entit�
Entit�
è un'
istanza
di
Testo
l'
inizio
di il
tempo
di esistenza di
Processo
succede%{s}
prima
di l'
inizio
di il
tempo
di esistenza di
Processo
(=>
(
and
(
directed
?DIRECTOR ?MOVIE)
(
instance
?FILMMAKING
FilmMaking
)
(
instance
?FILMCREW
Organization
)
(
leader
?FILMCREW ?DIRECTOR)
(
agent
?FILMMAKING ?FILMCREW)
(
result
?FILMMAKING ?MOVIE))
(
holdsDuring
(
WhenFn
?FILMMAKING)
(
attribute
?DIRECTOR
FilmDirector
)))
Mid-level-ontology.kif 20734-20743
directed
Umano
and
ImmagineDinamica
Processo
è un'
istanza
di
FilmMaking
AutonomousAgent
è un'
istanza
di
Organizzazione
leader
AutonomousAgent
and
Umano
Processo
è un
agente
di
AutonomousAgent
ImmagineDinamica
è un
risultato
di
Processo
attribute
Umano
and
FilmDirector
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30692-30698
firstInstanceCreated
Entit�Concreta
and
PuntoTemporale
Entit�Concreta
è un'
istanza
di
Entit�Concreta
PuntoTemporale
succede
%{s} prima di o con l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
during
(
WhenFn
?BUYING) ?INT))))
UXExperimentalTerms.kif 3534-3543
firstTimeBuyers
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
has luogo
durante
IntervalloTemporale
(=>
(
and
(
firstTimeBuyers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
agent
?BUYING ?MEMBER)
(
eCommerceSite
?BUYING ?SITE)
(
earlier
(
WhenFn
?BUYING) ?INT)))))
UXExperimentalTerms.kif 3545-3555
firstTimeBuyers
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Acquistare
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
accades
prima
di
IntervalloTemporale
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
during
(
WhenFn
?SELLING) ?INT))))
UXExperimentalTerms.kif 3582-3591
firstTimeSellers
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
has luogo
durante
IntervalloTemporale
(=>
(
and
(
firstTimeSellers
?INT ?SITE ?COLL)
(
member
?MEMBER ?COLL))
(
not
(
exists
(?SELLING)
(
and
(
instance
?SELLING
Selling
)
(
agent
?SELLING ?MEMBER)
(
eCommerceSite
?SELLING ?SITE)
(
earlier
(
WhenFn
?SELLING) ?INT)))))
UXExperimentalTerms.kif 3593-3603
firstTimeSellers
IntervalloTemporale
,
WebSite
and
InsiemeConcreto
AutonomousAgent
è un
membro
di
InsiemeConcreto
ScambioFinanziario
ScambioFinanziario
è un'
istanza
di
Vendere
ScambioFinanziario
è un
agente
di
AutonomousAgent
eCommerceSite
ScambioFinanziario
and
WebSite
il
tempo
di esistenza di
ScambioFinanziario
accades
prima
di
IntervalloTemporale
(=>
(
and
(
holdsDuring
?T
(
attribute
?A ?ES))
(
actionTendency
?ES ?PI))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?PI)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?A)))
Likely
))
emotion.kif 161-172
attribute
Entit�
and
StatoEmotivo
vales
durante
PosizioneTemporale
actionTendency
StatoEmotivo
and
EmotionalBehavioralProcess
l'affermazione
Entit�
Entit�
è un'
istanza
di
EmotionalBehavioralProcess
il
tempo
di esistenza di
Entit�
has luogo
durante
PosizioneTemporale
Entit�
esperisce
s
Entit�
ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUPainStatus
))
(
instance
?P
Pain
)
(
during
(
WhenFn
?P) ?T)
(
experiencer
?P ?H))
(
exists
(?BM)
(
and
(
instance
?BM
BodyMotion
)
(
experiencer
?BM ?H)
(
during
(
WhenFn
?BM) ?T)
(
causes
?P ?BM))))
Medicine.kif 6470-6482
attribute
AutonomousAgent
and
AVPUPainStatus
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
Pain
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
AutonomousAgent
esperisce
s
Processo
Processo
Processo
è un'
istanza
di
MovimentoCorporeo
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
causa
s
Processo
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
AVPUVerbalStatus
))
(
instance
?S
Speaking
)
(
destination
?S ?H)
(
during
(
WhenFn
?S) ?T))
(
exists
(?IA)
(
and
(
instance
?IA
IntentionalProcess
)
(
agent
?IA ?H)
(
during
(
WhenFn
?IA) ?T)
(
causes
?S ?IA))))
Medicine.kif 6447-6459
attribute
AutonomousAgent
and
AVPUVerbalStatus
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
Speaking
Processo
fine
s in
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
Processo
causa
s
Processo
(=>
(
and
(
holdsDuring
?T
(
attribute
?H
ChronicFatigueSyndrome
))
(
instance
?R
RecreationOrExercise
)
(
agent
?R ?H)
(
during
(
WhenFn
?R) ?T))
(
modalAttribute
(
and
(
holdsDuring
?T2
(
attribute
?H
PostExertionalMalaise
))
(
earlier
(
WhenFn
?R) ?T2))
Likely
))
Medicine.kif 1500-1512
attribute
AutonomousAgent
and
ChronicFatigueSyndrome
vales
durante
IntervalloTemporale
Processo
è un'
istanza
di
PassatempoOEsercizio
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
l'affermazione
attribute
AutonomousAgent
and
PostExertionalMalaise
vales
durante
IntervalloTemporale
2 il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
2 ha il modello di forza di
Likely
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?P
Expellee
)
(
citizen
?P ?HOME-NATION)))
(
instance
?T1
TimeInterval
))
(
exists
(?TRANS ?NATION)
(
and
(
instance
?NATION
Nation
)
(
not
(
equal
?NATION ?HOME-NATION))
(
instance
?TRANS
Translocation
)
(
origin
?TRANS ?NATION)
(
patient
?TRANS ?P)
(
destination
?TRANS ?HOME-NATION)
(
temporalPart
?T1
(
WhenFn
?TRANS)))))
MilitaryPersons.kif 151-167
attribute
Entit�
and
Expellee
Entit�
è un
cittadino
di
Entit�
-NATION vales
durante
PosizioneTemporale
PosizioneTemporale
è un'
istanza
di
IntervalloTemporale
Processo
Oggetto
Oggetto
è un'
istanza
di
Nazione
Oggetto
is
uguale
a
Entit�
-NATION
Processo
è un'
istanza
di
Translocation
Processo
si
originas in
Oggetto
Entit�
è un
paziente
di
Processo
Processo
fine
s in
Entit�
-NATION
PosizioneTemporale
è una
parte
diil
tempo
di esistenza di
Processo
(=>
(
and
(
holdsDuring
?T1
(
attribute
?P
Evacuee
))
(
instance
?T1
TimeInterval
))
(
exists
(?EV ?MIL)
(
and
(
instance
?EV
Evacuation
)
(
agent
?EV ?MIL)
(
instance
?MIL
MilitaryOrganization
)
(
experiencer
?EV ?P)
(
earlier
(
WhenFn
?EV) ?T1))))
MilitaryPersons.kif 120-131
attribute
AutonomousAgent
and
Evacuee
vales
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
AutonomousAgent
Processo
è un'
istanza
di
Evacuation
Processo
è un
agente
di
AutonomousAgent
AutonomousAgent
è un'
istanza
di
MilitaryOrganization
AutonomousAgent
esperisce
s
Processo
il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
(=>
(
and
(
holdsDuring
?T1
(
spouse
?P1 ?P2))
(
instance
?T1
TimeInterval
))
(
exists
(?WED)
(
and
(
instance
?WED
Wedding
)
(
patient
?WED ?P1)
(
patient
?WED ?P2)
(
earlier
(
WhenFn
?WED) ?T1))))
Mid-level-ontology.kif 7972-7982
spouse
Entit�
and
Entit�
vales
durante
IntervalloTemporale
IntervalloTemporale
è un'
istanza
di
IntervalloTemporale
Processo
Processo
è un'
istanza
di
Wedding
Entit�
è un
paziente
di
Processo
Entit�
è un
paziente
di
Processo
il
tempo
di esistenza di
Processo
accades
prima
di
IntervalloTemporale
(=>
(
and
(
initialPart
?C2 ?C1)
(
instance
?PART ?C2))
(
exists
(?WHOLE)
(
and
(
instance
?WHOLE ?C1)
(
holdsDuring
(
BeginFn
(
WhenFn
?PART))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23710-23719
initialPart
Oggetto
and
Oggetto
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�Concreta
è una
parte
di
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
initiallyContainsPart
?C2 ?C1)
(
instance
?WHOLE ?C1))
(
exists
(?PART)
(
and
(
instance
?PART ?C2)
(
holdsDuring
(
BeginFn
(
WhenFn
?WHOLE))
(
part
?PART ?WHOLE)))))
Mid-level-ontology.kif 23737-23745
initiallyContainsPart
Oggetto
and
Oggetto
Entit�Concreta
è un'
istanza
di
Oggetto
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è una
parte
di
Entit�Concreta
vales
durante
l'
inizio
di il
tempo
di esistenza di
Entit�Concreta
(=>
(
and
(
instance
?A
Aborting
)
(
patient
?A ?W)
(
instance
?W
Woman
))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
attribute
?W
Pregnant
))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
attribute
?W
Pregnant
)))))
Mid-level-ontology.kif 21495-21506
Processo
è un'
istanza
di
Aborting
Entit�
è un
paziente
di
Processo
Entit�
è un'
istanza
di
Woman
attribute
Entit�
and
Pregnant
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
attribute
Entit�
and
Pregnant
vales
durante
la
fine
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Accelerating
)
(
equal
?T
(
WhenFn
?A))
(
experiencer
?A ?E))
(
not
(
exists
(?D)
(
and
(
instance
?D
Decelerating
)
(
experiencer
?D ?E)
(
equal
?T
(
WhenFn
?D))))))
Mid-level-ontology.kif 17193-17203
Processo
è un'
istanza
di
Accelerating
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
AutonomousAgent
esperisce
s
Processo
Processo
Processo
è un'
istanza
di
Decelerating
AutonomousAgent
esperisce
s
Processo
IntervalloTemporale
is
uguale
a il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Amputating
)
(
patient
?A ?H)
(
instance
?L
Limb
))
(
exists
(?P ?B)
(
and
(
part
?P ?L)
(
part
?B ?P)
(
instance
?B
Bone
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
part
?P ?H))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?A))
(
not
(
part
?P ?H))))))
Medicine.kif 6257-6275
Processo
è un'
istanza
di
Amputating
Entit�
è un
paziente
di
Processo
Oggetto
è un'
istanza
di
Limb
Oggetto
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è una
parte
di
Oggetto
Oggetto
è un'
istanza
di
Osso
Oggetto
è una
parte
di
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
Oggetto
è una
parte
di
Entit�
vales
durante
immediatamente
prima
di il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 966-975
Processo
è un'
istanza
di
Anesthetizing
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Inconscio
attribute
Entit�
and
Pain
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
Processo
è un'
istanza
di
Anesthetizing
Entit�
è un
paziente
di
Processo
attribute
Entit�
and
Inconscio
attribute
Entit�
and
Pain
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Apologizing
)
(
agent
?A ?AG)
(
destination
?A ?P))
(
exists
(?ACT)
(
and
(
suffers
?ACT ?P)
(
agent
?ACT ?AG)
(
holdsDuring
(
WhenFn
?A)
(
not
(
wants
?AG ?ACT))))))
Mid-level-ontology.kif 29620-29632
Processo
è un'
istanza
di
Apologizing
Processo
è un
agente
di
Processo
G
Processo
fine
s in
AutonomousAgent
Processo
CT
suffers
Processo
CT and
AutonomousAgent
Processo
CT è un
agente
di
Processo
G
Processo
G non
vuole
Processo
CT vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Appointing
)
(
patient
?A ?H))
(
exists
(?P ?ORG)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?A))
(
not
(
occupiesPosition
?H ?P ?ORG)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?A))
(
occupiesPosition
?H ?P ?ORG)))))
Mid-level-ontology.kif 1042-1055
Processo
è un'
istanza
di
Appointing
Entit�
è un
paziente
di
Processo
Entit�
Entit�
Entit�
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Processo
Entit�
occupa la
posizione
di
Entit�
in
Entit�
vales
durante
immediatamente
dopo
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
Asphyxiation
)
(
experiencer
?A ?M))
(
holdsDuring
(
WhenFn
?A)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?A))))))
Medicine.kif 6304-6313
Processo
è un'
istanza
di
Asphyxiation
AutonomousAgent
esperisce
s
Processo
Entit�
Entit�
è un'
istanza
di
Respirazione
Processo
esperisce
s
Entit�
vales
durante
il
tempo
di esistenza di
Processo
(=>
(
and
(
instance
?A
AutonomousAgent
)
(
holdsDuring
?T
(
attribute
?A
Motionless
)))
(
not
(
exists
(?P)
(
and
(
instance
?P
BodyMotion
)
(
instance
?P
IntentionalProcess
)
(
agent
?P ?A)
(
during
(
WhenFn
?P) ?T)))))
Mid-level-ontology.kif 30242-30253
AutonomousAgent
è un'
istanza
di
AutonomousAgent
attribute
AutonomousAgent
and
Motionless
vales
durante
IntervalloTemporale
Processo
Processo
è un'
istanza
di
MovimentoCorporeo
Processo
è un'
istanza
di
ProcessoIntenzionale
Processo
è un
agente
di
AutonomousAgent
il
tempo
di esistenza di
Processo
has luogo
durante
IntervalloTemporale
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