Likely
(likely)
(=>
(
attribute
?MR
HipHopMusic
)
(
modalAttribute
(
exists
(?MM ?S)
(
and
(
record
?MR ?MM)
(
instance
?S
Speaking
)
(
subProcess
?S ?MM)))
Likely
))
Music.kif 727-734
If
hip hop music
is an
attribute
of
an object
,
then the statement there exist
an entity
and
another entity
such that
the object
is a
record
of
the entity
and
the other entity
is an
instance
of
speaking
and
the other entity
is a
subprocess
of
the entity
has the
modal
force
of
likely
(=>
(
attribute
?MR
IndieMusic
)
(
modalAttribute
(
not
(
exists
(?R)
(
recordingCompany
?MR ?R)))
Likely
))
Music.kif 741-746
If
indie music
is an
attribute
of
an object
,
then the statement there doesn't exist
an entity
such that
the entity
produces
the object
has the
modal
force
of
likely
(=>
(
attribute
?O
Translucent
)
(
modalAttribute
(
not
(
exists
(?S ?A ?D)
(
and
(
instance
?S
Seeing
)
(
agent
?S ?A)
(
destination
?S ?D)
(
between
?O ?A ?D))))
Likely
))
Mid-level-ontology.kif 15140-15150
If
translucent
is an
attribute
of
an object
,
then the statement there don't exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
seeing
and
the other entity
is an
agent
of
the entity
and
the entity
end
s up at
the third entity
and
the other entity
is
between
the object
and
the third entity
has the
modal
force
of
likely
(=>
(
attribute
?X
CommunalAttribute
)
(
modalAttribute
(
not
(
attribute
?X
PrivateAttribute
))
Likely
))
Mid-level-ontology.kif 27175-27178
If
communal
is an
attribute
of
an object
,
then the statement
private attribute
is not an
attribute
of
the object
has the
modal
force
of
likely
(=>
(
attribute
?X
PrivateAttribute
)
(
modalAttribute
(
not
(
attribute
?X
CommunalAttribute
))
Likely
))
Mid-level-ontology.kif 27170-27173
If
private attribute
is an
attribute
of
an object
,
then the statement
communal
is not an
attribute
of
the object
has the
modal
force
of
likely
(=>
(
browserID
?STRING ?BROWSER ?SITE)
(
modalAttribute
(
not
(
exists
(?BROWSER2)
(
and
(
instance
?BROWSER2
WebBrowser
)
(
browserID
?STRING ?BROWSER2 ?SITE))))
Likely
))
UXExperimentalTerms.kif 750-758
If
an identifier
is the
ID
of
a web browser
when accessing
a web site
,
then the statement there doesn't exist
the web browser
2 such that
the web browser
2 is an
instance
of
web browser
and
the identifier
is the
ID
of
the web browser
2 when accessing
the web site
has the
modal
force
of
likely
(=>
(
dayPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 6)
(
lessThan
?Num 18)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3691-3711
If
an agent
is a
day
phone of
a symbolic string
,
then there exist
a telephone
,
an entity
and
a real number
such that
the telephone
is a
phone
number of
the symbolic string
and
the real number
is
greater
than 6 and
the real number
is
less
than 18 and there exists
another entity
such that
the other entity
is an
instance
of
telephoning
and
the other entity
end
s up at
the agent
and
the telephone
is a
patient
of
the other entity
and
the agent
possess
es
the telephone
and the statement there exists
a third entity
such that
the third entity
is an
instance
of
answering
and
the third entity
is a
subprocess
of
the other entity
and
the agent
is an
agent
of
the third entity
has the
modal
force
of
likely
holds
during
the entity
is an
instance
of the
hour
the real number
(=>
(
eveningPhone
?Number ?Agent)
(
exists
(?Phone ?Hour ?Num)
(
and
(
phoneNumber
?Number ?Phone)
(
greaterThan
?Num 18)
(
lessThan
?Num 6)
(
holdsDuring
(
instance
?Hour
(
HourFn
?Num
Day
))
(
exists
(?T)
(
and
(
instance
?T
Telephoning
)
(
destination
?T ?Agent)
(
patient
?T ?Phone)
(
possesses
?Agent ?Phone)
(
modalAttribute
(
exists
(?A)
(
and
(
instance
?A
Answering
)
(
subProcess
?A ?T)
(
agent
?A ?Agent)))
Likely
)))))))
FinancialOntology.kif 3735-3755
If
an agent
is an
evening
phone of
a symbolic string
,
then there exist
a telephone
,
an entity
and
a real number
such that
the telephone
is a
phone
number of
the symbolic string
and
the real number
is
greater
than 18 and
the real number
is
less
than 6 and there exists
another entity
such that
the other entity
is an
instance
of
telephoning
and
the other entity
end
s up at
the agent
and
the telephone
is a
patient
of
the other entity
and
the agent
possess
es
the telephone
and the statement there exists
a third entity
such that
the third entity
is an
instance
of
answering
and
the third entity
is a
subprocess
of
the other entity
and
the agent
is an
agent
of
the third entity
has the
modal
force
of
likely
holds
during
the entity
is an
instance
of the
hour
the real number
(=>
(
habitatOfOrganism
?O ?L)
(
modalAttribute
(
exists
(?OI)
(
and
(
instance
?OI ?O)
(
inhabits
?OI ?L)))
Likely
))
Mid-level-ontology.kif 30388-30395
If
a kind of organism
inhabits
a geographic area
,
then the statement there exists
a kind of organism
I such that
the kind of organism
I is an
instance
of
the kind of organism
and
the kind of organism
I
live
s in
the geographic area
has the
modal
force
of
likely
(=>
(
hasUniform
?GRP ?UNIFORM)
(
modalAttribute
(
exists
(?PERS ?CLOTHING ?TIME)
(
and
(
member
?PERS ?GRP)
(
instance
?CLOTHING ?UNIFORM)
(
holdsDuring
?TIME
(
wears
?PERS ?CLOTHING))))
Likely
))
Mid-level-ontology.kif 26675-26683
If
a group
has
uniform
a kind of uniform
,
then the statement there exist
an entity
,
another entity
and
a third entity
such that
the entity
is a
member
of
the group
and
the other entity
is an
instance
of
a kind of uniform
and
the entity
wear
s
the other entity
holds
during
the third entity
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
and
(
maxDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3629-3642
If maximum device operating temperature of
an entity
is
another entity
a third entity
(s) and
the third entity
is an
instance
of
unit of temperature
and
the entity
is
located
at
a fourth entity
and
device on
is an
attribute
of
the entity
and
a fifth entity
the third entity
(s) is an
air
temperature of
the fourth entity
and
the fifth entity
is
greater
than
the other entity
holds
during
a time position
,
then the statement
device damaged
is an
attribute
of
the entity
holds
during
immediately
after
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
and
(
maxDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
greaterThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3657-3670
If maximum device storage temperature of
an entity
is
another entity
a third entity
(s) and
the third entity
is an
instance
of
unit of temperature
and
the entity
is
located
at
a fourth entity
and
device off
is an
attribute
of
the entity
and
a fifth entity
the third entity
(s) is an
air
temperature of
the fourth entity
and
the fifth entity
is
greater
than
the other entity
holds
during
a time position
,
then the statement
device damaged
is an
attribute
of
the entity
holds
during
immediately
after
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
and
(
minDeviceOperatingTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOn
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3682-3695
If minimum device operating temperature of
an entity
is
another entity
a third entity
(s) and
the third entity
is an
instance
of
unit of temperature
and
the entity
is
located
at
a fourth entity
and
device on
is an
attribute
of
the entity
and
a fifth entity
the third entity
(s) is an
air
temperature of
the fourth entity
and
the fifth entity
is
less
than
the other entity
holds
during
a time position
,
then the statement
device damaged
is an
attribute
of
the entity
holds
during
immediately
after
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
and
(
minDeviceStorageTemp
?D
(
MeasureFn
?T1 ?U))
(
instance
?U
UnitOfTemperature
)
(
located
?D ?A)
(
attribute
?D
DeviceOff
)
(
airTemperature
?A
(
MeasureFn
?T2 ?U))
(
lessThan
?T2 ?T1)))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
attribute
?D
DeviceDamaged
))
Likely
))
ComputingBrands.kif 3708-3721
If minimum device storagqqqe temperature of
an entity
is
another entity
a third entity
(s) and
the third entity
is an
instance
of
unit of temperature
and
the entity
is
located
at
a fourth entity
and
device off
is an
attribute
of
the entity
and
a fifth entity
the third entity
(s) is an
air
temperature of
the fourth entity
and
the fifth entity
is
less
than
the other entity
holds
during
a time position
,
then the statement
device damaged
is an
attribute
of
the entity
holds
during
immediately
after
the time position
has the
modal
force
of
likely
(=>
(
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
))
(
believes
?A
(
modalAttribute
(
exists
(?P)
(
and
(
not
(
wants
?A ?P))
(
before
?T
(
WhenFn
?P))))
Likely
)))
emotion.kif 1025-1036
If
angst
is an
attribute
of
a cognitive agent
holds
during
a time position
,
then
the cognitive agent
believe
s the statement there exists
an entity
such that
the cognitive agent
doesn't
want
the entity
and
the time position
happens
before
the
time
of existence of
the entity
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
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
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
Bedridden
))
(
holdsDuring
?T
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Bed
)
(
located
?H ?B)))
Likely
)))
Mid-level-ontology.kif 11041-11050
If
bed ridden
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
bed
and
the entity
is
located
at
the other entity
has the
modal
force
of
likely
holds
during
the time position
(=>
(
holdsDuring
?T
(
attribute
?H
Covid19
))
(
modalAttribute
(
holdsDuring
(
ImmediateFutureFn
?T)
(
and
(
instance
?CA
COVIDAntibody
)
(
part
?CA ?H)))
Likely
))
Medicine.kif 2798-2807
If
Covid
is an
attribute
of
an entity
holds
during
a time position
,
then the statement
another entity
is an
instance
of
COVID antibody
and
the other entity
is a
part
of
the entity
holds
during
immediately
after
the time position
has the
modal
force
of
likely
(=>
(
holdsDuring
?T
(
attribute
?H
Depression
))
(
modalAttribute
(
holdsDuring
?T
(
not
(
attribute
?H
Happiness
)))
Likely
))
Mid-level-ontology.kif 6395-6402
If
depressed
is an
attribute
of
an entity
holds
during
a time position
,
then the statement
happiness
is not an
attribute
of
the entity
holds
during
the time position
has the
modal
force
of
likely
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