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
If
a process
end
s up at
an object
and
the process
is an
instance
of
messaging
and
an entity
is a
patient
of
the process
and
the object
is an
instance
of
telex
,
then there exist
another process
and
another entity
such that
the object
is an
instrument
for
the other process
and
the other entity
is a
result
of
the other process
and
the other entity
express
es
the entity
and
the other entity
is an
instance
of
text
and the
beginning
of the
time
of existence of
the process
happens
before
the
beginning
of the
time
of existence of
the other process
(=>
(
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
If
a human
directed
a motion picture
and
a process
is an
instance
of
film making
and
an agent
is an
instance
of
organization
and
the human
is a
leader
of
the agent
and
the agent
is an
agent
of
the process
and
the motion picture
is a
result
of
the process
,
then
film director
is an
attribute
of
the human
holds
during
the
time
of existence of
the process
(=>
(
and
(
firstInstanceCreated
?C ?T)
(
instance
?I ?C))
(
beforeOrEqual
?T
(
BeginFn
(
WhenFn
?I))))
Mid-level-ontology.kif 30692-30698
If
a kind of physical
was
firstInstanceCreated
at
a time point
and
another physical
is an
instance
of
a kind of physical
,
then
the time point
happen
s before or at the
beginning
of the
time
of existence of
the other physical
(=>
(
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
If
a collection
are
first
time
buyers
on
a web site
during
a time interval
and
an agent
is a
member
of
the collection
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the agent
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
takes place
during
the time interval
(=>
(
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
If
a collection
are
first
time
buyers
on
a web site
during
a time interval
and
an agent
is a
member
of
the collection
,
then there doesn't exist
a financial transaction
such that
the financial transaction
is an
instance
of
buying
and
the agent
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
happens
earlier
than
the time interval
(=>
(
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
If
a collection
are
first
time
sellers
on
a web site
during
a time interval
and
an agent
is a
member
of
the collection
,
then there exists
a financial transaction
such that
the financial transaction
is an
instance
of
selling
and
the agent
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
takes place
during
the time interval
(=>
(
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
If
a collection
are
first
time
sellers
on
a web site
during
a time interval
and
an agent
is a
member
of
the collection
,
then there doesn't exist
a financial transaction
such that
the financial transaction
is an
instance
of
selling
and
the agent
is an
agent
of
the financial transaction
and
the web site
facilitates
the financial transaction
and the
time
of existence of
the financial transaction
happens
earlier
than
the time interval
(=>
(
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
If
an emotional state
is an
attribute
of
an entity
holds
during
a time position
and
action tendency
the emotional state
and
a kind of emotional behavioral process
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
a kind of emotional behavioral process
and the
time
of existence of
the other entity
takes place
during
the time position
and
the entity
experience
s
the other entity
has the
modal
force
of
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
If
AVPU pain status
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
pain
and the
time
of existence of
the process
takes place
during
the time interval
and
the agent
experience
s
the process
,
then there exists
another process
such that
the other process
is an
instance
of
body motion
and
the agent
experience
s
the other process
and the
time
of existence of
the other process
takes place
during
the time interval
and
the process
cause
s
the other process
(=>
(
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
If
AVPU verbal status
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
speaking
and
the process
end
s up at
the agent
and the
time
of existence of
the process
takes place
during
the time interval
,
then there exists
another process
such that
the other process
is an
instance
of
intentional process
and
the agent
is an
agent
of
the other process
and the
time
of existence of
the other process
takes place
during
the time interval
and
the process
cause
s
the other process
(=>
(
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
If
ME/CFS
is an
attribute
of
an agent
holds
during
a time interval
and
a process
is an
instance
of
recreation or exercise
and
the agent
is an
agent
of
the process
and the
time
of existence of
the process
takes place
during
the time interval
,
then the statement
PEM
is an
attribute
of
the agent
holds
during
the time interval
2 and the
time
of existence of
the process
happens
earlier
than
the time interval
2 has the
modal
force
of
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
If
expellee
is an
attribute
of
an entity
and
the entity
is a
citizen
of
another entity
-NATION holds
during
a time position
and
the time position
is an
instance
of
time interval
,
then there exist
a process
and
an object
such that
the object
is an
instance
of
nation
and
the object
is not
equal
to
the other entity
-NATION and
the process
is an
instance
of
translocation
and
the process
originate
s at
the object
and
the entity
is a
patient
of
the process
and
the process
end
s up at
the other entity
-NATION and
the time position
is a
part
of the
time
of existence of
the process
(=>
(
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
If
evacuee
is an
attribute
of
an agent
holds
during
a time interval
and
the time interval
is an
instance
of
time interval
,
then there exist
a process
and
another agent
such that
the process
is an
instance
of
evacuating
and
the other agent
is an
agent
of
the process
and
the other agent
is an
instance
of
military organization
and
the agent
experience
s
the process
and the
time
of existence of
the process
happens
earlier
than
the time interval
(=>
(
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
If
an entity
is the
spouse
of
another entity
holds
during
a time interval
and
the time interval
is an
instance
of
time interval
,
then there exists
a process
such that
the process
is an
instance
of
wedding
and
the entity
is a
patient
of
the process
and
the other entity
is a
patient
of
the process
and the
time
of existence of
the process
happens
earlier
than
the time interval
(=>
(
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
If every
a kind of object
is
initially
part
of a
another kind of object
and
a physical
is an
instance
of
a kind of object
,
then there exists
an entity
such that
the entity
is an
instance
of
another kind of object
and
the physical
is a
part
of
the entity
holds
during
the
beginning
of the
time
of existence of
the physical
(=>
(
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
If instance of
a kind of object
are always
initially
part
of instances of
another kind of object
and
a physical
is an
instance
of
another kind of object
,
then there exists
an entity
such that
the entity
is an
instance
of
a kind of object
and
the entity
is a
part
of
the physical
holds
during
the
beginning
of the
time
of existence of
the physical
(=>
(
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
If
a process
is an
instance
of
aborting
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
woman
,
then
pregnant
is an
attribute
of
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
pregnant
is not an
attribute
of
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
accelerating
and
a time interval
is
equal
to the
time
of existence of
the process
and
an agent
experience
s
the process
,
then there doesn't exist
another process
such that
the other process
is an
instance
of
decelerating
and
the agent
experience
s
the other process
and
the time interval
is
equal
to the
time
of existence of
the other process
(=>
(
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
If
a process
is an
instance
of
amputation
and
an entity
is a
patient
of
the process
and
an object
is an
instance
of
limb
,
then there exist
another object
and
a third object
such that
the other object
is a
part
of
the object
and
the third object
is a
part
of
the other object
and
the third object
is an
instance
of
bone
and
the other object
is a
part
of
the entity
holds
during
immediately
before
the
time
of existence of
the process
and
the other object
is not a
part
of
the entity
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
and
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 966-975
If
a process
is an
instance
of
anesthetizing
and
an entity
is a
patient
of
the process
,
then
unconscious
is an
attribute
of
the entity
and
pain
is not an
attribute
of
the entity
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?A
Anesthetizing
)
(
patient
?A ?P))
(
holdsDuring
(
WhenFn
?A)
(
or
(
attribute
?P
Unconscious
)
(
not
(
attribute
?P
Pain
)))))
Medicine.kif 949-958
If
a process
is an
instance
of
anesthetizing
and
an entity
is a
patient
of
the process
,
then
unconscious
is an
attribute
of
the entity
or
pain
is not an
attribute
of
the entity
holds
during
the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
apologizing
and
the process
G is an
agent
of
the process
and
the process
end
s up at
another agent
,
then there exists
the process
CT such that
the other agent
suffers
from
the process
CT and
the process
G is an
agent
of
the process
CT and
the process
G doesn't
want
the process
CT holds
during
the
time
of existence of
the process
(=>
(
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
If
a process
is an
instance
of
appointing
and
an entity
is a
patient
of
the process
,
then there exist
another entity
and
a third entity
such that
the entity
doesn't hold the
position
of
the other entity
in
the third entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
holds the
position
of
the other entity
in
the third entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?A
Asphyxiation
)
(
experiencer
?A ?M))
(
holdsDuring
(
WhenFn
?A)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
experiencer
?B ?A))))))
Medicine.kif 6304-6313
If
a process
is an
instance
of
asphyxiation
and
an agent
experience
s
the process
,
then there doesn't exist
an entity
such that
the entity
is an
instance
of
breathing
and
the process
experience
s
the entity
holds
during
the
time
of existence of
the process
(=>
(
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
If
an agent
is an
instance
of
agent
and
motionless
is an
attribute
of
the agent
holds
during
a time interval
,
then there doesn't exist
a process
such that
the process
is an
instance
of
body motion
and
the process
is an
instance
of
intentional process
and
the agent
is an
agent
of
the process
and the
time
of existence of
the process
takes place
during
the time interval
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