patient
(=>
(
and
(
instance
?Controlling
ControllingAnAccount
)
(
patient
?Controlling ?Account)
(
accountAt
?Account ?Bank))
(
agent
?Controlling ?Bank))
FinancialOntology.kif 356-361
If
a process
is an
instance
of
controlling an account
and
a financial account
is a
patient
of
the process
and
the financial account
is
held
by
a financial organization
,
then
the financial organization
is an
agent
of
the process
(=>
(
and
(
instance
?D
Decreasing
)
(
patient
?D ?OBJ))
(
exists
(?N1 ?N2 ?T1 ?T2 ?U)
(
and
(
earlier
?T1 ?T2)
(
holdsDuring
?T1
(
measure
?OBJ
(
MeasureFn
?N1 ?U)))
(
holdsDuring
?T2
(
measure
?OBJ
(
MeasureFn
?N2 ?U)))
(
lessThan
?N1 ?N2))))
Merge.kif 10941-10954
If
a process
is an
instance
of
decreasing
and
an entity
is a
patient
of
the process
,
then there exist
a real number
,
another real number
,, ,
a time interval
,, ,
another time interval
and
another entity
such that
the time interval
happens
earlier
than
the other time interval
and the
measure
of
the entity
is
the real number
the other entity
(s) holds
during
the time interval
and the
measure
of
the entity
is
the other real number
the other entity
(s) holds
during
the other time interval
and
the real number
is
less
than
the other real number
(=>
(
and
(
instance
?D
DeletingAnAccount
)
(
instance
?AC
Account
)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?D))
(
hasAccount
?A ?AC))
(
patient
?D ?AC)
(
agent
?D ?A))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?D))
(
not
(
hasAccount
?A ?AC))))
ComputingBrands.kif 4566-4576
If
a process
is an
instance
of
deleting an account
and
an entity
is an
instance
of
account
and
an agent
has
account
the entity
holds
during
immediately
before
the
time
of existence of
the process
and
the entity
is a
patient
of
the process
and
the agent
is an
agent
of
the process
,
then not
the agent
has
account
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?D
Detaching
)
(
patient
?D ?O1)
(
patient
?D ?O2)
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
connected
?O1 ?O2))
(
holdsDuring
(
EndFn
(
WhenFn
?A))
(
not
(
connected
?O1 ?O2))))
(
and
(
objectDetached
?A ?O1)
(
objectDetached
?A ?O2)))
Merge.kif 12431-12440
If
a process
is an
instance
of
detaching
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
and
the entity
is
connected
to
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not
connected
to
the other entity
holds
during
the
end
of the
time
of existence of
another process
,
then
the other process
detaches
the entity
from another object and
the other process
detaches
the other entity
from another object
(=>
(
and
(
instance
?D
Dismounting
)
(
agent
?D ?A)
(
patient
?D ?O))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?D))
(
orientation
?A ?O
On
))
(
holdsDuring
(
EndFn
(
WhenFn
?D))
(
not
(
orientation
?A ?O
On
)))))
Mid-level-ontology.kif 20003-20015
If
a process
is an
instance
of
dismounting
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the agent
is
on
to
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
is not
on
to
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?D
Dressing
)
(
instance
?O
Oqal
)
(
instance
?H
Hat
)
(
patient
?D ?O)
(
patient
?D ?H))
(
hasPurpose
?O
(
exists
(?A)
(
and
(
instance
?A
Attaching
)
(
instrument
?A ?O)))))
ArabicCulture.kif 420-431
If
a process
is an
instance
of
dressing
and
a physical
is an
instance
of
oqal
and
an entity
is an
instance
of
hat
and
the physical
is a
patient
of
the process
and
the entity
is a
patient
of
the process
,
then
the physical
has the purpose there exists
another entity
such that
the other entity
is an
instance
of
attaching
and
the physical
is an
instrument
for
the other entity
(=>
(
and
(
instance
?D
Increasing
)
(
patient
?D ?OBJ))
(
exists
(?N1 ?N2 ?T1 ?T2 ?U)
(
and
(
earlier
?T1 ?T2)
(
holdsDuring
?T1
(
measure
?OBJ
(
MeasureFn
?N1 ?U)))
(
holdsDuring
?T2
(
measure
?OBJ
(
MeasureFn
?N2 ?U)))
(
greaterThan
?N1 ?N2))))
Merge.kif 10899-10912
If
a process
is an
instance
of
increasing
and
an entity
is a
patient
of
the process
,
then there exist
a real number
,
another real number
,, ,
a time interval
,, ,
another time interval
and
another entity
such that
the time interval
happens
earlier
than
the other time interval
and the
measure
of
the entity
is
the real number
the other entity
(s) holds
during
the time interval
and the
measure
of
the entity
is
the other real number
the other entity
(s) holds
during
the other time interval
and
the real number
is
greater
than
the other real number
(=>
(
and
(
instance
?D
QuantityChange
)
(
patient
?D ?OBJ))
(
exists
(?N1 ?N2 ?T1 ?T2 ?U)
(
and
(
earlier
?T1 ?T2)
(
holdsDuring
?T1
(
measure
?OBJ
(
MeasureFn
?N1 ?U)))
(
holdsDuring
?T2
(
measure
?OBJ
(
MeasureFn
?N2 ?U)))
(
not
(
equal
?N1 ?N2)))))
Merge.kif 10878-10891
If
a process
is an
instance
of
quantity change
and
an entity
is a
patient
of
the process
,
then there exist
another entity
,
a third entity
,, ,
a time interval
,, ,
another time interval
and
a fourth entity
such that
the time interval
happens
earlier
than
the other time interval
and the
measure
of
the entity
is
the other entity
the fourth entity
(s) holds
during
the time interval
and the
measure
of
the entity
is
the third entity
the fourth entity
(s) holds
during
the other time interval
and
the other entity
is not
equal
to
the third entity
(=>
(
and
(
instance
?DAM
Damaging
)
(
instance
?OBJ
Device
)
(
patient
?DAM ?OBJ))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DAM))
(
attribute
?OBJ
DeviceDamaged
)))
Mid-level-ontology.kif 30079-30087
If
a process
is an
instance
of
damaging
and
an entity
is an
instance
of
device
and
the entity
is a
patient
of
the process
,
then
device damaged
is an
attribute
of
the entity
holds
during
immediately
after
the
time
of existence of
the process
(=>
(
and
(
instance
?DEACT
DeactivatingAnAccount
)
(
instance
?AC
UserAccount
)
(
patient
?DEACT ?AC))
(
and
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEACT))
(
attribute
?AC
AccountDeactivated
))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEACT))
(
attribute
?AC
AccountActive
))))
ComputingBrands.kif 4498-4507
If
a process
is an
instance
of
de-activating an account
and
an entity
is an
instance
of
user account
and
the entity
is a
patient
of
the process
,
then
account deactivated
is an
attribute
of
the entity
holds
during
immediately
after
the
time
of existence of
the process
and
account active
is an
attribute
of
the entity
holds
during
immediately
before
the
time
of existence of
the process
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?A)
(
patient
?DECIDE ?S)
(
instance
?S
Set
)
(
result
?DECIDE ?X)
(
instance
?X
ContentBearingPhysical
))
(
containsFormula
?X
(
holdsDuring
(
FutureFn
(
WhenFn
?DECIDE))
(
exists
(?M)
(
and
(
element
?M ?S)
(
instance
?M
IntentionalProcess
)
(
agent
?M ?A))))))
Merge.kif 12046-12062
If
a process
is an
instance
of
deciding
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
and
the entity
is an
instance
of
set
and
a content bearing physical
is a
result
of
the process
and
the content bearing physical
is an
instance
of
content bearing physical
,
then
the content bearing physical
contains the formula there exists
another entity
such that
the other entity
is an
element
of
the entity
and
the other entity
is an
instance
of
intentional process
and
the agent
is an
agent
of
the other entity
holds
during
after
the
time
of existence of
the process
(=>
(
and
(
instance
?DECIDE
Deciding
)
(
agent
?DECIDE ?AGENT)
(
instance
?S
Set
)
(
patient
?DECIDE ?S)
(
element
?M ?S))
(
believes
?AGENT
(
exists
(?CLASS)
(
and
(
instance
?M ?CLASS)
(
subclass
?CLASS
IntentionalProcess
)
(
capability
?CLASS
agent
?AGENT)))))
Merge.kif 12014-12026
If
a process
is an
instance
of
deciding
and
a cognitive agent
is an
agent
of
the process
and
a set
is an
instance
of
set
and
the set
is a
patient
of
the process
and
an entity
is an
element
of
the set
,
then
the cognitive agent
believe
s there exists
another entity
such that
the entity
is an
instance
of
the other entity
and
the other entity
is a
subclass
of
intentional process
and
the cognitive agent
is
capable
of doing
the other entity
as a
agent
(=>
(
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
?DEPLOY
DeployingWeaponOfMassDestruction
)
(
patient
?DEPLOY ?WEAPON))
(
instance
?WEAPON
WeaponOfMassDestruction
))
WMD.kif 680-684
If
a process
is an
instance
of
deploying weapon of mass destruction
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
weapon of mass destruction
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ)
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?X
Joule
)))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?DEPOSITION))
(
measure
?OBJ
(
MeasureFn
?Y
Joule
))))
(
lessThan
?Y ?X))
Geography.kif 7016-7030
If
a process
is an
instance
of
deposition
and
an entity
is a
patient
of
the process
and the
measure
of
the entity
is
a real number
joule
(s) holds
during
immediately
before
the
time
of existence of
the process
and the
measure
of
the entity
is
another real number
joule
(s) holds
during
immediately
after
the
time
of existence of
the process
,
then
the other real number
is
less
than
the real number
(=>
(
and
(
instance
?DEPOSITION
Deposition
)
(
patient
?DEPOSITION ?OBJ))
(
exists
(?PART)
(
and
(
part
?PART ?OBJ)
(
holdsDuring
(
BeginFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Gas
))
(
holdsDuring
(
EndFn
(
WhenFn
?DEPOSITION))
(
attribute
?PART
Solid
))
(
not
(
holdsDuring
(
WhenFn
?DEPOSITION)
(
attribute
?PART
Liquid
))))))
Geography.kif 6997-7014
If
a process
is an
instance
of
deposition
and
an object
is a
patient
of
the process
,
then there exists
another object
such that
the other object
is a
part
of
the object
and
gas
is an
attribute
of
the other object
holds
during
the
beginning
of the
time
of existence of
the process
and
solid
is an
attribute
of
the other object
holds
during
the
end
of the
time
of existence of
the process
and
liquid
is an
attribute
of
the other object
doesn't hold
during
the
time
of existence of
the process
(=>
(
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
?DETACH
Detaching
)
(
patient
?DETACH ?OBJ1)
(
patient
?DETACH ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DETACH))
(
connected
?OBJ1 ?OBJ2))
(
holdsDuring
(
EndFn
(
WhenFn
?DETACH))
(
not
(
connected
?OBJ1 ?OBJ2)))))
Merge.kif 12408-12415
If
a process
is an
instance
of
detaching
and
an entity
is a
patient
of
the process
and
another entity
is a
patient
of
the process
,
then
the entity
is
connected
to
the other entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the entity
is not
connected
to
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?DIRECT
DramaticDirecting
)
(
patient
?DIRECT ?ACT))
(
instance
?ACT
DramaticActing
))
Mid-level-ontology.kif 18547-18551
If
a process
is an
instance
of
dramatic directing
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
dramatic acting
(=>
(
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
?DISCOVER
Discovering
)
(
patient
?DISCOVER ?OBJ))
(
exists
(?PURSUE)
(
and
(
instance
?PURSUE
Pursuing
)
(
meetsTemporally
(
WhenFn
?PURSUE)
(
WhenFn
?DISCOVER)))))
Merge.kif 11964-11971
If
a process
is an
instance
of
discovering
and
an entity
is a
patient
of
the process
,
then there exists
a physical
such that
the physical
is an
instance
of
pursuing
and the
time
of existence of
the physical
meet
s the
time
of existence of
the process
(=>
(
and
(
instance
?DISMANTLE
DismantlingWeaponOfMassDestruction
)
(
patient
?DISMANTLE ?WEAPON))
(
exists
(?DEVELOP)
(
and
(
instance
?DEVELOP
DevelopingWeaponOfMassDestruction
)
(
result
?DEVELOP ?WEAPON)
(
earlier
(
WhenFn
?DEVELOP)
(
WhenFn
?DISMANTLE)))))
WMD.kif 750-758
If
a process
is an
instance
of
dismantling weapon of mass destruction
and
an entity
is a
patient
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
developing weapon of mass destruction
and
the entity
is a
result
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
?DISMANTLE
DismantlingWeaponOfMassDestruction
)
(
patient
?DISMANTLE ?WEAPON))
(
instance
?WEAPON
WeaponOfMassDestruction
))
WMD.kif 735-739
If
a process
is an
instance
of
dismantling weapon of mass destruction
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
weapon of mass destruction
(=>
(
and
(
instance
?DRESS
Dressing
)
(
agent
?DRESS ?AGENT)
(
patient
?DRESS ?CLOTHING))
(
and
(
instance
?CLOTHING
Clothing
)
(
holdsDuring
(
BeginFn
(
WhenFn
?DRESS))
(
not
(
wears
?AGENT ?CLOTHING)))
(
holdsDuring
(
EndFn
(
WhenFn
?DRESS))
(
wears
?AGENT ?CLOTHING))))
Mid-level-ontology.kif 5503-5518
If
a process
is an
instance
of
dressing
and
an agent
is an
agent
of
the process
and
an entity
is a
patient
of
the process
,
then
the entity
is an
instance
of
clothing
and
the agent
doesn't
wear
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the agent
wear
s
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?DRILL
Drilling
)
(
patient
?DRILL ?OBJ))
(
exists
(?HOLE)
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?DRILL))
(
not
(
hole
?HOLE ?OBJ)))
(
holdsDuring
(
EndFn
(
WhenFn
?DRILL))
(
hole
?HOLE ?OBJ)))))
Mid-level-ontology.kif 18099-18106
If
a process
is an
instance
of
drilling
and
an entity
is a
patient
of
the process
,
then there exists
another entity
such that
the other entity
is not a
hole
in
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
is a
hole
in
the entity
holds
during
the
end
of the
time
of existence of
the 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