modalAttribute
(=>
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A))
(
modalAttribute
(
causesProposition
(
exists
(?ANG)
(
and
(
instance
?ANG
Anger
)
(
experiencer
?ANG ?A)))
(
and
(
instance
?AVU
AngryVoiceUtterance
)
(
agent
?AVU ?A)))
Likely
))
emotion.kif 1945-1958
If
a process
is an
instance
of
angry voice utterance
and
an agent
is an
agent
of
the process
,
then the statement
the process
is an
instance
of
angry voice utterance
and
the agent
is an
agent
of
the process
is a
causes
proposition of there exists
the agent
NG such that
the agent
NG is an
instance
of
anger
and
the agent
experience
s
the agent
NG has the
modal
force
of
likely
(=>
(
and
(
instance
?B
Buying
)
(
patient
?B ?ITEM)
(
origin
?B ?AGENT)
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validPaymentType
?PS ?PAY))
(
modalAttribute
(
exists
(?PAYMENT)
(
and
(
instance
?PAYMENT ?PAY)
(
subProcess
?PAYMENT ?B)))
Likely
))
Catalog.kif 337-352
If
a process
is an
instance
of
buying
and
an entity
is a
patient
of
the process
and
the process
originate
s at
a cognitive agent
and the
price
of
another kind of entity
from
the cognitive agent
according to
a pricing scheme
is
a currency measure
or the
unit
price
charged
the cognitive agent
under
the pricing scheme
for
a function quantity
is
another kind of entity
and
the other kind of entity
is a
subclass
of
physical
and
the entity
is an
immediate
instance of
the other kind of entity
and
a kind of payment
is a
valid
payment
under
the pricing scheme
,
then the statement there exists
a kind of payment
MENT such that
the kind of payment
MENT is an
instance
of
the kind of payment
and
the kind of payment
MENT is a
subprocess
of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?BS1
BodySegment
)
(
instance
?BS2
BodySegment
)
(
connected
?BS1 ?BS2)
(
instance
?BM
BodyMotion
)
(
moves
?BM ?BS1))
(
modalAttribute
(
not
(
exists
(?BM2)
(
and
(
instance
?BM2
BodyMotion
)
(
moves
?BM2 ?BS2)
(
during
(
WhenFn
?BM2)
(
WhenFn
?BM)))))
Possibility
))
Mid-level-ontology.kif 10577-10593
If
an object
is an
instance
of
body segment
and
another object
is an
instance
of
body segment
and
the object
is
connected
to
the other object
and
a motion
is an
instance
of
body motion
and
the object
moves during
the motion
,
then the statement there doesn't exist
the motion
2 such that
the motion
2 is an
instance
of
body motion
and
the other object
moves during
the motion
2 and the
time
of existence of
the motion
2 takes place
during
the
time
of existence of
the motion
has the
modal
force
of
possibility
(=>
(
and
(
instance
?C
Carabiner
)
(
holdsDuring
?T
(
attribute
?C
DeviceClosed
)))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
ClimbingRope
)
(
contains
?C ?R)))
Possibility
)))
Mid-level-ontology.kif 30815-30826
If
an entity
is an
instance
of
karabiner
and
device closed
is an
attribute
of
the entity
holds
during
a time position
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
climbing rope
and
the entity
contain
s
the other entity
has the
modal
force
of
possibility
holds
during
the time position
(=>
(
and
(
instance
?CA
COVIDAntibody
)
(
holdsDuring
?T
(
and
(
not
(
attribute
?H
Covid19
))
(
part
?CA ?H))))
(
holdsDuring
(
ImmediateFutureFn
?T)
(
modalAttribute
(
attribute
?H
Covid19
)
Unlikely
)))
Medicine.kif 2784-2796
If
an entity
is an
instance
of
COVID antibody
and
Covid
is not an
attribute
of
another entity
and
the entity
is a
part
of
the other entity
holds
during
a time position
,
then the statement
Covid
is an
attribute
of
the other entity
has the
modal
force
of
unlikely
holds
during
immediately
after
the time position
(=>
(
and
(
instance
?COMMIT
Committing
)
(
patient
?COMMIT ?FORMULA)
(
instance
?FORMULA
Formula
))
(
modalAttribute
?FORMULA
Promise
))
Merge.kif 13226-13231
If
a process
is an
instance
of
committing
and
a formula
is a
patient
of
the process
and
the formula
is an
instance
of
formula
,
then the statement
the formula
has the
modal
force
of
promise
(=>
(
and
(
instance
?D
Antidiuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
not
(
equal
?U1 ?U2))
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 10055-10078
If
an object
is an
instance
of
antidiuretic
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
a time interval
is an
instance
of
urination
and
an entity
is a
result
of
the time interval
and
the agent
is an
agent
of
the time interval
and
another time interval
is an
instance
of
urination
and
the time interval
is not
equal
to
the other time interval
and
another entity
is a
result
of
the other time interval
and
the agent
is an
agent
of
the other time interval
and
the time interval
happens
earlier
than
the motion
and
the motion
happens
earlier
than
the other time interval
and
an unit of measure
is an
instance
of
unit of volume
and the
measure
of
the time interval
is
a real number
the unit of measure
(s) and the
measure
of
the other time interval
is
another real number
the unit of measure
(s),
then the statement
the real number
is
greater
than
the other real number
has the
modal
force
of
likely
(=>
(
and
(
instance
?D
Diuretic
)
(
instance
?I
Ingesting
)
(
agent
?I ?H)
(
moves
?I ?D)
(
instance
?U1
Urination
)
(
result
?U1 ?P1)
(
agent
?U1 ?H)
(
instance
?U2
Urination
)
(
result
?U2 ?P2)
(
agent
?U2 ?H)
(
earlier
?U1 ?I)
(
earlier
?I ?U2)
(
instance
?V
UnitOfVolume
)
(
measure
?U1
(
MeasureFn
?N1 ?V))
(
measure
?U2
(
MeasureFn
?N2 ?V)))
(
modalAttribute
(
greaterThan
?N2 ?N1)
Likely
))
Mid-level-ontology.kif 10025-10046
If
an object
is an
instance
of
diuretic
and
a motion
is an
instance
of
ingesting
and
an agent
is an
agent
of
the motion
and
the object
moves during
the motion
and
a time interval
is an
instance
of
urination
and
an entity
is a
result
of
the time interval
and
the agent
is an
agent
of
the time interval
and
another time interval
is an
instance
of
urination
and
another entity
is a
result
of
the other time interval
and
the agent
is an
agent
of
the other time interval
and
the time interval
happens
earlier
than
the motion
and
the motion
happens
earlier
than
the other time interval
and
an unit of measure
is an
instance
of
unit of volume
and the
measure
of
the time interval
is
a real number
the unit of measure
(s) and the
measure
of
the other time interval
is
another real number
the unit of measure
(s),
then the statement
the other real number
is
greater
than
the real number
has the
modal
force
of
likely
(=>
(
and
(
instance
?DUST
DustStorm
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?DUST ?PLACE))
(
holdsDuring
(
WhenFn
?DUST)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2600-2608
If
a process
is an
instance
of
dust storm
and
an object
is an
instance
of
geographic area
and
the process
is
located
at
the object
,
then the statement
Bad air quality
is an
attribute
of
the object
has the
modal
force
of
likely
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGAbnormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
attribute
?P
(
ImpairedBodyPartFn
Heart
))
Likely
))
Medicine.kif 1882-1891
If
an object
is an
instance
of
electrocardiogram
and
abnormal EKG
is an
attribute
of
the object
and
the object
includes a
reference
to
another object
and
the other object
is a
part
of
a third object
and
the other object
is an
instance
of
heart
,
then the statement
impaired body part fn
heart
is an
attribute
of
the third object
has the
modal
force
of
likely
(=>
(
and
(
instance
?EKG
Electrocardiogram
)
(
attribute
?EKG
EKGNormal
)
(
refers
?EKG ?H)
(
part
?H ?P)
(
instance
?H
Heart
))
(
modalAttribute
(
not
(
attribute
?P
(
ImpairedBodyPartFn
Heart
)))
Likely
))
Medicine.kif 1865-1875
If
an object
is an
instance
of
electrocardiogram
and
normal EKG
is an
attribute
of
the object
and
the object
includes a
reference
to
another object
and
the other object
is a
part
of
a third object
and
the other object
is an
instance
of
heart
,
then the statement
impaired body part fn
heart
is not an
attribute
of
the third object
has the
modal
force
of
likely
(=>
(
and
(
instance
?EVP
Process
)
(
instance
?AGENT
AutonomousAgent
)
(
instance
?EXP
Experimenting
)
(
treatedUser
?AGENT ?EXP)
(
experimentalVariableProcess
?EXP ?EVP)
(
experiencer
?PROC ?AGENT)
(
experiencer
?EVP ?AGENT)
(
exclusiveEvent
?EXP ?PROC))
(
exists
(?EXPERIMENTER)
(
and
(
instance
?EXPERIMENTER
AutonomousAgent
)
(
experimenter
?EXP ?EXPERIMENTER)
(
believes
?EXPERIMENTER
(
modalAttribute
(
causes
?EVP ?PROC)
Likely
)))))
UXExperimentalTerms.kif 4357-4374
If
a process
is an
instance
of
process
and
a human
is an
instance
of
agent
and
an experimenting
is an
instance
of
experimenting
and
the human
is a
treated
used
in
the experimenting
and
the process
is a
process
in
the experimenting
and
the human
experience
s
another process
and
the human
experience
s
the process
and
the experimenting
causes
the other process
,
then there exists
the experimenting
ERIMENTER such that
the experimenting
ERIMENTER is an
instance
of
agent
and
the experimenting
ERIMENTER is the
experimenter
in
the experimenting
and
the experimenting
ERIMENTER
believe
s the statement
the process
cause
s
the other process
has the
modal
force
of
likely
(=>
(
and
(
instance
?F
Flooding
)
(
instance
?L
LandArea
)
(
eventLocated
?F ?L)
(
instance
?T
TimePoint
)
(
before
?T
(
WhenFn
?F)))
(
modalAttribute
(
holdsDuring
?T
(
instance
?L
SubmergedLandArea
))
Unlikely
))
Weather.kif 1598-1608
If
a process
is an
instance
of
flooding
and
an object
is an
instance
of
land area
and
the process
is
located
at
the object
and
a time point
is an
instance
of
time point
and
the time point
happens
before
the
time
of existence of
the process
,
then the statement
the object
is an
instance
of
submerged land area
holds
during
the time point
has the
modal
force
of
unlikely
(=>
(
and
(
instance
?H
Hotline
)
(
telephoneNumber
?H ?O)
(
instance
?O
Organization
))
(
hasPurpose
?H
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?O)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Communication
)
(
instrument
?C ?H)
(
equal
(
BeginFn
(
WhenFn
?C))
(
BeginFn
(
ImmediateFutureFn
(
WhenFn
?T))))))
Likely
)))))
Mid-level-ontology.kif 25093-25114
If
a telecom number
is an
instance
of
hotline
and
the telecom number
is the
telephone
number
of
an agent
and
the agent
is an
instance
of
organization
,
then
the telecom number
has the purpose there exists
an entity
such that
the entity
is an
instance
of
telephoning
and
the entity
end
s up at
the agent
and the statement there exists
another entity
such that
the other entity
is an
instance
of
communication
and
the telecom number
is an
instrument
for
the other entity
and the
beginning
of the
time
of existence of
the other entity
is
equal
to the
beginning
of immediately
after
the
time
of existence of
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?HAZE
AtmosphericHazing
)
(
instance
?PLACE
GeographicArea
)
(
eventLocated
?HAZE ?PLACE))
(
holdsDuring
(
WhenFn
?HAZE)
(
modalAttribute
(
attribute
?PLACE
BadAirQuality
)
Likely
)))
Weather.kif 2590-2598
If
a process
is an
instance
of
atmospheric hazing
and
an object
is an
instance
of
geographic area
and
the process
is
located
at
the object
,
then the statement
Bad air quality
is an
attribute
of
the object
has the
modal
force
of
likely
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?I
Impacting
)
(
patient
?I ?H)
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
(
ImpairedBodyPartFn
Brain
))))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?I)
(
attribute
?H
Concussion
))
Likely
))
Medicine.kif 1328-1340
If
a process
is an
instance
of
impacting
and
an entity
is a
patient
of
the process
and
impaired body part fn
brain
is an
attribute
of
the entity
holds
during
immediately
after
the process
,
then the statement
mild traumatic brain injury
is an
attribute
of
the entity
holds
during
immediately
after
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
pathologicSideEffect
?DC ?DIS))
(
modalAttribute
(
exists
(?P)
(
and
(
instance
?P ?DIS)
(
experiencer
?H ?P)))
Likely
))
WMD.kif 1563-1575
If
a transfer
is an
instance
of
ingesting
and
an agent
experience
s
the transfer
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
the object
C and
pathologic side effect
the object
C and
the object
IS,
then the statement there exists
an entity
such that
the entity
is an
instance
of
the object
IS and
the entity
experience
s
the agent
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?D)
(
instance
?D ?DC)
(
sideEffect
?DC ?DIS))
(
modalAttribute
(
attribute
?H ?DIS)
Likely
))
WMD.kif 1545-1554
If
a transfer
is an
instance
of
ingesting
and
an agent
experience
s
the transfer
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
the object
C and
the object
IS is a
side
effect
of taking
the object
C,
then the statement
the object
IS is an
attribute
of
the agent
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Ingesting
)
(
experiencer
?I ?H)
(
objectTransferred
?I ?MS)
(
instance
?MS
MoodStabilizer
)
(
instance
?E ?EC)
(
involvedInEvent
?E ?H)
(
holdsDuring
(
WhenFn
?E)
(
attribute
?H ?ES))
(
instance
?ES
EmotionalState
)
(
instance
?E2 ?EC)
(
involvedInEvent
?E2 ?H)
(
earlier
(
WhenFn
?E2)
(
WhenFn
?I)))
(
modalAttribute
(
not
(
holdsDuring
?E2
(
attribute
?H ?ES)))
Unlikely
))
Mid-level-ontology.kif 9774-9795
If
a transfer
is an
instance
of
ingesting
and
an agent
experience
s
the transfer
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
mood stabilizer
and
a process
is an
instance
of
the process
C and
the agent
is an
involved
in event of
the process
and
the process
S is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
and
the process
S is an
instance
of
emotional state
and
the process
2 is an
instance
of
the process
C and
the agent
is an
involved
in event of
the process
2 and the
time
of existence of
the process
2 happens
earlier
than the
time
of existence of
the transfer
,
then the statement
the process
S is an
attribute
of
the agent
doesn't hold
during
the process
2 has the
modal
force
of
unlikely
(=>
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
If
a transfer
is an
instance
of
ingesting
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
hallucinogen
and
the transfer
end
s up at
an entity
,
then the statement there exists
the object
AL such that
the object
AL is an
instance
of
hallucination
and
the entity
experience
s
the object
AL has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
If
a transfer
is an
instance
of
injecting
and
an object
is an
instance
of
adalimumab
and the object transferred in
the transfer
is
the object
and
the transfer
is
located
at
another object
and
the other object
is an
instance
of
body part
and
the transfer
end
s up at
an entity
,
then the statement there exists
another entity
such that
pain
in the
the other object
is an
attribute
of
the entity
holds
during
the other entity
and
the other entity
takes place
during
after
the
time
of existence of
the transfer
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Intestine
)
(
instance
?A
Animal
)
(
part
?I ?A))
(
modalAttribute
(
exists
(?E)
(
and
(
instance
?E
EscherichiaColi
)
(
contains
?I ?E)))
Likely
))
Medicine.kif 5490-5500
If
an object
is an
instance
of
intestine
and
another object
is an
instance
of
animal
and
the object
is a
part
of
the other object
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
E. coli
and
the object
contain
s
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?L
LeafSpring
)
(
part
?L ?RV)
(
instance
?RV
RoadVehicle
))
(
modalAttribute
(
exists
(?L2)
(
and
(
instance
?L2
LeafSpring
)
(
part
?L2 ?RV)
(
not
(
equal
?L ?L2))
(
meetsSpatially
?L ?L2)))
Likely
))
Cars.kif 902-915
If
an object
is an
instance
of
leaf spring
and
the object
is a
part
of
another object
and
the other object
is an
instance
of
road vehicle
,
then the statement there exists
the object
2 such that
the object
2 is an
instance
of
leaf spring
and
the object
2 is a
part
of
the other object
and
the object
is not
equal
to
the object
2 and
the object
meet
s
the object
2 has the
modal
force
of
likely
(=>
(
and
(
instance
?L
Lupus
)
(
experiencer
?L ?H))
(
modalAttribute
(
exists
(?SR)
(
and
(
instance
?SR
SkinRash
)
(
experiencer
?SR ?H)))
Likely
))
Medicine.kif 2265-2274
If
a process
is an
instance
of
lupus
and
an agent
experience
s
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
rash
and
the agent
experience
s
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?LD
LiquidDrop
)
(
surface
?S ?LD))
(
modalAttribute
(
exists
(?SS ?LL)
(
and
(
instance
?LL
Substance
)
(
attribute
?LL
Liquid
)
(
not
(
equal
?LD ?LL))
(
surface
?SS ?LL)
(
meetsSpatially
?S ?SS)))
Unlikely
))
Geography.kif 7497-7509
If
a self connected object
is an
instance
of
liquid drop
and
another self connected object
is a
surface
of
the self connected object
,
then the statement there exist
the other self connected object
S and
another entity
such that
the other entity
is an
instance
of
substance
and
liquid
is an
attribute
of
the other entity
and
the self connected object
is not
equal
to
the other entity
and
the other self connected object
S is a
surface
of
the other entity
and
the other self connected object
meet
s
the other self connected object
S has the
modal
force
of
unlikely
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