patient
(=>
(
and
(
instance
?F
Food
)
(
attribute
?F
DecafAttribute
)
(
piece
?C ?F)
(
instance
?C
Caffeine
))
(
exists
(?R)
(
and
(
instance
?R
Removing
)
(
destination
?R ?F)
(
patient
?R ?C))))
Food.kif 425-435
If
a substance
is an
instance
of
food
and
decaf
is an
attribute
of
the substance
and
another substance
is a
piece
of
the substance
and
the other substance
is an
instance
of
caffeine
,
then there exists
a process
such that
the process
is an
instance
of
removing
and
the process
end
s up at
the substance
and
the other substance
is a
patient
of
the process
(=>
(
and
(
instance
?F
FourStrokeExhaust
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?E ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?E
Exhaust
)
(
subProcess
?M ?F)
(
origin
?M ?I)
(
patient
?M ?E))))
Cars.kif 225-238
If
a process
is an
instance
of
four stroke exhaust
and
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
equal
the object
and the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then there exist
an entity
and
another process
such that
the other process
is an
instance
of
gas motion
and
the entity
is an
instance
of
exhaust
and
the other process
is a
subprocess
of
the process
and
the other process
originate
s at
the hole
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?F
FourStrokeIntake
)
(
instance
?C
EngineCylinder
)
(
instance
?I
InternalCombustionChamber
)
(
equal
?C
(
HoleHostFn
?I))
(
eventLocated
?F ?C))
(
exists
(?FV ?M)
(
and
(
instance
?M
GasMotion
)
(
instance
?FV
FuelVapor
)
(
subProcess
?M ?F)
(
destination
?M ?I)
(
patient
?M ?FV))))
Cars.kif 171-184
If
a process
is an
instance
of
four stroke intake
and
an object
is an
instance
of
engine cylinder
and
a hole
is an
instance
of
internal combustion chamber
and
equal
the object
and the
host
of the hole
the hole
and
the process
is
located
at
the object
,
then there exist
the process
V and
another process
such that
the other process
is an
instance
of
gas motion
and
the process
V is an
instance
of
fuel vapor
and
the other process
is a
subprocess
of
the process
and
the other process
end
s up at
the hole
and
the process
V is a
patient
of
the other process
(=>
(
and
(
instance
?FB
FanBelt
)
(
instance
?EF
EngineFan
)
(
instance
?A
Automobile
)
(
part
?FB ?A)
(
part
?EF ?A)
(
instance
?M
Motion
)
(
patient
?M ?FB))
(
hasPurpose
?FB
(
exists
(?M2)
(
and
(
instance
?M2
Rotating
)
(
causes
?M ?M2)
(
patient
?M2 ?EF)))))
Cars.kif 2714-2728
If
an object
is an
instance
of
fan belt
and
another object
is an
instance
of
engine fan
and
a third object
is an
instance
of
automobile
and
the object
is a
part
of
the third object
and
the other object
is a
part
of
the third object
and
a process
is an
instance
of
motion
and
the object
is a
patient
of
the process
,
then
the object
has the purpose there exists
the process
2 such that
the process
2 is an
instance
of
rotating
and
the process
cause
s
the process
2 and
the other object
is a
patient
of
the process
2
(=>
(
and
(
instance
?FM
FoamingMilk
)
(
instance
?M
ProcessedMilk
)
(
patient
?FM ?M))
(
exists
(?H ?A ?B)
(
and
(
instance
?H
Heating
)
(
patient
?H ?M)
(
instance
?A
Aerating
)
(
patient
?A ?M)
(
result
?A ?B)
(
instance
?B
Bubble
)
(
during
(
WhenFn
?A)
(
WhenFn
?H)))))
Food.kif 1191-1206
If
a process
is an
instance
of
foaming milk
and
an entity
is an
instance
of
processed milk
and
the entity
is a
patient
of
the process
,
then there exist
another process
,
a third process
and
another entity
such that
the other process
is an
instance
of
heating
and
the entity
is a
patient
of
the other process
and
the third process
is an
instance
of
aerating
and
the entity
is a
patient
of
the third process
and
the other entity
is a
result
of
the third process
and
the other entity
is an
instance
of
bubble
and the
time
of existence of
the third process
takes place
during
the
time
of existence of
the other process
(=>
(
and
(
instance
?G
Substance
)
(
attribute
?G
OxidizingSubstance
))
(
exists
(?R)
(
and
(
instance
?R
Releasing
)
(
patient
?R
Oxygen
)
(
capability
Releasing
origin
?G)
(
modalAttribute
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
causes
?R ?C)))
Possibility
))))
Transportation.kif 4180-4193
If
an object
is an
instance
of
substance
and
oxidizing substance
is an
attribute
of
the object
,
then there exists
a process
such that
the process
is an
instance
of
releasing
and
oxygen
is a
patient
of
the process
and
the object
is
capable
of doing
releasing
as a
origin
and the statement there exists
an entity
such that
the entity
is an
instance
of
burning
and
the process
cause
s
the entity
has the
modal
force
of
possibility
(=>
(
and
(
instance
?GIVE
Giving
)
(
agent
?GIVE ?AGENT1)
(
destination
?GIVE ?AGENT2)
(
instance
?AGENT2
AutonomousAgent
)
(
patient
?GIVE ?OBJ))
(
exists
(?GET)
(
and
(
instance
?GET
Getting
)
(
agent
?GET ?AGENT2)
(
origin
?GET ?AGENT1)
(
patient
?GET ?OBJ))))
Merge.kif 11823-11835
If
a process
is an
instance
of
giving
and
an agent
is an
agent
of
the process
and
the process
end
s up at
another agent
and
the other agent
is an
instance
of
agent
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
getting
and
the other agent
is an
agent
of
the other process
and
the other process
originate
s at
the agent
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?GOAL
GameGoal
)
(
instrument
?GAME ?GOAL)
(
instance
?GAME
Game
)
(
subProcess
?SCORE ?GAME)
(
instance
?SCORE
Score
))
(
exists
(?PIECE ?TIME)
(
and
(
instance
?PIECE
GamePiece
)
(
patient
?SCORE ?PIECE)
(
temporalPart
?TIME
(
WhenFn
?SCORE))
(
holdsDuring
?TIME
(
located
?PIECE ?GOAL)))))
Mid-level-ontology.kif 18438-18450
If
an object
is an
instance
of
game goal
and
the object
is an
instrument
for
a process
and
the process
is an
instance
of
game
and
another process
is a
subprocess
of
the process
and
the other process
is an
instance
of
score
,
then there exist
an entity
and
a time position
such that
the entity
is an
instance
of
game piece
and
the entity
is a
patient
of
the other process
and
the time position
is a
part
of the
time
of existence of
the other process
and
the entity
is
located
at
the object
holds
during
the time position
(=>
(
and
(
instance
?GUIDE
GuidingMotion
)
(
patient
?GUIDE ?MOVED)
(
subProcess
?MOTION ?GUIDE)
(
instance
?MOTION
Motion
))
(
patient
?MOTION ?MOVED))
ComputerInput.kif 85-91
If
a process
is an
instance
of
guiding motion
and
an entity
is a
patient
of
the process
and
another process
is a
subprocess
of
the process
and
the other process
is an
instance
of
motion
,
then
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?GUIDE
GuidingMotion
)
(
subProcess
?MOTION ?GUIDE)
(
instance
?MOTION
Motion
)
(
patient
?MOTION ?MOVED))
(
patient
?GUIDE ?MOVED))
ComputerInput.kif 93-99
If
a process
is an
instance
of
guiding motion
and
another process
is a
subprocess
of
the process
and
the other process
is an
instance
of
motion
and
an entity
is a
patient
of
the other process
,
then
the entity
is a
patient
of
the process
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
instance
?O
Organism
)
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?KILLING)
(
capability
(
KappaFn
?KILLING
(
and
(
instance
?KILLING
Killing
)
(
patient
?KILLING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1634-1653
If
a device
is an
instance
of
gun
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
effective
range of
the device
and the
distance
between
the device
and
an object
is
the real number
1
the unit of measure
(s) and
the object
is an
instance
of
organism
and there doesn't exist
the object
2 such that
the object
2 is
between
the object
and
the device
and
the real number
1 is
less
than or equal to
the real number
,
then there exists
a symbolic string
such that
the device
is
capable
of doing the
class
described by
the symbolic string
as a
instrument
(=>
(
and
(
instance
?GUN
Gun
)
(
instance
?U
UnitOfLength
)
(
effectiveRange
?GUN
(
MeasureFn
?LM ?U))
(
distance
?GUN ?O
(
MeasureFn
?LM1 ?U))
(
not
(
exists
(?O2)
(
between
?O ?O2 ?GUN)))
(
lessThanOrEqualTo
?LM1 ?LM))
(
exists
(?DAMAGING)
(
capability
(
KappaFn
?DAMAGING
(
and
(
instance
?DAMAGING
Damaging
)
(
patient
?DAMAGING ?O)))
instrument
?GUN)))
Mid-level-ontology.kif 1612-1630
If
a device
is an
instance
of
gun
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
effective
range of
the device
and the
distance
between
the device
and
an object
is
the real number
1
the unit of measure
(s) and there doesn't exist
the object
2 such that
the object
2 is
between
the object
and
the device
and
the real number
1 is
less
than or equal to
the real number
,
then there exists
a symbolic string
such that
the device
is
capable
of doing the
class
described by
the symbolic string
as a
instrument
(=>
(
and
(
instance
?H
Hunting
)
(
patient
?H ?P))
(
hasPurpose
?H
(
exists
(?PROC)
(
and
(
patient
?PROC ?P)
(
or
(
instance
?PROC
Confining
)
(
instance
?PROC
Killing
))))))
Merge.kif 13064-13074
If
a process
is an
instance
of
hunting
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there exists
the entity
ROC such that
the entity
is a
patient
of
the entity
ROC and
the entity
ROC is an
instance
of
confining
or
the entity
ROC is an
instance
of
killing
(=>
(
and
(
instance
?HB
HeartBeat
)
(
patient
?HB ?H)
(
instance
?H
Heart
))
(
exists
(?MC ?MR)
(
and
(
instance
?MC
MuscularContraction
)
(
patient
?MC ?H)
(
instance
?MR
MuscleRelaxing
)
(
patient
?MR ?H)
(
subProcess
?MC ?HB)
(
subProcess
?MR ?HB))))
Mid-level-ontology.kif 12059-12071
If
a process
is an
instance
of
heart beat
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
heart
,
then there exist
another process
and
a third process
such that
the other process
is an
instance
of
muscular contraction
and
the entity
is a
patient
of
the other process
and
the third process
is an
instance
of
muscle relaxing
and
the entity
is a
patient
of
the third process
and
the other process
is a
subprocess
of
the process
and
the third process
is a
subprocess
of
the process
(=>
(
and
(
instance
?HELPING
Helping
)
(
agent
?HELPING ?AGENT)
(
result
?HELPING ?RESULT))
(
exists
(?PATIENT)
(
and
(
not
(
equal
?AGENT ?PATIENT))
(
or
(
patient
?HELPING ?PATIENT)
(
experiencer
?HELPING ?PATIENT))
(
wants
?PATIENT ?RESULT))))
MilitaryProcesses.kif 1419-1431
If
a process
is an
instance
of
helping
and
an agent
is an
agent
of
the process
and
a physical
is a
result
of
the process
,
then there exists
a cognitive agent
such that
equal
the agent
and
the cognitive agent
and
the cognitive agent
is a
patient
of
the process
or
the cognitive agent
experience
s
the process
and
the cognitive agent
want
s
the physical
(=>
(
and
(
instance
?HP
HearingProtection
)
(
instance
?PERSON
Human
)
(
wears
?PERSON ?HP))
(
hasPurpose
?HP
(
exists
(?PROC ?INJ ?I)
(
and
(
instance
?PROC
Process
)
(
subclass
?INJ
(
KappaFn
?I
(
and
(
instance
?I
Injuring
)
(
exists
(?SOUND ?HEAR ?HUMAN ?T)
(
and
(
instance
?SOUND
RadiatingSound
)
(
instance
?HEAR
Hearing
)
(
instance
?HUMAN
Human
)
(
patient
?HEAR ?SOUND)
(
experiencer
?HEAR ?HUMAN)
(
causes
?HEAR ?I)
(
experiencer
?I ?HUMAN)
(=>
(
holdsDuring
?T
(
experiencer
?I ?PERSON))
(
not
(
holdsDuring
?T
(
patient
?PROC ?PERSON)))))))))
(
prevents
?PROC ?INJ)
(
instrument
?PROC ?HP)))))
Cars.kif 3508-3537
If
a wearable item
is an
instance
of
hearing protection
and
an animal
is an
instance
of
human
and
the animal
wear
s
the wearable item
,
then
the wearable item
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
process
and
the other entity
is a
subclass
of the
class
described by
the third entity
and
the entity
prevent
s the occurrence of
the other entity
and
the wearable item
is an
instrument
for
the entity
(=>
(
and
(
instance
?HR
Reel
)
(
instance
?K
Keeping
)
(
instance
?H
CorpuscularObject
)
(
attribute
?H
LongAndThin
)
(
attribute
?H
Pliable
)
(
instrument
?K ?HR)
(
patient
?K ?H))
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
patient
?R ?HR)
(
subProcess
?R ?K))))
Cars.kif 4362-4375
If
an object
is an
instance
of
reel
and
a process
is an
instance
of
keeping
and
another object
is an
instance
of
corpuscular object
and
long and thin
is an
attribute
of
the other object
and
pliable
is an
attribute
of
the other object
and
the object
is an
instrument
for
the process
and
the other object
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
rotating
and
the object
is a
patient
of
the other process
and
the other process
is a
subprocess
of
the process
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ)
(
part
?FABRIC ?OBJ)
(
instance
?FABRIC
Fabric
))
(
exists
(?IRON ?HEAT)
(
and
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
instance
?IRON
FabricIron
)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 26926-26937
If
a process
is an
instance
of
ironing
and
an object
is a
patient
of
the process
and
another object
is a
part
of
the object
and
the other object
is an
instance
of
fabric
,
then there exist
the process
RON and
another process
such that
the other process
is an
instance
of
heating
and
the process
RON is a
patient
of
the other process
and
the process
RON is an
instance
of
iron
and
the process
RON is an
instrument
for
the process
(=>
(
and
(
instance
?I
Ironing
)
(
patient
?I ?OBJ))
(
exists
(?HEAT ?IRON ?PART)
(
and
(
superficialPart
?PART ?OBJ)
(
instance
?HEAT
Heating
)
(
patient
?HEAT ?IRON)
(
patient
?I ?PART)
(
instrument
?I ?IRON))))
Mid-level-ontology.kif 26914-26924
If
a process
is an
instance
of
ironing
and
an object
is a
patient
of
the process
,
then there exist
another process
,
the process
RON and
a third object
such that
the third object
is a
superficial
part of
the object
and
the other process
is an
instance
of
heating
and
the process
RON is a
patient
of
the other process
and
the third object
is a
patient
of
the process
and
the process
RON is an
instrument
for
the process
(=>
(
and
(
instance
?IMPACT
Impacting
)
(
patient
?IMPACT ?OBJ))
(
exists
(?IMPEL)
(
and
(
instance
?IMPEL
Impelling
)
(
patient
?IMPEL ?OBJ)
(
earlier
(
WhenFn
?IMPEL)
(
WhenFn
?IMPACT)))))
Merge.kif 11689-11697
If
a process
is an
instance
of
impacting
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
impelling
and
the entity
is a
patient
of
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?KEEP
Keeping
)
(
agent
?KEEP ?AGENT)
(
patient
?KEEP ?OBJ))
(
exists
(?PUT)
(
and
(
instance
?PUT
Putting
)
(
agent
?PUT ?AGENT)
(
patient
?PUT ?OBJ)
(
earlier
(
WhenFn
?PUT)
(
WhenFn
?KEEP)))))
Merge.kif 12328-12338
If
a process
is an
instance
of
keeping
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
putting
and
the agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?KL
KnockLight
)
(
instance
?A
Human
)
(
attribute
?A
Deaf
)
(
uses
?KL ?A))
(
hasPurpose
?KL
(
exists
(?KNOCK ?DOOR)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
instance
?DOOR
Door
)
(
knows
?A ?KNOCK)))))
Mid-level-ontology.kif 27738-27750
If
an object
is an
instance
of
knock light
and
an agent
is an
instance
of
human
and
deafness
is an
attribute
of
the agent
and
the agent
use
s
the object
,
then
the object
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
impacting
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
door
and
the agent
know
s
the entity
(=>
(
and
(
instance
?KL
KnockLight
)
(
located
?KL ?ROOM)
(
instance
?ROOM
Room
)
(
instance
?DOOR
Door
)
(
part
?DOOR ?ROOM))
(
hasPurpose
?KL
(
exists
(?KNOCK ?SOUND ?LIGHT)
(
and
(
instance
?KNOCK
Impacting
)
(
patient
?KNOCK ?DOOR)
(
causes
?KNOCK ?SOUND)
(
instance
?SOUND
RadiatingSound
)
(
agent
?SOUND ?DOOR)
(
causes
?SOUND ?LIGHT)
(
instance
?LIGHT
RadiatingVisibleLight
)
(
instrument
?LIGHT ?KL)))))
Mid-level-ontology.kif 27719-27736
If
a physical
is an
instance
of
knock light
and
the physical
is
located
at
an object
and
the object
is an
instance
of
room
and
another object
is an
instance
of
door
and
the other object
is a
part
of
the object
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
impacting
and
the other object
is a
patient
of
the entity
and
the entity
cause
s
the other entity
and
the other entity
is an
instance
of
radiating sound
and
the other object
is an
agent
of
the other entity
and
the other entity
cause
s
the third entity
and
the third entity
is an
instance
of
radiating visible light
and
the physical
is an
instrument
for
the third entity
(=>
(
and
(
instance
?L
DriversLicense
)
(
possesses
?A ?L))
(
confersNorm
?L
(
exists
(?D ?V)
(
and
(
instance
?D
Driving
)
(
agent
?D ?A)
(
patient
?D ?V)
(
instance
?V
RoadVehicle
)))
Permission
))
Mid-level-ontology.kif 18269-18280
If
an object
is an
instance
of
drivers license
and
an agent
possess
es
the object
,
then
the object
confers
norm there exist
an entity
and
another entity
such that
the entity
is an
instance
of
driving
and
the agent
is an
agent
of
the entity
and
the other entity
is a
patient
of
the entity
and
the other entity
is an
instance
of
road vehicle
for
permission
(=>
(
and
(
instance
?L
Lathe
)
(
instance
?OBJ
Object
)
(
instrument
?PROC ?L)
(
patient
?PROC ?OBJ))
(
exists
(?R)
(
and
(
instance
?R
Rotating
)
(
subProcess
?PROC ?R)
(
patient
?R ?OBJ)
(
agent
?R ?L))))
Economy.kif 6398-6409
If
an agent
is an
instance
of
lathe
and
an entity
is an
instance
of
object
and
the agent
is an
instrument
for
a process
and
the entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
rotating
and
the process
is a
subprocess
of
the other process
and
the entity
is a
patient
of
the other process
and
the agent
is an
agent
of
the other process
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
