patient
(=>
(
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 2730-2744
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 1190-1205
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
?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 11673-11685
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 17051-17063
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 1417-1436
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 1395-1413
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 12910-12920
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 10728-10740
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
the agent
is not
equal
to
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 3447-3476
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 4301-4314
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 25264-25275
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 25252-25262
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 11539-11547
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 12178-12188
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 25840-25852
If
an object
is an
instance
of
knock light
and
an agent
is an
instance
of
human
and
deaf
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 25821-25838
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 16882-16893
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 6000-6011
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
(=>
(
and
(
instance
?L
LayingEggs
)
(
experiencer
?L ?A))
(
exists
(?E)
(
and
(
instance
?E
Egg
)
(
patient
?L ?E)
(
holdsDuring
(
BeginFn
(
WhenFn
?L))
(
part
?E ?A))
(
holdsDuring
(
EndFn
(
WhenFn
?L))
(
not
(
part
?E ?A))))))
Mid-level-ontology.kif 24116-24129
If
a process
is an
instance
of
laying eggs
and
an agent
experience
s
the process
,
then there exists
an entity
such that
the entity
is an
instance
of
egg
and
the entity
is a
patient
of
the process
and
the entity
is a
part
of
the agent
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not a
part
of
the agent
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?LEND
Lending
)
(
agent
?LEND ?AGENT2)
(
destination
?LEND ?AGENT1)
(
patient
?LEND ?OBJECT))
(
exists
(?BORROW)
(
and
(
instance
?BORROW
Borrowing
)
(
agent
?BORROW ?AGENT1)
(
origin
?BORROW ?AGENT2)
(
patient
?BORROW ?OBJECT))))
Merge.kif 11744-11755
If
a process
is an
instance
of
lending
and
an agent
is an
agent
of
the process
and
the process
end
s up at
another agent
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
borrowing
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
?LF
LoginFailure
)
(
agent
?LF ?A)
(
hasAccount
?A ?AC))
(
holdsDuring
(
WhenFn
?LF)
(
not
(
exists
(?L)
(
and
(
agent
?L ?A)
(
instance
?L
LoggingIn
)
(
patient
?L ?AC))))))
ComputingBrands.kif 4009-4020
If
a process
is an
instance
of
login failure
and
an agent
is an
agent
of
the process
and
the agent
has
account
the agent
C,
then there doesn't exist
an entity
such that
the agent
is an
agent
of
the entity
and
the entity
is an
instance
of
logging in
and
the agent
C is a
patient
of
the entity
holds
during
the
time
of existence of
the process
(=>
(
and
(
instance
?LI
LoggingIn
)
(
hasAccount
?U ?A)
(
accountAtSite
?A ?S)
(
equal
?T
(
ImmediateFutureFn
(
WhenFn
?LI)))
(
agent
?LI ?U))
(
modalAttribute
(
holdsDuring
?T
(
exists
(?P)
(
and
(
instance
?P
ComputerProcess
)
(
agent
?P ?U)
(
patient
?P ?S))))
Possibility
))
ComputingBrands.kif 3972-3986
If
a process
is an
instance
of
logging in
and
an agent
has
account
an user account
and
the user account
is an
account
at
a web site
and
a time interval
is
equal
to immediately
after
the
time
of existence of
the process
and
the agent
is an
agent
of
the process
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
computer process
and
the agent
is an
agent
of
the entity
and
the web site
is a
patient
of
the entity
holds
during
the time interval
has the
modal
force
of
possibility
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