during
(=>
(
heartRate
?H ?T ?I)
(
exists
(?C ?M)
(
and
(
instance
?C
Collection
)
(
memberType
?C
HeartBeat
)
(
memberCount
?C ?I)
(=>
(
member
?M ?C)
(
and
(
patient
?M ?H)
(
during
(
WhenFn
?M) ?T))))))
Mid-level-ontology.kif 10345-10357
If
a heart
beats
at a rate of
an integer
beats per
a time interval
,
then there exist
a collection
and
a process
such that
the collection
is an
instance
of
collection
and
heart beat
is a
member
type of
the collection
and
the integer
is a
member
count of
the collection
and
if
the process
is a
member
of
the collection
,
then
the heart
is a
patient
of
the process
and the
time
of existence of
the process
takes place
during
the time interval
(=>
(
holdsDuring
?T
(
and
(
attribute
?H
SleepApnea
)
(
attribute
?H
Sleeping
)))
(
exists
(?T2 ?B ?B2)
(
and
(
during
?T2 ?T)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T2)
(
experiencer
?B ?H))))
(
holdsDuring
?T2
(
and
(
instance
?B2
Breathing
)
(
needs
?H ?B2))))))
Medicine.kif 4161-4178
If
sleep apnea
is an
attribute
of
an agent
and
sleeping
is an
attribute
of
the agent
holds
during
a time interval
,
then there exist
the time interval
2,
a process
and
the process
2 such that
the time interval
2 takes place
during
the time interval
and there doesn't exist
the process
such that
the process
is an
instance
of
breathing
and the
time
of existence of
the process
takes place
during
the time interval
2 and
the agent
experience
s
the process
and
the process
2 is an
instance
of
breathing
and
the agent
need
s
the process
2 holds
during
the time interval
2
(=>
(
holdsDuring
?T
(
attribute
?A
Anger
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
AngryFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1244-1253
If
anger
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
angry facial expression
and
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
takes place
during
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?A
Disgust
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
DisgustedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1262-1271
If
disgust
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
disgusted facial expression
and
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
takes place
during
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?A
Fear
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
FearfulFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1344-1353
If
angst
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
fearful facial expression
and
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
takes place
during
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?A
Happiness
))
(
modalAttribute
(
exists
(?HF)
(
and
(
instance
?HF
HappyFacialExpression
)
(
experiencer
?HF ?A)
(
during
(
WhenFn
?HF) ?T)))
Likely
))
emotion.kif 1226-1235
If
happiness
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
happy facial expression
and
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
takes place
during
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
causes
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
during
(
WhenFn
?P) ?T)))
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))))
emotion.kif 865-877
If
interpersonal disgust
is an
attribute
of
an entity
holds
during
a time position
,
then there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
perception
and
the third entity
is a
patient
of
the other entity
and
the entity
experience
s
the other entity
and
the third entity
is an
instance
of
human
and the
time
of existence of
the other entity
takes place
during
the time position
cause
s
interpersonal disgust
is an
attribute
of
the entity
holds
during
the time position
(=>
(
holdsDuring
?T
(
attribute
?A
InterpersonalDisgust
))
(
exists
(?P ?H)
(
and
(
instance
?P
Perception
)
(
patient
?P ?H)
(
experiencer
?P ?A)
(
instance
?H
Human
)
(
not
(
equal
?H ?A))
(
during
(
WhenFn
?P) ?T))))
emotion.kif 852-863
If
interpersonal disgust
is an
attribute
of
an agent
holds
during
a time interval
,
then there exist
a process
and
an entity
such that
the process
is an
instance
of
perception
and
the entity
is a
patient
of
the process
and
the agent
experience
s
the process
and
the entity
is an
instance
of
human
and
the entity
is not
equal
to
the agent
and the
time
of existence of
the process
takes place
during
the time interval
(=>
(
holdsDuring
?T
(
attribute
?A
Sadness
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SadFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1325-1334
If
sadness
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
sad facial expression
and
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
takes place
during
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?A
SensoryPleasure
))
(
exists
(?P)
(
and
(
instance
?P
Perception
)
(
during
?T
(
WhenFn
?P))
(
causesProposition
(
experiencer
?P ?A)
(
holdsDuring
?T
(
attribute
?A
SensoryPleasure
))))))
emotion.kif 793-803
If
sensory pleasure
is an
attribute
of
an entity
holds
during
a time interval
,
then there exists
a physical
such that
the physical
is an
instance
of
perception
and
the time interval
takes place
during
the
time
of existence of
the physical
and
sensory pleasure
is an
attribute
of
the entity
holds
during
the time interval
is a
causes
proposition of
the entity
experience
s
the physical
(=>
(
holdsDuring
?T
(
attribute
?A
SexualPleasure
))
(
exists
(?M)
(
and
(
instance
?M
Mating
)
(
during
?T
(
WhenFn
?M))
(
causesProposition
(
agent
?M ?A)
(
holdsDuring
?T
(
attribute
?A
SexualPleasure
))))))
emotion.kif 1100-1110
If
sexual pleasure
is an
attribute
of
an entity
holds
during
a time interval
,
then there exists
a physical
such that
the physical
is an
instance
of
mating
and
the time interval
takes place
during
the
time
of existence of
the physical
and
sexual pleasure
is an
attribute
of
the entity
holds
during
the time interval
is a
causes
proposition of
the entity
is an
agent
of
the physical
(=>
(
holdsDuring
?T
(
attribute
?A
Surprise
))
(
modalAttribute
(
exists
(?FE)
(
and
(
instance
?FE
SurprisedFacialExpression
)
(
experiencer
?FE ?A)
(
during
(
WhenFn
?FE) ?T)))
Likely
))
emotion.kif 1281-1290
If
surprise
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
surprised facial expression
and
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
takes place
during
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?H
(
ImpairedBodyPartFn
Eardrum
)))
(
modalAttribute
(
not
(
exists
(?HEAR)
(
and
(
instance
?HEAR
Hearing
)
(
during
(
WhenFn
?HEAR) ?T)
(
experiencer
?HEAR ?H))))
Likely
))
Anatomy.kif 1645-1656
If
impaired body part fn
myringa
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there doesn't exist
the entity
EAR such that
the entity
EAR is an
instance
of
hearing
and the
time
of existence of
the entity
EAR takes place
during
the time position
and
the entity
experience
s
the entity
EAR has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?H
Coma
))
(
not
(
exists
(?IP)
(
and
(
instance
?IP
IntentionalProcess
)
(
agent
?IP ?H)
(
during
?T
(
WhenFn
?IP))))))
Medicine.kif 5215-5224
If
coma
is an
attribute
of
an agent
holds
during
a time interval
,
then there doesn't exist
a process
such that
the process
is an
instance
of
intentional process
and
the agent
is an
agent
of
the process
and
the time interval
takes place
during
the
time
of existence of
the process
(=>
(
holdsDuring
?T
(
attribute
?H
Dizzy
))
(
holdsDuring
?T
(
believes
?H
(=>
(
exists
(?T2)
(
and
(
during
?T2 ?T)
(
holdsDuring
?T2
(
attribute
?H
Standing
))))
(
exists
(?F)
(
and
(
instance
?F
Falling
)
(
experiencer
?F ?H)
(
meetsTemporally
?T2
(
WhenFn
?F))))))))
Mid-level-ontology.kif 16411-16427
If
dizzy
is an
attribute
of
an entity
holds
during
a time position
,
then
the entity
believe
s
if there exists
the time position
2 such that
the time position
2 takes place
during
the time position
and
standing
is an
attribute
of
the entity
holds
during
the time position
2,
then there exists
a third entity
such that
the third entity
is an
instance
of
falling
and
the entity
experience
s
the third entity
and
the time position
2
meet
s the
time
of existence of
the third entity
holds
during
the time position
(=>
(
holdsDuring
?T
(
attribute
?H
Fibromyalgia
))
(
exists
(?P)
(
and
(
instance
?P
Pain
)
(
experiencer
?P ?H)
(
during
?T
(
WhenFn
?P)))))
Medicine.kif 4533-4541
If
Fibromyalgia
is an
attribute
of
an agent
holds
during
a time interval
,
then there exists
a process
such that
the process
is an
instance
of
pain
and
the agent
experience
s
the process
and
the time interval
takes place
during
the
time
of existence of
the process
(=>
(
holdsDuring
?T
(
attribute
?H
Hypersalivation
))
(
modalAttribute
(
exists
(?S)
(
and
(
experiencer
?S ?H)
(
during
(
WhenFn
?S) ?T)
(
or
(
instance
?S
Spitting
)
(
instance
?S
Drooling
)
(
instance
?S
Nausea
))))
Likely
))
Medicine.kif 5326-5340
If
hypersalivation
is an
attribute
of
an entity
holds
during
a time position
,
then the statement there exists
another entity
such that
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
takes place
during
the time position
and
the other entity
is an
instance
of
spitting
or
the other entity
is an
instance
of
drooling
or
the other entity
is an
instance
of
nausea
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?H
Narcolepsy
))
(
exists
(?S)
(
and
(
instance
?S
Sleeping
)
(
experiencer
?S ?H)
(
during
(
WhenFn
?S) ?T)
(
not
(
wants
?H ?S)))))
Medicine.kif 4783-4793
If
narcolepsy
is an
attribute
of
a cognitive agent
holds
during
a time interval
,
then there exists
a process
such that
the process
is an
instance
of
sleeping
and
the cognitive agent
experience
s
the process
and the
time
of existence of
the process
takes place
during
the time interval
and
the cognitive agent
doesn't
want
the process
(=>
(
holdsDuring
?T
(
attribute
?H
Pneumothorax
))
(
exists
(?I)
(
and
(
instance
?I
(
ImpairmentFn
Breathing
))
(
patient
?I ?H)
(
during
?T
(
WhenFn
?I)))))
Medicine.kif 812-821
If
collapsed lung
is an
attribute
of
an entity
holds
during
a time interval
,
then there exists
a process
such that
the process
is an
instance
of impairment in
breathing
and
the entity
is a
patient
of
the process
and
the time interval
takes place
during
the
time
of existence of
the process
(=>
(
holdsDuring
?T
(
attribute
?H
Sinusitis
))
(
exists
(?NC ?NCH ?I)
(
and
(
instance
?NC
NasalCavity
)
(
equal
?NCH
(
HoleHostFn
?NC))
(
part
?NCH ?H)
(
instance
?I
Inflammation
)
(
during
(
WhenFn
?I) ?T)
(
patient
?I ?NCH))))
Medicine.kif 5706-5716
If
sinus infection
is an
attribute
of
an object
holds
during
a time interval
,
then there exist
a hole
,
the hole
H and
a process
such that
the hole
is an
instance
of
nasal cavity
and
the hole
H is
equal
to the
host
of the hole
the hole
and
the hole
H is a
part
of
the object
and
the process
is an
instance
of
inflammation
and the
time
of existence of
the process
takes place
during
the time interval
and
the hole
H is a
patient
of
the process
(=>
(
holdsDuring
?T1
(
attribute
?MAID
Maid
))
(
exists
(?SERVE)
(
and
(
during
(
WhenFn
?SERVE) ?T1)
(
instance
?SERVE
Serving
)
(
agent
?SERVE ?MAID))))
Mid-level-ontology.kif 20633-20639
If
maid
is an
attribute
of
an agent
holds
during
a time interval
,
then there exists
a process
such that the
time
of existence of
the process
takes place
during
the time interval
and
the process
is an
instance
of
serving
and
the agent
is an
agent
of
the process
(=>
(
holdsDuring
?T1
(
prohibits
?A ?F))
(
exists
(?S ?B ?P)
(
and
(
instance
?S
Stating
)
(
during
(
WhenFn
?S) ?T1)
(
agent
?S ?A)
(
containsFormula
?S
(=>
(
causes
(
agent
?P ?B)
(
truth
?F
True
))
(
punishes
?A ?B))))))
Law.kif 65-78
If
an agent
prohibits
an entity
holds
during
a time interval
,
then there exist
a process
,
another entity
and
a third entity
such that
the process
is an
instance
of
stating
and the
time
of existence of
the process
takes place
during
the time interval
and
the agent
is an
agent
of
the process
and
the process
contains the formula
if
the other entity
is an
agent
of
the third entity
cause
s
the entity
is
true
,
then
the agent
punishes
the other entity
(=>
(
instance
?CES
ConsumerElectronicsShow
)
(
exists
(?J)
(
and
(
instance
?J
January
)
(
during
?CES ?J))))
ComputingBrands.kif 2391-2396
If
a time interval
is an
instance
of
Consumer Electronics Show
,
then there exists
another time interval
such that
the other time interval
is an
instance
of
January
and
the time interval
takes place
during
the other time interval
(=>
(
instance
?E
EidAlFitr
)
(
exists
(?R ?Y)
(
and
(
instance
?R
Ramadan
)
(
instance
?Y
Year
)
(
during
?R ?Y)
(
during
?E ?Y)
(
before
?R ?E))))
ArabicCulture.kif 229-237
If
a time interval
is an
instance
of
eid al fitr
,
then there exist
another time interval
and
a third time interval
such that
the other time interval
is an
instance
of
ramadan
and
the third time interval
is an
instance
of
year
and
the other time interval
takes place
during
the third time interval
and
the time interval
takes place
during
the third time interval
and
the other time interval
happens
before
the time interval
(=>
(
instance
?EP
EpiPen
)
(
hasPurpose
?EP
(
exists
(?I ?H ?A)
(
and
(
instance
?I
Injecting
)
(
instrument
?I ?EP)
(
destination
?I ?H)
(
experiencer
?A ?H)
(
instance
?A
Anaphylaxis
)
(
during
(
WhenFn
?I)
(
WhenFn
?A))))))
Medicine.kif 6378-6390
If
a physical
is an
instance
of
adrenaline autoinjector
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
injecting
and
the physical
is an
instrument
for
the entity
and
the entity
end
s up at
the other entity
and
the other entity
experience
s
the third entity
and
the third entity
is an
instance
of
anaphylaxis
and the
time
of existence of
the entity
takes place
during
the
time
of existence of
the third entity
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