Likely
(likely)
(=>
(
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
(=>
(
instance
?C
Cell
)
(
modalAttribute
(
or
(
cellShape
?C
Sphere
)
(
cellShape
?C
Cylinder
))
Likely
))
VirusProteinAndCellPart.kif 418-423
If
an entity
is an
instance
of
cell
,
then the statement
the entity
cells are
shaped
like a
sphere
or
the entity
cells are
shaped
like a
cylinder
has the
modal
force
of
likely
(=>
(
instance
?CAC
Cactus
)
(
modalAttribute
(
exists
(?AREA)
(
and
(
instance
?AREA
GeographicArea
)
(
located
?CAC ?AREA)
(
exists
(?D)
(
and
(
instance
?D
Drought
)
(
eventLocated
?D ?AREA)))))
Likely
))
Geography.kif 6302-6312
If
an entity
is an
instance
of
cactus
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
geographic area
and
the entity
is
located
at
the other entity
and there exists
a third entity
such that
the third entity
is an
instance
of
drought
and
the third entity
is
located
at
the other entity
has the
modal
force
of
likely
(=>
(
instance
?CLOTHING
Clothing
)
(
modalAttribute
(
exists
(?FABRIC)
(
and
(
instance
?FABRIC
Fabric
)
(
part
?FABRIC ?CLOTHING)))
Likely
))
Merge.kif 15927-15934
If
an entity
is an
instance
of
clothing
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
fabric
and
the other entity
is a
part
of
the entity
has the
modal
force
of
likely
(=>
(
instance
?DISEASE
VaccinatableDisease
)
(
exists
(?VACCINE ?HUMAN ?PUT)
(
and
(
instance
?VACCINE
Vaccine
)
(
instance
?PUT
Putting
)
(
destination
?PUT ?HUMAN)
(
instance
?HUMAN
Human
)
(
modalAttribute
(
holdsDuring
(
FutureFn
(
WhenFn
?PUT))
(
not
(
attribute
?HUMAN ?DISEASE)))
Likely
))))
WMD.kif 1046-1059
If
an entity
is an
instance
of
vaccinatable disease
,
then there exist
another entity
,
a third entity
and
a process
such that
the other entity
is an
instance
of
vaccine
and
the process
is an
instance
of
putting
and
the process
end
s up at
the third entity
and
the third entity
is an
instance
of
human
and the statement
the entity
is not an
attribute
of
the third entity
holds
during
after
the
time
of existence of
the process
has the
modal
force
of
likely
(=>
(
instance
?DRIZZLE
Drizzling
)
(
exists
(?CLTN ?R ?SIZE)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
member
?R ?CLTN)
(
objectTransferred
?DRIZZLE ?CLTN)
(
approximateDiameter
?R
(
MeasureFn
?SIZE
Millimeter
))
(
modalAttribute
(
lessThanOrEqualTo
?SIZE 0.5)
Likely
))))
Weather.kif 2799-2811
If
a transfer
is an
instance
of
drizzling
,
then there exist
a collection
,
a self connected object
and
a real number
such that
the collection
is an
instance
of
collection
and
the self connected object
is an
instance
of
water
and
the self connected object
is an
instance
of
liquid drop
and
the self connected object
is a
member
of
the collection
and the object transferred in
the transfer
is
the collection
and the
approximate
diameter
of
the self connected object
is
the real number
millimeter
(s) and the statement
the real number
is
less
than or equal to 0.5 has the
modal
force
of
likely
(=>
(
instance
?DS
DrugStore
)
(
modalAttribute
(
exists
(?P)
(
and
(
attribute
?P
Pharmacist
)
(
employs
?DS ?P)))
Likely
))
Medicine.kif 3122-3129
If
an entity
is an
instance
of
drug store
,
then the statement there exists
another entity
such that
pharmacist
is an
attribute
of
the other entity
and
the entity
employ
s
the other entity
has the
modal
force
of
likely
(=>
(
instance
?F
FaecalibacteriumPrausnitzii
)
(
modalAttribute
(
exists
(?H ?G)
(
and
(
instance
?H
Human
)
(
instance
?G
GastroIntestinalTract
)
(
part
?G ?H)
(
located
?F ?G)))
Likely
))
Medicine.kif 5285-5294
If
an entity
is an
instance
of
faecalibacterium prausnitzii
,
then the statement there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
human
and
the third entity
is an
instance
of
GI
and
the third entity
is a
part
of
the other entity
and
the entity
is
located
at
the third entity
has the
modal
force
of
likely
(=>
(
instance
?G
ResidentialGarden
)
(
modalAttribute
(
exists
(?F)
(
and
(
instance
?F
Fence
)
(
orientation
?G ?F
Surrounded
)))
Likely
))
Mid-level-ontology.kif 8187-8193
If
an entity
is an
instance
of
residential garden
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
fence
and
the entity
is
surrounded
to
the other entity
has the
modal
force
of
likely
(=>
(
instance
?I
Intestinimonas
)
(
modalAttribute
(
exists
(?IN)
(
and
(
instance
?IN
Intestine
)
(
located
?I ?IN)))
Likely
))
Medicine.kif 4416-4423
If
an entity
is an
instance
of
intestinimonas
,
then the statement there exists
the entity
N such that
the entity
N is an
instance
of
intestine
and
the entity
is
located
at
the entity
N has the
modal
force
of
likely
(=>
(
instance
?P
Parasite
)
(
modalAttribute
(
exists
(?H ?PROC)
(
and
(
located
?P ?H)
(
involvedInEvent
?PROC ?P)
(
involvedInEvent
?PROC ?H)
(
benefits
?PROC ?P)
(
suffers
?PROC ?H)))
Likely
))
Mid-level-ontology.kif 5893-5903
If
an entity
is an
instance
of
parasite
,
then the statement there exist
another entity
and
the entity
ROC such that
the entity
is
located
at
the other entity
and
the entity
is an
involved
in event of
the entity
ROC and
the other entity
is an
involved
in event of
the entity
ROC and
the entity
is a beneficiary of
the entity
ROC and
the other entity
suffers
from
the entity
ROC has the
modal
force
of
likely
(=>
(
instance
?P
Succulent
)
(
modalAttribute
(
exists
(?D)
(
and
(
instance
?D
Drought
)
(
experiencer
?D ?P)
(
attribute
?P
Living
)))
Likely
))
Geography.kif 6286-6293
If
an entity
is an
instance
of
succulent
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
drought
and
the entity
experience
s
the other entity
and
living
is an
attribute
of
the entity
has the
modal
force
of
likely
(=>
(
instance
?PAPER
Paper
)
(
modalAttribute
(
hasPurpose
?PAPER
(
exists
(?TEXT)
(
and
(
instance
?TEXT
Text
)
(
part
?TEXT ?PAPER))))
Likely
))
Mid-level-ontology.kif 3574-3582
If
an entity
is an
instance
of
paper
,
then the statement
the entity
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
text
and
the other entity
is a
part
of
the entity
has the
modal
force
of
likely
(=>
(
instance
?PARK
Park
)
(
modalAttribute
(
exists
(?G)
(
and
(
instance
?G
Garden
)
(
located
?G ?PARK)))
Likely
))
Mid-level-ontology.kif 8115-8121
If
an entity
is an
instance
of
park
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
garden
and
the other entity
is
located
at
the entity
has the
modal
force
of
likely
(=>
(
instance
?RV
RecreationalVehicle
)
(
modalAttribute
(
exists
(?BED ?DINING ?KITCHEN)
(
and
(
instance
?BED
Bed
)
(
instance
?DINING
DiningArea
)
(
instance
?KITCHEN
KitchenArea
)
(
located
?BED ?RV)
(
located
?DINING ?RV)
(
located
?KITCHEN ?RV)))
Likely
))
Mid-level-ontology.kif 25758-25768
If
an entity
is an
instance
of
camper
,
then the statement there exist
another entity
,
a third entity
and
a fourth entity
such that
the other entity
is an
instance
of
bed
and
the third entity
is an
instance
of
dining area
and
the fourth entity
is an
instance
of
kitchen area
and
the other entity
is
located
at
the entity
and
the third entity
is
located
at
the entity
and
the fourth entity
is
located
at
the entity
has the
modal
force
of
likely
(=>
(
instance
?STORM
Storm
)
(
holdsDuring
(
WhenFn
?STORM)
(
modalAttribute
(
exists
(?P ?AREA)
(
and
(
instance
?P
Precipitation
)
(
instance
?AREA
GeographicArea
)
(
eventLocated
?P ?AREA)
(
subProcess
?P ?STORM)))
Likely
)))
Weather.kif 2889-2899
If
a physical
is an
instance
of
storm
,
then the statement there exist
an entity
and
another entity
such that
the entity
is an
instance
of
precipitation
and
the other entity
is an
instance
of
geographic area
and
the entity
is
located
at
the other entity
and
the entity
is a
subprocess
of
the physical
has the
modal
force
of
likely
holds
during
the
time
of existence of
the physical
(=>
(
instance
?TW
TapWater
)
(
modalAttribute
(
instance
?TW
(
FoodForFn
Human
))
Likely
))
Food.kif 285-289
If
an entity
is an
instance
of
tap water
,
then the statement
the entity
is an
instance
of
food
for
human
has the
modal
force
of
likely
(=>
(
instance
?X
BusinessCenter
)
(
modalAttribute
(
exists
(?COMP)
(
and
(
instance
?COMP
Computer
)
(
located
?COMP ?X)))
Likely
))
Hotel.kif 1670-1676
If
an entity
is an
instance
of
business center
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
computer
and
the other entity
is
located
at
the entity
has the
modal
force
of
likely
(=>
(
instance
?X
BusinessCenter
)
(
modalAttribute
(
exists
(?IC)
(
and
(
instance
?IC
InternetConnection
)
(
located
?IC ?X)))
Likely
))
Hotel.kif 1678-1684
If
an entity
is an
instance
of
business center
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
internet connection
and
the other entity
is
located
at
the entity
has the
modal
force
of
likely
(=>
(
instance
?X
GrabBar
)
(
modalAttribute
(
exists
(?HUMAN)
(
and
(
attribute
?HUMAN
PhysicalDisability
)
(
inScopeOfInterest
?HUMAN ?X)))
Likely
))
Mid-level-ontology.kif 26483-26489
If
an entity
is an
instance
of
grab bar
,
then the statement there exists
another entity
such that
physical disability
is an
attribute
of
the other entity
and
the other entity
is
interested
in
the entity
has the
modal
force
of
likely
(=>
(
instance
?X
Lanai
)
(
exists
(?ROOF)
(
and
(
instance
?ROOF
Roof
)
(
part
?ROOF ?X)
(
modalAttribute
(
exists
(?AREA)
(
and
(
instance
?AREA
SittingArea
)
(
located
?AREA ?X)))
Likely
))))
Mid-level-ontology.kif 26643-26653
If
an object
is an
instance
of
lanai
,
then there exists
another object
such that
the other object
is an
instance
of
roof
and
the other object
is a
part
of
the object
and the statement there exists
an entity
such that
the entity
is an
instance
of
sitting area
and
the entity
is
located
at
the object
has the
modal
force
of
likely
(=>
(
instance
?X
Patio
)
(
and
(
modalAttribute
(
attribute
?X
Paved
)
Likely
)
(
exists
(?BLDG)
(
and
(
instance
?BLDG
Building
)
(
orientation
?X ?BLDG
Adjacent
)
(
located
?X
Outdoors
)))))
Mid-level-ontology.kif 26627-26636
If
an object
is an
instance
of
patio
,
then the statement
paved
is an
attribute
of
the object
has the
modal
force
of
likely
and there exists
another object
such that
the other object
is an
instance
of
building
and
the object
is
adjacent
to
the other object
and
the object
is
located
at
outdoors
(=>
(
instance
?X
SecurityUnit
)
(
modalAttribute
(
exists
(?S)
(
and
(
instance
?S
SurveillanceSystem
)
(
inScopeOfInterest
?X ?S)))
Likely
))
Mid-level-ontology.kif 26989-26995
If
an entity
is an
instance
of
security unit
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
surveillance system
and
the entity
is
interested
in
the other entity
has the
modal
force
of
likely
(=>
(
instance
?X
TravelReservation
)
(
modalAttribute
(
exists
(?FLIGHT)
(
and
(
instance
?FLIGHT
FlightReservation
)
(
subProposition
?FLIGHT ?X)))
Likely
))
Hotel.kif 2824-2830
If
an entity
is an
instance
of
travel reservation
,
then the statement there exists
another entity
such that
the other entity
is an
instance
of
flight reservation
and
the other entity
is a
sub
-proposition of
the entity
has the
modal
force
of
likely
(=>
(
productPrice
?ENT ?PRICE ?AGENT)
(
modalAttribute
(=>
(
and
(
instance
?S
Selling
)
(
immediateInstance
?I ?ENT)
(
patient
?S ?I)
(
agent
?S ?AGENT))
(
transactionAmount
?S ?PRICE))
Likely
))
Catalog.kif 419-428
If
a cognitive agent
sells
a kind of entity
for
a currency measure
,
then the statement
if
another entity
is an
instance
of
selling
and
a third entity
is an
immediate
instance of
a kind of entity
and
the third entity
is a
patient
of
the other entity
and
the cognitive agent
is an
agent
of
the other entity
,
then
the currency measure
is a
transaction
amount of
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