Likely
(likely)
(=>
(
and
(
instance
?S
Spamming
)
(
result
?S ?SPAM)
(
instance
?S
Spam
)
(
instance
?H
Human
)
(
destination
?S ?H))
(
not
(
modalAttribute
(
wants
?H ?SPAM)
Likely
)))
ComputingBrands.kif 4210-4220
If
a process
is an
instance
of
spamming
and
the process
PAM is a
result
of
the process
and
the process
is an
instance
of
spam
and
another entity
is an
instance
of
human
and
the process
end
s up at
the other entity
,
then the statement
the other entity
want
s
the process
PAM doesn't have the
modal
force
of
likely
(=>
(
and
(
instance
?S
Speaking
)
(
instance
?J
Jaw
)
(
agent
?S ?H)
(
part
?J ?H))
(
modalAttribute
(
exists
(?M)
(
and
(
instance
?M
BodyMotion
)
(
objectTransferred
?M ?J)
(
during
(
WhenFn
?M)
(
WhenFn
?S))))
Likely
))
Anatomy.kif 1664-1676
If
a process
is an
instance
of
speaking
and
an object
is an
instance
of
jaw
and
an agent
is an
agent
of
the process
and
the object
is a
part
of
the agent
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
body motion
and the object transferred in
the entity
is
the object
and the
time
of existence of
the entity
takes place
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?STEM
PlantStem
)
(
instance
?ROOT
PlantRoot
))
(
modalAttribute
(
orientation
?STEM ?ROOT
Above
)
Likely
))
Mid-level-ontology.kif 9539-9544
If
an entity
is an
instance
of
plant stem
and
another entity
is an
instance
of
plant root
,
then the statement
the entity
is
above
to
the other entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?T
TimePeriod
)
(
duration
?T
(
MeasureFn
?N
MinuteDuration
))
(
greaterThan
?N 5.0)
(
instance
?H
Human
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Breathing
)
(
during
(
WhenFn
?B) ?T)
(
patient
?B ?H)))))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Death
)
(
experiencer
?D ?H)
(
meetsTemporally
?T
(
WhenFn
?D))))
Likely
))
Medicine.kif 5997-6017
If
a time interval
is an
instance
of
TimePeriod
and
duration
of
the time interval
is
a real number
minute duration
(s) and
the real number
is
greater
than 5.0 and
an entity
is an
instance
of
human
and there doesn't exist
a process
such that
the process
is an
instance
of
breathing
and the
time
of existence of
the process
takes place
during
the time interval
and
the entity
is a
patient
of
the process
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
death
and
the entity
experience
s
the other entity
and
the time interval
meet
s the
time
of existence of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?V
Vending
)
(
objectTransferred
?V ?O)
(
not
(
instance
?O
Currency
)))
(
modalAttribute
(
or
(
instance
?O
(
FoodForFn
Human
))
(
instance
?O
Beverage
))
Likely
))
Mid-level-ontology.kif 1986-1995
If
a transfer
is an
instance
of
vending
and the object transferred in
the transfer
is
an object
and
the object
is not an
instance
of
currency
,
then the statement
the object
is an
instance
of
food
for
human
or
the object
is an
instance
of
beverage
has the
modal
force
of
likely
(=>
(
and
(
instance
?V
ViolentContest
)
(
patient
?V ?H)
(
attribute
?H
(
InjuryCausedFn
?PC))
(
attribute
?H
(
ImpairedBodyPartFn
Airway
)))
(
modalAttribute
(
or
(
subclass
?PC
Combustion
)
(
exists
(?FI)
(
and
(
instance
?I
Injuring
)
(
located
?I ?F)
(
instance
?F
Face
)
(
patient
?I ?H))))
Likely
))
Medicine.kif 698-715
If
a process
is an
instance
of
violent contest
and
an object
is a
patient
of
the process
and an
injury
caused by
another kind of process
is an
attribute
of
the object
and
impaired body part fn
airway
is an
attribute
of
the object
,
then the statement
another kind of process
is a
subclass
of
burning
or there exists
an entity
such that
another entity
is an
instance
of
injuring
and
the other entity
is
located
at
a third entity
and
the third entity
is an
instance
of
face
and
the object
is a
patient
of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?W
Weeping
)
(
experiencer
?W ?A))
(
modalAttribute
(
holdsDuring
(
WhenFn
?W)
(
attribute
?A
Sadness
))
Likely
))
emotion.kif 1602-1610
If
a process
is an
instance
of
weeping
and
an agent
experience
s
the process
,
then the statement
sadness
is an
attribute
of
the agent
holds
during
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?W
Weightlifting
)
(
agent
?W ?H))
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
AnaerobicExerciseDevice
)
(
instrument
?W ?D)))
Likely
))
Sports.kif 796-805
If
a process
is an
instance
of
weightlifting
and
an agent
is an
agent
of
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
anaerobic exercise device
and
the entity
is an
instrument
for
the process
has the
modal
force
of
likely
(=>
(
and
(
instance
?X
Buffet
)
(
attribute
?X
Breakfast
))
(
modalAttribute
(
forall
(?FOOD)
(=>
(
member
?FOOD ?X)
(
attribute
?FOOD
Breakfast
)))
Likely
))
Dining.kif 295-303
If
an object
is an
instance
of
buffet
and
breakfast
is an
attribute
of
the object
,
then the statement for all
an entity
if
the entity
is a
member
of
the object
,
then
breakfast
is an
attribute
of
the entity
has the
modal
force
of
likely
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Breakfast
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
BreakfastTime
)))
Likely
))
Food.kif 1706-1716
If
an object
is an
instance
of
meal
and
breakfast
is an
attribute
of
the object
and
a process
is an
instance
of
eating
and
the object
is a
patient
of
the process
,
then the statement there exists
an entity
such that the
time
of existence of
the process
takes place
during
the entity
and
the entity
is an
instance
of
breakfast time
has the
modal
force
of
likely
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Dinner
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
DinnerTime
)))
Likely
))
Food.kif 1793-1803
If
an object
is an
instance
of
meal
and
dinner
is an
attribute
of
the object
and
a process
is an
instance
of
eating
and
the object
is a
patient
of
the process
,
then the statement there exists
an entity
such that the
time
of existence of
the process
takes place
during
the entity
and
the entity
is an
instance
of
dinner time
has the
modal
force
of
likely
(=>
(
and
(
instance
?X
Meal
)
(
attribute
?X
Lunch
)
(
instance
?E
Eating
)
(
patient
?E ?X))
(
modalAttribute
(
exists
(?TIME)
(
and
(
during
(
WhenFn
?E) ?TIME)
(
instance
?TIME
LunchTime
)))
Likely
))
Food.kif 1776-1786
If
an object
is an
instance
of
meal
and
lunch
is an
attribute
of
the object
and
a process
is an
instance
of
eating
and
the object
is a
patient
of
the process
,
then the statement there exists
an entity
such that the
time
of existence of
the process
takes place
during
the entity
and
the entity
is an
instance
of
lunch time
has the
modal
force
of
likely
(=>
(
and
(
not
(
holdsDuring
?T1
(
attribute
?H
Concussion
)))
(
holdsDuring
?T2
(
attribute
?H
Concussion
))
(
meetsTemporally
?T1 ?T2))
(
modalAttribute
(
holdsDuring
(
BeginFn
?T2)
(
attribute
?H
Unconscious
))
Likely
))
Medicine.kif 1314-1326
If
mild traumatic brain injury
is an
attribute
of
an entity
doesn't hold
during
a time interval
and
mild traumatic brain injury
is an
attribute
of
the entity
holds
during
another time interval
and
the time interval
meet
s
the other time interval
,
then the statement
unconscious
is an
attribute
of
the entity
holds
during
the
beginning
of
the other time interval
has the
modal
force
of
likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validFor
?PS ?CUSTCLASS)
(
instance
?CUSTOMER ?CUSTCLASS))
(
modalAttribute
(=>
(
and
(
instance
?B
Buying
)
(
agent
?B ?CUSTOMER)
(
origin
?B ?AGENT)
(
patient
?B ?ITEM))
(
transactionAmount
?B ?PRICE))
Likely
))
Catalog.kif 354-370
If the
price
of
a kind of entity
from
a 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
a kind of entity
and
the kind of entity
is a
subclass
of
physical
and
another entity
is an
immediate
instance of
the kind of entity
and
the pricing scheme
is
valid
for
a kind of agent
and
a third entity
is an
instance
of
a kind of agent
,
then the statement
if
a fourth entity
is an
instance
of
buying
and
the third entity
is an
agent
of
the fourth entity
and
the fourth entity
originate
s at
the cognitive agent
and
the other entity
is a
patient
of
the fourth entity
,
then
the currency measure
is a
transaction
amount of
the fourth entity
has the
modal
force
of
likely
(=>
(
and
(
or
(
publishedPrice
?ENT ?PRICE ?AGENT ?PS)
(
unitPrice
?ENT ?QUANT ?AGENT ?PS))
(
subclass
?ENT
Physical
)
(
immediateInstance
?ITEM ?ENT)
(
validityPeriod
?PS ?TIMEINT))
(
holdsDuring
?TIMEINT
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
agent
?S ?AGENT)
(
patient
?S ?ITEM))
(
transactionAmount
?S ?PRICE))
Likely
)))
Catalog.kif 372-387
If the
price
of
a kind of entity
from
a 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
a kind of entity
and
the kind of entity
is a
subclass
of
physical
and
another entity
is an
immediate
instance of
the kind of entity
and
the pricing scheme
is
valid
during
a time interval
,
then the statement
if
a third entity
is an
instance
of
selling
and
the cognitive agent
is an
agent
of
the third entity
and
the other entity
is a
patient
of
the third entity
,
then
the currency measure
is a
transaction
amount of
the third entity
has the
modal
force
of
likely
holds
during
the time interval
(=>
(
and
(
productPrice
?ENT
(
MeasureFn
?PRICE1 ?U) ?AGENT)
(
instance
?U
UnitOfCurrency
)
(
publishedPrice
?ENT
(
MeasureFn
?PRICE2 ?U) ?AGENT ?PS)
(
validFor
?PS ?CUSTCLASS)
(
instance
?ITEM ?ENT)
(
instance
?B
Buying
)
(
immediateInstance
?CUST ?CUSTCLASS)
(
agent
?B ?CUST)
(
origin
?B ?AGENT)
(
lessThan
?PRICE2 ?PRICE1))
(
modalAttribute
(
transactionAmount
?B ?PRICE1)
Likely
))
Catalog.kif 430-445
If
a cognitive agent
sells
a kind of entity
for
a real number
an unit of measure
(s) and
the unit of measure
is an
instance
of
unit of currency
and the
price
of
a kind of entity
from
the cognitive agent
according to
a pricing scheme
is
another real number
the unit of measure
(s) and
the pricing scheme
is
valid
for
a kind of agent
and
another entity
is an
instance
of
the kind of entity
and
a process
is an
instance
of
buying
and
another agent
is an
immediate
instance of
a kind of agent
and
the other agent
is an
agent
of
the process
and
the process
originate
s at
the cognitive agent
and
the other real number
is
less
than
the real number
,
then the statement
the real number
is a
transaction
amount of
the process
has the
modal
force
of
likely
(=>
(
and
(
reservationStart
?TIME1 ?R)
(
reservationEnd
?TIME2 ?R)
(
reservingEntity
?CUST ?R)
(
fulfillingEntity
?AGENT ?R))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?P)
(
and
(
instance
?P
IntentionalProcess
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST))))
Likely
))
Dining.kif 711-724
If
a reservation
starts
at
a time point
and
the reservation
ends
at
another time point
and
an agent
reserves
the reservation
and
another agent
fulfills
the reservation
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
intentional process
and
the other agent
is an
agent
of
the entity
and
the entity
end
s up at
the agent
holds
during
interval
between
the time point
and
the other time point
has the
modal
force
of
likely
(=>
(
and
(
reservedPackage
?RESERVE ?PACKAGE)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
exists
(?PROC)
(
and
(
realization
?PROC ?PACKAGE)
(
experiencer
?PROC ?CUST)))
Likely
))
Hotel.kif 2973-2981
If
a reservation
is a
reservation
for
a proposition
and
the reservation
reserves
another reservation
,
then the statement there exists
an entity
such that
the entity
express
es the content of
the proposition
and
the other reservation
experience
s
the entity
has the
modal
force
of
likely
(=>
(
and
(
reservedRoom
?RESERVE ?ROOMTYPE)
(
reservationStart
?RESERVE ?TIME1)
(
reservationEnd
?RESERVE ?TIME2)
(
reservingEntity
?RESERVE ?CUST))
(
modalAttribute
(
holdsDuring
(
TimeIntervalFn
?TIME1 ?TIME2)
(
exists
(?X)
(
and
(
instance
?X ?ROOMTYPE)
(
stays
?CUST ?X))))
Likely
))
Hotel.kif 2951-2963
If
a hotel reservation
is a
reservation
for
a kind of hotel unit
and
a reservation
starts
at
the hotel reservation
and
another reservation
ends
at
the hotel reservation
and
the hotel reservation
reserves
a third reservation
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
a kind of hotel unit
and
the third reservation
stays
at
the entity
holds
during
interval
between
the reservation
and
the other reservation
has the
modal
force
of
likely
(=>
(
and
(
roastedToTemperature
?B ?T)
(
instance
?B
CoffeeBean
)
(
instance
?T
RealNumber
))
(
modalAttribute
(
exists
(?R)
(
and
(
instance
?R
DryRoasting
)
(
patient
?R ?B)))
Likely
))
Food.kif 479-488
If
a real number
is the temperature at which
a food
is roasted to and
the food
is an
instance
of
coffee bean
and
the real number
is an
instance
of
real number
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
dry roasting
and
the food
is a
patient
of
the entity
has the
modal
force
of
likely
(=>
(
and
(
subclass
?T1C
Tissue
)
(
subclass
?T2C
Tissue
)
(
instance
?T1 ?T1C)
(
instance
?T2 ?T2C)
(
instance
?H
Human
)
(
part
?T1 ?H)
(
part
?T2 ?H)
(
not
(
equal
?T1C ?T2C))
(
not
(
subclass
?T1C ?T2C))
(
not
(
subclass
?T2C ?T1C))
(
orientation
?T1 ?T2
Adjacent
))
(
modalAttribute
(
exists
(?CT)
(
and
(
instance
?CT
ConnectiveTissue
)
(
between
?T1 ?CT ?T2)))
Likely
))
Merge.kif 15166-15187
If
a class
is a
subclass
of
tissue
and
another class
is a
subclass
of
tissue
and
an object
is an
instance
of
the class
and
another object
is an
instance
of
the other class
and
a third object
is an
instance
of
human
and
the object
is a
part
of
the third object
and
the other object
is a
part
of
the third object
and
the class
is not
equal
to
the other class
and
the class
is not a
subclass
of
the other class
and
the other class
is not a
subclass
of
the class
and
the object
is
adjacent
to
the other object
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
connective tissue
and
the entity
is
between
the object
and
the other object
has the
modal
force
of
likely
(=>
(
and
(
watchingListings
?USER ?COLL ?SITE)
(
instance
?LISTING
WebListing
)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ)
(
member
?LISTING ?COLL))
(
modalAttribute
(
desires
?USER
(
exists
(?BUYING)
(
and
(
instance
?BUYING
Buying
)
(
patient
?BUYING ?OBJ)
(
agent
?BUYING ?USER))))
Likely
))
UXExperimentalTerms.kif 1257-1271
If user
an agent
on
a web site
is
watching
a collection
and
a process
is an
instance
of
web listing
and
an entity
is an
instance
of
object
and
the entity
is a
patient
of
the process
and
the process
is a
member
of
the collection
,
then the statement
the agent
desire
s there exists
another entity
such that
the other entity
is an
instance
of
buying
and
the entity
is a
patient
of
the other entity
and
the agent
is an
agent
of
the other entity
has the
modal
force
of
likely
(=>
(
and
(
workLocation
?O ?S)
(
member
?P ?O)
(
instance
?W
Working
)
(
agent
?W ?P))
(
modalAttribute
(
located
?W ?S)
Likely
))
Mid-level-ontology.kif 20535-20543
If members of
an organization
work
at
a stationary artifact
and
an agent
is a
member
of
the organization
and
a process
is an
instance
of
working
and
the agent
is an
agent
of
the process
,
then the statement
the process
is
located
at
the stationary artifact
has the
modal
force
of
likely
(=>
(
approximateValue
?N1 ?N2)
(
modalAttribute
(
equal
?N1 ?N2)
Likely
))
Mid-level-ontology.kif 29841-29845
If the approximate value of
a real number
is
another real number
,
then the statement
the real number
is
equal
to
the other real number
has the
modal
force
of
likely
(=>
(
attribute
?H
Pyelonephritis
)
(
modalAttribute
(
exists
(?B ?K)
(
and
(
instance
?B
Bacterium
)
(
instance
?K
Kidney
)
(
part
?K ?H)
(
located
?B ?K)))
Likely
))
Medicine.kif 5065-5074
If
urosepsis
is an
attribute
of
an object
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
bacterium
and
the other entity
is an
instance
of
kidney
and
the other entity
is a
part
of
the object
and
the entity
is
located
at
the other entity
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