during
(=>
(
grossMerchandiseBoughtInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?B
Buying
)
(
instance
?ITEM ?COL)
(
agent
?B ?A)
(
patient
?B ?ITEM)
(
patient
?B ?O)
(
during
?B ?TP))))))
ComputerInput.kif 2977-2989
If the
value
of everything purchased by
an agent
for
an organization
during
a time interval
is
a currency measure
,
then
value
of
a physical
is
the currency measure
and
the physical
is an
instance
of the
class
described by
a symbolic string
(=>
(
grossMerchandiseSoldInPeriod
?A ?O ?CM ?TP)
(
and
(
monetaryValue
?CI ?CM)
(
instance
?CI
(
KappaFn
?COL
(
and
(
instance
?S
Selling
)
(
instance
?ITEM ?COL)
(
agent
?S ?A)
(
patient
?S ?ITEM)
(
patient
?S ?O)
(
during
?S ?TP))))))
ComputerInput.kif 3001-3013
If
GMV
an agent
,
an organization
,
a currency measure
and
a time interval
,
then
value
of
a physical
is
the currency measure
and
the physical
is an
instance
of the
class
described by
a symbolic string
(=>
(
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 11674-11686
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
(
allied
?AGENT1 ?AGENT2))
(
exists
(?C)
(
and
(
during
?T
(
WhenFn
?C))
(
instance
?C
Cooperation
)
(
holdsDuring
(
WhenFn
?C)
(
and
(
agent
?C ?AGENT1)
(
agent
?C ?AGENT2))))))
MilitaryProcesses.kif 2481-2493
If
an entity
and
another entity
are allies of each other holds
during
a time interval
,
then there exists
a physical
such that
the time interval
takes place
during
the
time
of existence of
the physical
and
the physical
is an
instance
of
cooperation
and
the entity
is an
agent
of
the physical
and
the other entity
is an
agent
of
the physical
holds
during
the
time
of existence of
the physical
(=>
(
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 4167-4184
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
&eeds$"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
equal
the entity
and
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 1680-1691
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 5223-5232
If
in a 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 17798-17814
If
dizziness
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 4540-4548
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 5335-5349
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 4790-4800
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 803-812
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 5717-5727
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
equal
the hole
H and 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 22250-22256
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
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
