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
Processus
aboutit
�
objet
processus
est une
instance
de
Messaging
entit�
est un
patient
de
processus
objet
est une
instance
de
Telex
processus
entit�
objet
est un
instrument
pour
processus
entit�
est le
resultat
de
processus
entit�
d
�finie
entit�
entit�
est une
instance
de
texte
le
d
�but de
temps
d'existence de
processus
se produit
avant
le
d
�but de
temps
d'existence de
processus
(=>
(
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
humain
and
motion picture
processus
est une
instance
de
FilmMaking
AutonomousAgent
est une
instance
de
organisation
leader
AutonomousAgent
and
humain
processus
est un
agent
de
AutonomousAgent
motion picture
est le
resultat
de
processus
FilmDirector
est un
attribut
de
humain
pendant
temps
d'existence de
processus
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30692-30698
firstInstanceCreated
physique
and
point temporel
physique
est une
instance
de
physique
point temporel
se
produit avant ou pendant le
d
�but de
temps
d'existence de
physique
(=>
(
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
interval temporel
,
WebSite
and
collection
AutonomousAgent
est un
membre
de
collection
financial transaction
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
AutonomousAgent
eCommerceSite
financial transaction
and
WebSite
temps
d'existence de
financial transaction
prend place
pendant
interval temporel
(=>
(
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
interval temporel
,
WebSite
and
collection
AutonomousAgent
est un
membre
de
collection
financial transaction
financial transaction
est une
instance
de
acheter
financial transaction
est un
agent
de
AutonomousAgent
eCommerceSite
financial transaction
and
WebSite
temps
d'existence de
financial transaction
arrive
plus
t�t que
interval temporel
(=>
(
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
interval temporel
,
WebSite
and
collection
AutonomousAgent
est un
membre
de
collection
financial transaction
financial transaction
est une
instance
de
vendre
financial transaction
est un
agent
de
AutonomousAgent
eCommerceSite
financial transaction
and
WebSite
temps
d'existence de
financial transaction
prend place
pendant
interval temporel
(=>
(
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
interval temporel
,
WebSite
and
collection
AutonomousAgent
est un
membre
de
collection
financial transaction
financial transaction
est une
instance
de
vendre
financial transaction
est un
agent
de
AutonomousAgent
eCommerceSite
financial transaction
and
WebSite
temps
d'existence de
financial transaction
arrive
plus
t�t que
interval temporel
(=>
(
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
�tat �motionnel
Est un
attribut
de
entit�
pendant
position temporel
actionTendency
�tat �motionnel
and
EmotionalBehavioralProcess
l'argument
entit�
entit�
est une
instance
de
EmotionalBehavioralProcess
temps
d'existence de
entit�
prend place
pendant
position temporel
entit�
exp
�rimente
entit�
a la
force
modale
de
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
AVPUPainStatus
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
Pain
temps
d'existence de
processus
prend place
pendant
interval temporel
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
mouvement du corps
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
cause
processus
(=>
(
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
AVPUVerbalStatus
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
Speaking
processus
aboutit
�
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
processus
est une
instance
de
processus intentionnel
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
processus
cause
processus
(=>
(
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
ChronicFatigueSyndrome
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
est une
instance
de
r�cr�ation ou exercice
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
l'argument
PostExertionalMalaise
est un
attribut
de
AutonomousAgent
pendant
interval temporel
2
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
2 a la
force
modale
de
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
Expellee
est un
attribut
de
entit�
entit�
est un
citoyen
de
entit�
-NATION
pendant
position temporel
position temporel
est une
instance
de
interval temporel
processus
objet
objet
est une
instance
de
nation
objet
est
entit�
-NATION
processus
est une
instance
de
Translocation
processus
a pour
origine
objet
entit�
est un
patient
de
processus
processus
aboutit
�
entit�
-NATION
position temporel
est une
partie
de
temps
d'existence de
processus
(=>
(
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
Evacuee
est un
attribut
de
AutonomousAgent
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
processus
AutonomousAgent
processus
est une
instance
de
Evacuation
processus
est un
agent
de
AutonomousAgent
AutonomousAgent
est une
instance
de
MilitaryOrganization
AutonomousAgent
exp
�rimente
processus
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
(=>
(
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�
pendant
interval temporel
interval temporel
est une
instance
de
interval temporel
processus
processus
est une
instance
de
Wedding
entit�
est un
patient
de
processus
entit�
est un
patient
de
processus
temps
d'existence de
processus
arrive
plus
t�t que
interval temporel
(=>
(
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
objet
and
objet
physique
est une
instance
de
objet
entit�
entit�
est une
instance
de
objet
physique
est une
partie
de
entit�
pendant
le
d
�but de
temps
d'existence de
physique
(=>
(
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
objet
and
objet
physique
est une
instance
de
objet
entit�
entit�
est une
instance
de
objet
entit�
est une
partie
de
physique
pendant
le
d
�but de
temps
d'existence de
physique
(=>
(
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
Processus
est une
instance
de
Aborting
entit�
est un
patient
de
processus
entit�
est une
instance
de
Woman
Pregnant
est un
attribut
de
entit�
pendant
le
d
�but de
temps
d'existence de
processus
Pregnant
est un
attribut
de
entit�
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Accelerating
interval temporel
est
temps
d'existence de
processus
AutonomousAgent
exp
�rimente
processus
processus
processus
est une
instance
de
Decelerating
AutonomousAgent
exp
�rimente
processus
interval temporel
est
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Amputating
entit�
est un
patient
de
processus
objet
est une
instance
de
Limb
objet
objet
objet
est une
partie
de
objet
objet
est une
partie
de
objet
objet
est une
instance
de
os
objet
est une
partie
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
objet
est une
partie
de
entit�
pendant
immediatement
avant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 966-975
Processus
est une
instance
de
Anesthetizing
entit�
est un
patient
de
processus
inconscient
est un
attribut
de
entit�
Pain
est un
attribut
de
entit�
pendant
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
Processus
est une
instance
de
Anesthetizing
entit�
est un
patient
de
processus
inconscient
est un
attribut
de
entit�
Pain
est un
attribut
de
entit�
pendant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Apologizing
processus
est un
agent
de
processus
G
processus
aboutit
�
AutonomousAgent
processus
CT
suffers
processus
CT and
AutonomousAgent
processus
CT est un
agent
de
processus
G
processus
G ne
veut
%n{pas}
processus
CT
pendant
temps
d'existence de
processus
(=>
(
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
Processus
est une
instance
de
Appointing
entit�
est un
patient
de
processus
entit�
entit�
entit�
n' occupe %n{pas} la
position
de
entit�
entit�
pendant
le
d
�but de
temps
d'existence de
processus
entit�
occupe la
position
de
entit�
entit�
pendant
immediatement
apr
�s
temps
d'existence de
processus
(=>
(
and
(
instance
?A
Asphyxiation
)
(
experiencer
?A ?M))
(
holdsDuring
(
WhenFn
?A)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?A))))))
Medicine.kif 6304-6313
Processus
est une
instance
de
Asphyxiation
AutonomousAgent
exp
�rimente
processus
entit�
entit�
est une
instance
de
respirer
processus
exp
�rimente
entit�
pendant
temps
d'existence de
processus
(=>
(
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
est une
instance
de
AutonomousAgent
Motionless
est un
attribut
de
AutonomousAgent
pendant
interval temporel
processus
processus
est une
instance
de
mouvement du corps
processus
est une
instance
de
processus intentionnel
processus
est un
agent
de
AutonomousAgent
temps
d'existence de
processus
prend place
pendant
interval temporel
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