patient
(=>
(
and
(
instance
?D
Dodging
)
(
agent
?D ?A)
(
equal
?DT
(
WhenFn
?D)))
(
hasPurpose
?D
(
not
(
exists
(?I)
(
and
(
or
(
meetsTemporally
?DT
(
WhenFn
?I))
(
overlapsTemporally
?DT
(
WhenFn
?I)))
(
instance
?I
Impacting
)
(
patient
?I ?A))))))
Mid-level-ontology.kif 450-463
If
a process
is an
instance
of
dodging
and
an agent
is an
agent
of
the process
and
the process
T is
equal
to the
time
of existence of
the process
,
then
the process
has the purpose there doesn't exist
an entity
such that
the process
T
meet
s the
time
of existence of
the entity
or the
time
of existence of
the entity
overlap
s
the process
T and
the entity
is an
instance
of
impacting
and
the agent
is a
patient
of
the entity
(=>
(
and
(
instance
?DECODE
Decoding
)
(
patient
?DECODE ?DOC1))
(
exists
(?ENCODE ?DOC2 ?TIME ?PROP)
(
and
(
containsInformation
?DOC2 ?PROP)
(
containsInformation
?DOC1 ?PROP)
(
temporalPart
?TIME
(
PastFn
(
WhenFn
?DECODE)))
(
holdsDuring
?TIME
(
and
(
instance
?ENCODE
Encoding
)
(
patient
?ENCODE ?DOC2))))))
Merge.kif 12715-12728
If
a process
is an
instance
of
decoding
and
a content bearing physical
is a
patient
of
the process
,
then there exist
an entity
,
another content bearing physical
,, ,
a time position
and
a proposition
such that
the other content bearing physical
contain
s information
the proposition
and
the content bearing physical
contain
s information
the proposition
and
the time position
is a
part
of
before
the
time
of existence of
the process
and
the entity
is an
instance
of
encoding
and
the other content bearing physical
is a
patient
of
the entity
holds
during
the time position
(=>
(
and
(
instance
?DEFENSE
DefensiveManeuver
)
(
agent
?DEFENSE ?AGENT))
(
hasPurposeForAgent
?DEFENSE
(
not
(
exists
(?DAMAGE)
(
and
(
instance
?DAMAGE
Damaging
)
(
patient
?DAMAGE ?AGENT)))) ?AGENT))
Merge.kif 13431-13440
If
a process
is an
instance
of
defensive maneuver
and
an agent
is an
agent
of
the process
,
then
the process
has the purpose there doesn't exist
an entity
such that
the entity
is an
instance
of
damaging
and
the agent
is a
patient
of
the entity
for
the agent
(=>
(
and
(
instance
?DESTR
PreciseDestruction
)
(
patient
?DESTR ?PATIENT))
(
hasPurpose
?DESTR
(
not
(
exists
(?DAMAGING ?DAMAGED)
(
and
(
instance
?DAMAGING
Damaging
)
(
subProcess
?DAMAGING ?DESTR)
(
patient
?DAMAGING ?DAMAGED)
(
not
(
equal
?PATIENT ?DAMAGED)))))))
MilitaryProcesses.kif 618-630
If
a process
is an
instance
of
precise destruction
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there don't exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
damaging
and
the other entity
is a
subprocess
of
the process
and
the third entity
is a
patient
of
the other entity
and
the entity
is not
equal
to
the third entity
(=>
(
and
(
instance
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ)
(
holdsDuring
(
WhenFn
?DISCOVER)
(
located
?OBJ ?PLACE)))
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
subProcess
?LEARN ?DISCOVER)
(
patient
?LEARN
(
located
?OBJ ?PLACE)))))
Merge.kif 11973-11982
If
a process
is an
instance
of
discovering
and
an entity
is a
patient
of
the process
and
the entity
is
located
at
another entity
holds
during
the
time
of existence of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
learning
and
the other process
is a
subprocess
of
the process
and
the entity
is
located
at
the other entity
is a
patient
of
the other process
(=>
(
and
(
instance
?DUD
AbsoluteDud
)
(
instance
?PROCESS
TakingOff
)
(
patient
?PROCESS ?DUD))
(
not
(
exists
(?EXPLOSION)
(
and
(
instance
?EXPLOSION
Explosion
)
(
patient
?EXPLOSION ?DUD)))))
MilitaryDevices.kif 1398-1407
If
an entity
is an
instance
of
absolute dud
and
a process
is an
instance
of
taking off
and
the entity
is a
patient
of
the process
,
then there doesn't exist
another process
such that
the other process
is an
instance
of
explosion
and
the entity
is a
patient
of
the other process
(=>
(
and
(
instance
?Downtick
Downtick
)
(
patient
?Downtick ?Stock)
(
equal
(
WhenFn
?Downtick) ?Time1)
(
instance
?U
UnitOfCurrency
)
(
price
?Stock
(
MeasureFn
?Price1 ?U) ?Time1))
(
exists
(?Transaction ?Time2 ?Price2)
(
and
(
instance
?Transaction
StockMarketTransaction
)
(
patient
?Transaction ?Stock)
(
equal
(
WhenFn
?Transaction) ?Time2)
(
meetsTemporally
?Time2 ?Time1)
(
price
?Stock
(
MeasureFn
?Price2 ?U) ?Time2)
(
greaterThan
?Price2 ?Price1))))
FinancialOntology.kif 3234-3250
If
a process
is an
instance
of
downtick
and
a physical
is a
patient
of
the process
and the
time
of existence of
the process
is
equal
to
an agent
and
an unit of measure
is an
instance
of
unit of currency
and
the physical
is
price
a real number
the unit of measure
(s) for
the agent
,
then there exist
another process
,
another agent
and
another real number
such that
the other process
is an
instance
of
stock market transaction
and
the physical
is a
patient
of
the other process
and the
time
of existence of
the other process
is
equal
to
the other agent
and
the other agent
meet
s
the agent
and
the physical
is
price
the other real number
the unit of measure
(s) for
the other agent
and
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?E
Exhaust
)
(
material
Fuel
?E)
(
instance
?T
Transfer
)
(
instance
?ENG
Engine
)
(
origin
?T ?ENG)
(
instance
?CC
CatalyticConverter
)
(
destination
?T ?CC)
(
objectTransferred
?T ?E))
(
hasPurpose
?CC
(
exists
(?C)
(
and
(
instance
?C
Combustion
)
(
instrument
?C ?CC)
(
patient
?C ?E)
(
eventLocated
?C ?CC)))))
Cars.kif 1717-1733
If
a corpuscular object
is an
instance
of
exhaust
and
the corpuscular object
is
made
of
fuel
and
a transfer
is an
instance
of
transfer
and
the corpuscular object
NG is an
instance
of
engine
and
the transfer
originate
s at
the corpuscular object
NG and
a physical
is an
instance
of
catalytic converter
and
the transfer
end
s up at
the physical
and the object transferred in
the transfer
is
the corpuscular object
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
burning
and
the physical
is an
instrument
for
the entity
and
the corpuscular object
is a
patient
of
the entity
and
the entity
is
located
at
the physical
(=>
(
and
(
instance
?E
Matriculation
)
(
agent
?E ?C)
(
patient
?E ?P)
(
instance
?C
College
))
(
exists
(?G ?S)
(
and
(
instance
?G
Graduation
)
(
agent
?G ?S)
(
patient
?G ?P)
(
instance
?S
SecondarySchool
)
(
earlier
(
WhenFn
?G)
(
WhenFn
?E)))))
Mid-level-ontology.kif 16690-16702
If
a process
is an
instance
of
matriculation
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the agent
is an
instance
of
college
,
then there exist
another process
and
another agent
such that
the other process
is an
instance
of
graduation
and
the other agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
and
the other agent
is an
instance
of
secondary school
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?ECS
EngineCoolingSystem
)
(
instance
?E
Engine
)
(
instance
?A
Automobile
)
(
part
?ECS ?A)
(
part
?E ?A))
(
hasPurpose
?ECS
(
exists
(?C)
(
and
(
instance
?C
Cooling
)
(
instrument
?C ?ECS)
(
patient
?C ?E)))))
Cars.kif 2142-2154
If
an object
is an
instance
of
engine cooling system
and
another object
is an
instance
of
engine
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
,
then
the object
has the purpose there exists
an entity
such that
the entity
is an
instance
of
cooling
and
the object
is an
instrument
for
the entity
and
the other object
is a
patient
of
the entity
(=>
(
and
(
instance
?EDUCATION
EducationalProcess
)
(
patient
?EDUCATION ?PERSON))
(
hasPurpose
?EDUCATION
(
exists
(?LEARN)
(
and
(
instance
?LEARN
Learning
)
(
patient
?LEARN ?PERSON)))))
Merge.kif 11631-11639
If
a process
is an
instance
of
educational process
and
an entity
is a
patient
of
the process
,
then
the process
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
learning
and
the entity
is a
patient
of
the other entity
(=>
(
and
(
instance
?EF
Exfiltration
)
(
agent
?EF ?AGENT))
(
exists
(?PRET ?ENEMY)
(
and
(
instance
?PRET
Pretending
)
(
agent
?PRET ?AGENT)
(
patient
?PRET ?ENEMY)
(
hasPurpose
?PRET
(
believes
?ENEMY
(
not
(
exists
(?EF0)
(
equal
?EF0 ?EF))))))))
MilitaryProcesses.kif 257-270
If
a process
is an
instance
of
exfiltration
and
an agent
is an
agent
of
the process
,
then there exist
another process
and
an entity
such that
the other process
is an
instance
of
pretending
and
the agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
and
the other process
has the purpose
the entity
believe
s there doesn't exist
the process
0 such that
the process
0 is
equal
to
the process
(=>
(
and
(
instance
?ELT
ExperiencingALumpInTheThroat
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Throat
)
(
part
?T ?A))))
emotion.kif 1710-1721
If
a process
is an
instance
of
experiencing a lump in the throat
and
an agent
experience
s
the process
,
then there exist
another process
and
an object
such that
the other process
is an
instance
of
perception
and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
the object
is a
patient
of
the other process
and
the object
is an
instance
of
throat
and
the object
is a
part
of
the agent
(=>
(
and
(
instance
?ELT
ExperiencingDiscomfortInTheStomach
)
(
experiencer
?ELT ?A))
(
exists
(?P ?PAIN ?T)
(
and
(
instance
?P
Perception
)
(
during
(
WhenFn
?P)
(
WhenFn
?PAIN))
(
instance
?PAIN
Pain
)
(
experiencer
?PAIN ?A)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
instance
?T
Stomach
)
(
part
?T ?A))))
emotion.kif 1583-1597
If
a process
is an
instance
of
experiencing discomfort in the stomach
and
an agent
experience
s
the process
,
then there exist
another process
,
the other process
AIN and
an object
such that
the other process
is an
instance
of
perception
and the
time
of existence of
the other process
takes place
during
the
time
of existence of
the other process
AIN and
the other process
AIN is an
instance
of
pain
and
the agent
experience
s
the other process
AIN and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
the object
is a
patient
of
the other process
and
the object
is an
instance
of
stomach
and
the object
is a
part
of
the agent
(=>
(
and
(
instance
?ELT
ExperiencingHeatInCheeksOrChest
)
(
experiencer
?ELT ?A))
(
exists
(?P ?T)
(
and
(
instance
?P
Perception
)
(
subProcess
?P ?ELT)
(
agent
?P ?A)
(
patient
?P ?T)
(
or
(
instance
?T
Torso
)
(
instance
?T
Face
))
(
part
?T ?A))))
emotion.kif 1738-1751
If
a process
is an
instance
of
experiencing heat in cheeks or chest
and
an agent
experience
s
the process
,
then there exist
another process
and
an object
such that
the other process
is an
instance
of
perception
and
the other process
is a
subprocess
of
the process
and
the agent
is an
agent
of
the other process
and
the object
is a
patient
of
the other process
and
the object
is an
instance
of
torso
or
the object
is an
instance
of
face
and
the object
is a
part
of
the agent
(=>
(
and
(
instance
?EM
EyeMotion
)
(
agent
?EM ?A))
(
exists
(?E)
(
and
(
instance
?E
Eyelid
)
(
part
?E ?A)
(
patient
?EM ?E))))
Mid-level-ontology.kif 19943-19951
If
a process
is an
instance
of
eye motion
and
an agent
is an
agent
of
the process
,
then there exists
an object
such that
the object
is an
instance
of
eyelid
and
the object
is a
part
of
the agent
and
the object
is a
patient
of
the process
(=>
(
and
(
instance
?ENTER
Matriculation
)
(
agent
?ENTER ?COLLEGE)
(
patient
?ENTER ?STUDENT)
(
instance
?COLLEGE
College
))
(
exists
(?GRAD ?SCHOOL)
(
and
(
instance
?GRAD
Graduation
)
(
agent
?GRAD ?SCHOOL)
(
patient
?GRAD ?STUDENT)
(
instance
?SCHOOL
HighSchool
)
(
earlier
(
WhenFn
?GRAD)
(
WhenFn
?ENTER)))))
Mid-level-ontology.kif 16671-16683
If
a process
is an
instance
of
matriculation
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the agent
is an
instance
of
college
,
then there exist
another process
and
another agent
such that
the other process
is an
instance
of
graduation
and
the other agent
is an
agent
of
the other process
and
the entity
is a
patient
of
the other process
and
the other agent
is an
instance
of
high school
and the
time
of existence of
the other process
happens
earlier
than the
time
of existence of
the process
(=>
(
and
(
instance
?ESCAPE
Escaping
)
(
agent
?ESCAPE ?AGENT))
(
exists
(?CONFINE)
(
and
(
instance
?CONFINE
Confining
)
(
patient
?CONFINE ?AGENT)
(
meetsTemporally
(
WhenFn
?CONFINE)
(
WhenFn
?ESCAPE)))))
Mid-level-ontology.kif 17281-17289
If
a process
is an
instance
of
escaping
and
an agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
confining
and
the agent
is a
patient
of
the other process
and the
time
of existence of
the other process
meet
s the
time
of existence of
the process
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?O)
(
agent
?EV ?A))
(
exists
(?T ?TA)
(
and
(
instance
?T
Transportation
)
(
destination
?T ?O)
(
or
(
subOrganization
?TA ?A)
(
member
?TA ?A)
(
equal
?TA ?A))
(
or
(
agent
?T ?TA)
(
patient
?T ?TA)))))
MilitaryProcesses.kif 2554-2569
If
a process
is an
instance
of
evacuating
and
the process
originate
s at
an object
and
an organization
is an
agent
of
the process
,
then there exist
another process
and
the other process
A such that
the other process
is an
instance
of
transportation
and
the other process
end
s up at
the object
and
the other process
A is a part of the organization
the organization
or
the other process
A is a
member
of
the organization
or
the other process
A is
equal
to
the organization
and
the other process
A is an
agent
of
the other process
or
the other process
A is a
patient
of
the other process
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
CallOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Buy)
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2754-2766
If
a process
is an
instance
of
exercise an option
and
an agreement
is a
patient
of
the process
and
the agreement
the
attribute
call option
and
the process
exists
during
a time position
and
a financial instrument
is an
underlier
of
the agreement
,
then there exists
another process
such that
the other process
is an
instance
of
buying
and
the financial instrument
is a
patient
of
the other process
and
the other process
exists
during
the time position
and the
measure
of
the financial instrument
is 100
share unit
(s)
(=>
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
property
?Option
PutOption
)
(
time
?Exercise ?Time)
(
underlier
?Option ?Stocks))
(
exists
(?Sell)
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
)))))
FinancialOntology.kif 2768-2780
If
a process
is an
instance
of
exercise an option
and
an agreement
is a
patient
of
the process
and
the agreement
the
attribute
put option
and
the process
exists
during
a time position
and
a financial instrument
is an
underlier
of
the agreement
,
then there exists
another process
such that
the other process
is an
instance
of
selling
and
the financial instrument
is a
patient
of
the other process
and
the other process
exists
during
the time position
and the
measure
of
the financial instrument
is 100
share unit
(s)
(=>
(
and
(
instance
?F
Folding
)
(
patient
?F ?O))
(
exists
(?C ?P1 ?P2)
(
and
(
instance
?C
Covering
)
(
subProcess
?C ?F)
(
part
?P1 ?O)
(
part
?P2 ?O)
(
instrument
?C ?P1)
(
patient
?C ?P2))))
Mid-level-ontology.kif 3169-3180
If
a process
is an
instance
of
folding
and
an object
is a
patient
of
the process
,
then there exist
another process
,
another object
and
a third object
such that
the other process
is an
instance
of
covering
and
the other process
is a
subprocess
of
the process
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
and
the other object
is an
instrument
for
the other process
and
the third object
is a
patient
of
the other process
(=>
(
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
the object
is
equal
to 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
the object
is
equal
to 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
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