resource
(=>
(
instance
?PROCESS
SoilSalination
)
(
exists
(?SOIL)
(
and
(
instance
?SOIL
Soil
)
(
resource
?PROCESS ?SOIL))))
Geography.kif 2954-2959
If
a process
is an
instance
of
soil salination
,
then there exists
an object
such that
the object
is an
instance
of
soil
and
the object
is a
resource
for
the process
(=>
(
instance
?R
(
OperatingFn
GasolineEngine
))
(
exists
(?F)
(
and
(
instance
?F
Gasoline
)
(
resource
?R ?F))))
Mid-level-ontology.kif 23604-23609
If
a process
is an
instance
of the
operating
of
gasoline engine
,
then there exists
an object
such that
the object
is an
instance
of
gasoline
and
the object
is a
resource
for
the process
(=>
(
instance
?R
Rum
)
(
exists
(?D ?S)
(
and
(
instance
?D
Distilling
)
(
instance
?S
SugarCane
)
(
resource
?D ?S)
(
result
?D ?R))))
Food.kif 3339-3346
If
an entity
is an
instance
of
rum
,
then there exist
a process
and
an object
such that
the process
is an
instance
of
distilling
and
the object
is an
instance
of
sugar cane
and
the object
is a
resource
for
the process
and
the entity
is a
result
of
the process
(=>
(
instance
?S
Sake
)
(
exists
(?R ?F)
(
and
(
instance
?F
Fermentation
)
(
resource
?F ?R)
(
instance
?R
Rice
)
(
result
?F ?S))))
Medicine.kif 3479-3486
If
an entity
is an
instance
of
sake
,
then there exist
an object
and
a process
such that
the process
is an
instance
of
fermentation
and
the object
is a
resource
for
the process
and
the object
is an
instance
of
Rice
and
the entity
is a
result
of
the process
(=>
(
instance
?S
Schnapps
)
(
exists
(?D ?F)
(
and
(
instance
?D
Distilling
)
(
instance
?F
Fruit
)
(
resource
?D ?F)
(
result
?D ?S))))
Food.kif 3368-3375
If
an entity
is an
instance
of
schnapps
,
then there exist
a process
and
an object
such that
the process
is an
instance
of
distilling
and
the object
is an
instance
of
fruit
and
the object
is a
resource
for
the process
and
the entity
is a
result
of
the process
(=>
(
instance
?S
Silk
)
(
exists
(?M ?T ?I)
(
and
(
instance
?M
Making
)
(
result
?M ?S)
(
resource
?M ?T)
(
part
?T ?I)
(
instance
?I
Insect
)
(
attribute
?I
Larval
))))
Mid-level-ontology.kif 5391-5400
If
an entity
is an
instance
of
silk
,
then there exist
a process
,
an object
and
another object
such that
the process
is an
instance
of
making
and
the entity
is a
result
of
the process
and
the object
is a
resource
for
the process
and
the object
is a
part
of
the other object
and
the other object
is an
instance
of
insect
and
larval
is an
attribute
of
the other object
(=>
(
instance
?S
WearingFrictionSurface
)
(
hasPurpose
?S
(
exists
(?F)
(
and
(
instance
?F
Friction
)
(
resource
?F ?S)))))
Cars.kif 588-594
If
a physical
is an
instance
of
wearing friction surface
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
friction
and
the physical
is a
resource
for
the entity
(=>
(
instance
?SALT
SodiumChloride
)
(
exists
(?SYNTHESIS ?SODIUM ?CHLORINE)
(
and
(
instance
?SYNTHESIS
ChemicalSynthesis
)
(
resource
?SYNTHESIS ?SODIUM)
(
instance
?SODIUM
Sodium
)
(
resource
?SYNTHESIS ?CHLORINE)
(
instance
?CHLORINE
Chlorine
)
(
result
?SYNTHESIS ?SALT))))
Mid-level-ontology.kif 8754-8763
If
an entity
is an
instance
of
salt
,
then there exist
a process
,
an object
and
another object
such that
the process
is an
instance
of
chemical synthesis
and
the object
is a
resource
for
the process
and
the object
is an
instance
of
sodium
and
the other object
is a
resource
for
the process
and
the other object
is an
instance
of
chlorine
and
the entity
is a
result
of
the process
(=>
(
instance
?SMOKING
Smoking
)
(
exists
(?BURN ?CIGAR ?BREATHE ?SMOKE)
(
and
(
subProcess
?BURN ?SMOKING)
(
instance
?BURN
Combustion
)
(
resource
?BURN ?CIGAR)
(
instance
?CIGAR
CigarOrCigarette
)
(
result
?BURN ?SMOKE)
(
patient
?BREATHE ?SMOKE)
(
instance
?BREATHE
Breathing
)
(
subProcess
?BREATHE ?SMOKING))))
Mid-level-ontology.kif 16071-16082
If
a process
is an
instance
of
smoking
,
then there exist
another process
,
an object
,, ,
a third process
and
an entity
such that
the other process
is a
subprocess
of
the process
and
the other process
is an
instance
of
burning
and
the object
is a
resource
for
the other process
and
the object
is an
instance
of
cigar or cigarette
and
the entity
is a
result
of
the other process
and
the entity
is a
patient
of
the third process
and
the third process
is an
instance
of
breathing
and
the third process
is a
subprocess
of
the process
(=>
(
instance
?SOAK
Soaking
)
(
exists
(?WATER ?OBJ)
(
and
(
instance
?OBJ
Object
)
(
patient
?SOAK ?OBJ)
(
instance
?WATER
FreshWater
)
(
resource
?SOAK ?WATER)
(
holdsDuring
?SOAK
(
orientation
?OBJ ?WATER
Surrounded
)))))
Mid-level-ontology.kif 26527-26536
If
a process
is an
instance
of
soaking
,
then there exist
an object
and
an entity
such that
the entity
is an
instance
of
object
and
the entity
is a
patient
of
the process
and
the object
is an
instance
of
freshwater
and
the object
is a
resource
for
the process
and
the entity
is
surrounded
to
the object
holds
during
the process
(=>
(
instance
?STEAKHOUSE
Steakhouse
)
(
exists
(?SERVICE ?STEAK ?BEEF ?COOK)
(
and
(
instance
?COOK
Cooking
)
(
instance
?BEEF
Beef
)
(
resource
?COOK ?BEEF)
(
result
?COOK ?STEAK)
(
instance
?SERVICE
CommercialService
)
(
agent
?SERVICE ?STEAKHOUSE)
(
instance
?SERVICE
Selling
)
(
patient
?SERVICE ?STEAK))))
Dining.kif 88-99
If
an agent
is an
instance
of
steakhouse
,
then there exist
a process
,
an entity
,, ,
an object
and
another process
such that
the other process
is an
instance
of
cooking
and
the object
is an
instance
of
beef
and
the object
is a
resource
for
the other process
and
the entity
is a
result
of
the other process
and
the process
is an
instance
of
commercial service
and
the agent
is an
agent
of
the process
and
the process
is an
instance
of
selling
and
the entity
is a
patient
of
the process
(=>
(
instance
?T
Tequila
)
(
exists
(?D ?B)
(
and
(
instance
?D
Distilling
)
(
instance
?B
BlueAgave
)
(
resource
?D ?B)
(
result
?D ?T))))
Food.kif 3495-3502
If
an entity
is an
instance
of
tequila
,
then there exist
a process
and
an object
such that
the process
is an
instance
of
distilling
and
the object
is an
instance
of
blue agave
and
the object
is a
resource
for
the process
and
the entity
is a
result
of
the process
(=>
(
instance
?V
Vodka
)
(
exists
(?D ?CG)
(
and
(
instance
?D
Distilling
)
(
instance
?CG
CerealGrain
)
(
resource
?D ?CG)
(
result
?D ?V))))
Food.kif 3595-3602
If
an entity
is an
instance
of
vodka
,
then there exist
a process
and
an object
such that
the process
is an
instance
of
distilling
and
the object
is an
instance
of
cereal grain
and
the object
is a
resource
for
the process
and
the entity
is a
result
of
the process
(=>
(
instance
?W
WatercolorPicture
)
(
exists
(?WP ?P)
(
and
(
instance
?WP
WatercolorPaint
)
(
instance
?P
Painting
)
(
resource
?P ?WP)
(
result
?P ?W))))
Mid-level-ontology.kif 3112-3119
If
an entity
is an
instance
of
watercolor picture
,
then there exist
the entity
P and
a process
such that
the entity
P is an
instance
of
watercolor paint
and
the process
is an
instance
of
painting
and
the entity
P is a
resource
for
the process
and
the entity
is a
result
of
the process
(=>
(
instance
?W
Whiskey
)
(
exists
(?D ?CG)
(
and
(
instance
?D
Distilling
)
(
instance
?CG
CerealGrain
)
(
resource
?D ?CG)
(
result
?D ?W))))
Food.kif 3608-3615
If
an entity
is an
instance
of
whiskey
,
then there exist
a process
and
an object
such that
the process
is an
instance
of
distilling
and
the object
is an
instance
of
cereal grain
and
the object
is a
resource
for
the process
and
the entity
is a
result
of
the process
(=>
(
instance
?W
Wool
)
(
exists
(?M ?H ?S)
(
and
(
instance
?M
Making
)
(
result
?M ?W)
(
resource
?M ?H)
(
part
?H ?S)
(
instance
?H
Hair
)
(
instance
?S
Sheep
))))
Mid-level-ontology.kif 5405-5414
If
an entity
is an
instance
of
wool
,
then there exist
a process
,
an object
and
another object
such that
the process
is an
instance
of
making
and
the entity
is a
result
of
the process
and
the object
is a
resource
for
the process
and
the object
is a
part
of
the other object
and
the object
is an
instance
of
hair
and
the other object
is an
instance
of
sheep
(=>
(
instance
?WATER
Water
)
(
exists
(?SYNTHESIS ?HYDROGEN ?OXYGEN)
(
and
(
instance
?SYNTHESIS
ChemicalSynthesis
)
(
resource
?SYNTHESIS ?HYDROGEN)
(
instance
?HYDROGEN
Hydrogen
)
(
resource
?SYNTHESIS ?OXYGEN)
(
instance
?OXYGEN
Oxygen
)
(
result
?SYNTHESIS ?WATER))))
Mid-level-ontology.kif 8782-8791
If
an entity
is an
instance
of
water
,
then there exist
a process
,
an object
and
another object
such that
the process
is an
instance
of
chemical synthesis
and
the object
is a
resource
for
the process
and
the object
is an
instance
of
hydrogen
and
the other object
is a
resource
for
the process
and
the other object
is an
instance
of
oxygen
and
the entity
is a
result
of
the process
(=>
(
instance
?X
(
JuiceOfFn
?Y))
(
exists
(?Z ?P)
(
and
(
instance
?Z ?Y)
(
instance
?P
Motion
)
(
resource
?P ?Z)
(
result
?P ?X))))
Food.kif 2603-2610
If
an entity
is an
instance
of the
juice
of
a kind of fruit or vegetable
,
then there exist
an object
and
a process
such that
the object
is an
instance
of
a kind of fruit or vegetable
and
the process
is an
instance
of
motion
and
the object
is a
resource
for
the process
and
the entity
is a
result
of
the process
(=>
(
instance
?X
BusinessCenter
)
(
hasPurpose
?X
(
exists
(?PERSON ?WORK ?OBJ)
(
and
(
attribute
?PERSON
BusinessPerson
)
(
instance
?WORK
Working
)
(
instance
?OBJ
Object
)
(
located
?OBJ ?X)
(
agent
?WORK ?PERSON)
(
or
(
instrument
?WORK ?OBJ)
(
resource
?WORK ?OBJ)
(
patient
?WORK ?OBJ))))))
Hotel.kif 1655-1668
If
a physical
is an
instance
of
business center
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
business person
is an
attribute
of
the entity
and
the other entity
is an
instance
of
working
and
the third entity
is an
instance
of
object
and
the third entity
is
located
at
the physical
and
the entity
is an
agent
of
the other entity
and
the third entity
is an
instrument
for
the other entity
or
the third entity
is a
resource
for
the other entity
or
the third entity
is a
patient
of
the other entity
(=>
(
instance
?X
FrenchPressingCoffee
)
(
exists
(?W)
(
and
(
instance
?W
DrinkingWater
)
(
resource
?W ?X)
(
measure
?W
(
MeasureFn
90
CelsiusDegree
)))))
Food.kif 862-869
If
an object
is an
instance
of
French press coffee
,
then there exists
a process
such that
the process
is an
instance
of
potable water
and
the object
is a
resource
for
the process
and the
measure
of
the process
is 90
celsius degree
(s)
(=>
(
instance
?X
Paper
)
(
exists
(?MAKE ?CELL ?PRESS)
(
and
(
instance
?MAKE
Making
)
(
instance
?CELL
Cellulose
)
(
instance
?PRESS
Compressing
)
(
resource
?MAKE ?CELL)
(
result
?MAKE ?X)
(
subProcess
?MAKE ?PRESS)
(
patient
?PRESS ?CELL))))
Mid-level-ontology.kif 3562-3572
If
an entity
is an
instance
of
paper
,
then there exist
a process
,
an object
and
another process
such that
the process
is an
instance
of
making
and
the object
is an
instance
of
cellulose
and
the other process
is an
instance
of
compressing
and
the object
is a
resource
for
the process
and
the entity
is a
result
of
the process
and
the process
is a
subprocess
of
the other process
and
the object
is a
patient
of
the other process
(=>
(
medicine
?MC ?D)
(
exists
(?DOC)
(
and
(
instance
?DOC
MedicalDoctor
)
(
believes
?DOC
(
exists
(?T ?H ?M)
(
and
(
instance
?M ?MC)
(
instance
?T
TherapeuticProcess
)
(
instance
?H
Human
)
(
patientMedical
?H ?DOC)
(
resource
?T ?M)
(
benefits
?T ?H)))))))
Mid-level-ontology.kif 9652-9665
If
a kind of medicine
is medicine for
a disease or syndrome
,
then there exists
the disease or syndrome
OC such that
the disease or syndrome
OC is an
instance
of
medical doctor
and
the disease or syndrome
OC
believe
s there exist
an entity
,
another entity
and
a third entity
such that
the third entity
is an
instance
of
a kind of medicine
and
the entity
is an
instance
of
therapeutic process
and
the other entity
is an
instance
of
human
and
the disease or syndrome
OC is a
patient
medical of
the other entity
and
the third entity
is a
resource
for
the entity
and
the other entity
is a beneficiary of
the entity
(=>
(
property
?PROCESS
ChemicalEquilibrium
)
(
exists
(?RATIO ?TIME ?RESOURCE ?RESULT)
(=>
(
and
(
holdsDuring
?TIME
(
resource
?PROCESS ?RESOURCE))
(
holdsDuring
?TIME
(
result
?PROCESS ?RESULT)))
(
equal
?RATIO
(
DivisionFn
?RESOURCE ?RESULT)))))
Mid-level-ontology.kif 19635-19642
If
an entity
the
attribute
chemical equilibrium
,
then there exist
a real number
,
a time position
,, ,
another real number
and
a third real number
such that
if
the other real number
is a
resource
for
the entity
holds
during
the time position
and
the third real number
is a
result
of
the entity
holds
during
the time position
,
then
the real number
is
equal
to
the other real number
and
the third real number
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