destination
(=>
(
and
(
instance
?Deposit
Deposit
)
(
instance
?Account
FinancialAccount
)
(
destination
?Deposit
(
CurrencyFn
?Account))
(
transactionAmount
?Deposit
(
MeasureFn
?Amount ?CUNIT))
(
currentAccountBalance
?Account
(
ImmediatePastFn
(
WhenFn
?Deposit))
(
MeasureFn
?Balance1 ?CUNIT))
(
equal
?Balance2
(
AdditionFn
?Balance1 ?Amount)))
(
currentAccountBalance
?Account
(
ImmediateFutureFn
(
FutureFn
?Deposit))
(
MeasureFn
?Balance2 ?CUNIT)))
FinancialOntology.kif 436-453
If
a financial transaction
is an
instance
of
deposit
and
a financial account
is an
instance
of
financial account
and
the financial transaction
end
s up at the
currency
of
the financial account
and
a real number
an unit of measure
(s) is a
transaction
amount of
the financial transaction
and
the financial account
current
account balance immediately
before
the
time
of existence of
the financial transaction
for
another real number
the unit of measure
(s) and
a third real number
is
equal
to (
the other real number
and
the real number
),
then
the financial account
current
account balance immediately
after
after
the financial transaction
for
the third real number
the unit of measure
(s)
(=>
(
and
(
instance
?E
Entombing
)
(
destination
?E ?T))
(
instance
?T
Tomb
))
Mid-level-ontology.kif 18049-18053
If
a process
is an
instance
of
entombing
and
the process
end
s up at
an entity
,
then
the entity
is an
instance
of
tomb
(=>
(
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
RadioEmission
)
(
destination
?E ?D))
(
instance
?D
ReceiverDevice
))
Mid-level-ontology.kif 1807-1811
If
a process
is an
instance
of
radio emission
and
the process
end
s up at
an entity
,
then
the entity
is an
instance
of
receiver device
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
destination
?EV ?D))
(
exists
(?L)
(
and
(
instance
?L
Translocation
)
(
subProcess
?L ?EV)
(
destination
?L ?D)
(
origin
?L ?OR))))
MilitaryProcesses.kif 2501-2511
If
a process
is an
instance
of
evacuating
and
the process
originate
s at
an object
and
the process
end
s up at
an entity
,
then there exists
another process
such that
the other process
is an
instance
of
translocation
and
the other process
is a
subprocess
of
the process
and
the other process
end
s up at
the entity
and
the other process
originate
s at
the object
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA
GeopoliticalArea
)
(
destination
?EXPORT ?AREA))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA)))
Economy.kif 2447-2454
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
another entity
is an
instance
of
geopolitical area
and
the process
end
s up at
the other entity
,
then
the entity
is
located
at
the other entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
equal
?AREA1 ?AREA2)))
Economy.kif 2468-2476
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
an object
is an
instance
of
geopolitical area
and
the process
originate
s at
the object
and
another entity
is an
instance
of
geopolitical area
and
the process
end
s up at
the other entity
,
then
the object
is not
equal
to
the other entity
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
origin
?EXPORT ?AREA1)
(
instance
?AREA2
GeopoliticalArea
)
(
destination
?EXPORT ?AREA2))
(
not
(
located
?AREA2 ?AREA1)))
Economy.kif 2478-2486
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
an object
is an
instance
of
geopolitical area
and
the process
originate
s at
the object
and
a physical
is an
instance
of
geopolitical area
and
the process
end
s up at
the physical
,
then
the physical
is not
located
at
the object
(=>
(
and
(
instance
?F
Feeding
)
(
destination
?F ?A))
(
instance
?A
Animal
))
Mid-level-ontology.kif 11582-11586
If
a process
is an
instance
of
feeding
and
the process
end
s up at
an entity
,
then
the entity
is an
instance
of
animal
(=>
(
and
(
instance
?F
Scholarship
)
(
destination
?F ?H))
(
hasPurpose
?F
(
exists
(?EP ?P)
(
and
(
instance
?EP
EducationalProgram
)
(
realization
?P ?EP)
(
experiencer
?P ?H)))))
Mid-level-ontology.kif 7231-7240
If
a process
is an
instance
of
scholarship
and
the process
end
s up at
an entity
,
then
the process
has the purpose there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
educational program
and
the third entity
express
es the content of
the other entity
and
the entity
experience
s
the third entity
(=>
(
and
(
instance
?FALL
Waterfall
)
(
instance
?CURRENT
WaterMotion
)
(
flowCurrent
?CURRENT ?FALL)
(
origin
?CURRENT ?TOP)
(
destination
?CURRENT ?BOTTOM)
(
instance
?TOP
WaterArea
)
(
instance
?BOTTOM
WaterArea
))
(
orientation
?TOP ?BOTTOM
Above
))
Geography.kif 5561-5570
If
a water area
is an
instance
of
waterfall
and
a water motion
is an
instance
of
water motion
and
the water area
is a
flow
current of
the water motion
and
the water motion
originate
s at
an object
and
the water motion
end
s up at
another object
and
the object
is an
instance
of
water area
and
the other object
is an
instance
of
water area
,
then
the object
is
above
to
the other object
(=>
(
and
(
instance
?FP
FuelPump
)
(
instance
?A
Automobile
)
(
part
?FP ?A)
(
instance
?T
Transportation
)
(
instance
?F
Fuel
)
(
patient
?T ?F)
(
instrument
?F ?FP)
(
instance
?GT
GasTank
)
(
part
?GT ?A)
(
instance
?EC
EngineCylinder
)
(
part
?EC ?A)
(
origin
?T ?GT)
(
destination
?T ?EC)
(
path
?T ?P))
(
hasPurpose
?T
(
exists
(?FF)
(
and
(
instance
?FF
FuelFilter
)
(
betweenOnPath
?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
If
an object
is an
instance
of
fuel pump
and
another object
is an
instance
of
automobile
and
the object
is a
part
of
the other object
and
a motion
is an
instance
of
transportation
and
a process
is an
instance
of
fuel
and
the process
is a
patient
of
the motion
and
the object
is an
instrument
for
the process
and
a third object
is an
instance
of
gas tank
and
the third object
is a
part
of
the other object
and
a fourth object
is an
instance
of
engine cylinder
and
the fourth object
is a
part
of
the other object
and
the motion
originate
s at
the third object
and
the motion
end
s up at
the fourth object
and
a fifth object
is
path
along which
the motion
occurs,
then
the motion
has the purpose there exists
the process
F such that
the process
F is an
instance
of
fuel filter
and
the third object
between
on path
the process
F for
the fourth object
(=>
(
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
?I
Ingesting
)
(
objectTransferred
?I ?H)
(
instance
?H
Hallucinogen
)
(
destination
?I ?P))
(
modalAttribute
(
exists
(?HAL)
(
and
(
instance
?HAL
Hallucination
)
(
experiencer
?HAL ?P)))
Likely
))
TransnationalIssues.kif 88-99
If
a transfer
is an
instance
of
ingesting
and the object transferred in
the transfer
is
an object
and
the object
is an
instance
of
hallucinogen
and
the transfer
end
s up at
an entity
,
then the statement there exists
the object
AL such that
the object
AL is an
instance
of
hallucination
and
the entity
experience
s
the object
AL has the
modal
force
of
likely
(=>
(
and
(
instance
?I
Injecting
)
(
instance
?A
Adalimumab
)
(
objectTransferred
?I ?A)
(
located
?I ?BP)
(
instance
?BP
BodyPart
)
(
destination
?I ?H))
(
modalAttribute
(
exists
(?T)
(
and
(
holdsDuring
?T
(
attribute
?H
(
PainFn
?BP)))
(
during
?T
(
FutureFn
(
WhenFn
?I)))))
Likely
))
Medicine.kif 3628-3644
If
a transfer
is an
instance
of
injecting
and
an object
is an
instance
of
adalimumab
and the object transferred in
the transfer
is
the object
and
the transfer
is
located
at
another object
and
the other object
is an
instance
of
body part
and
the transfer
end
s up at
an entity
,
then the statement there exists
another entity
such that
pain
in the
the other object
is an
attribute
of
the entity
holds
during
the other entity
and
the other entity
takes place
during
after
the
time
of existence of
the transfer
has the
modal
force
of
likely
(=>
(
and
(
instance
?I
SoftwareInstallation
)
(
dataProcessed
?I ?P)
(
instance
?P
ComputerProgram
)
(
destination
?I ?C))
(
hasPurpose
?I
(
exists
(?PROC)
(
computerRunning
?PROC ?C))))
ComputingBrands.kif 3593-3601
If
a computer process
is an
instance
of
installation
and
a digital data
is
processed
by
the computer process
and
the digital data
is an
instance
of
computer program
and
the computer process
end
s up at
an entity
,
then
the computer process
has the purpose there exists
the digital data
ROC such that
the digital data
ROC is
running
on
the entity
(=>
(
and
(
instance
?INSERT
Inserting
)
(
patient
?INSERT ?OBJ1)
(
destination
?INSERT ?OBJ2))
(
and
(
holdsDuring
(
BeginFn
(
WhenFn
?INSERT))
(
not
(
contains
?OBJ2 ?OBJ1)))
(
holdsDuring
(
EndFn
(
WhenFn
?INSERT))
(
contains
?OBJ2 ?OBJ1))))
Merge.kif 11424-11431
If
a process
is an
instance
of
inserting
and
an entity
is a
patient
of
the process
and
the process
end
s up at
another entity
,
then
the other entity
doesn't
contain
the entity
holds
during
the
beginning
of the
time
of existence of
the process
and
the other entity
contain
s
the entity
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?L
Lever
)
(
instance
?P
Pushing
)
(
instance
?M1
Motion
)
(
instance
?U
UnitOfLength
)
(
destination
?P ?E1)
(
physicalEnd
?E1 ?L)
(
physicalEnd
?E2 ?L)
(
not
(
equal
?E1 ?E2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E1 ?P1))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E1 ?P2))
(
holdsDuring
(
ImmediatePastFn
(
WhenFn
?M1))
(
located
?E2 ?P3))
(
holdsDuring
(
ImmediateFutureFn
(
WhenFn
?M1))
(
located
?E2 ?P4))
(
distance
?P1 ?P2
(
MeasureFn
?D1 ?U))
(
distance
?P3 ?P4
(
MeasureFn
?D2 ?U)))
(
greaterThan
?D2 ?D1))
Mid-level-ontology.kif 1332-1355
If
an object
is an
instance
of
lever
and
a process
is an
instance
of
pushing
and
a physical
is an
instance
of
motion
and
an unit of measure
is an
instance
of
unit of length
and
the process
end
s up at
another object
and one end of
the object
is
the other object
and one end of
the object
is
a third object
and
the other object
is not
equal
to
the third object
and
the other object
is
located
at
the process
1 holds
during
immediately
before
the
time
of existence of
the physical
and
the other object
is
located
at
the process
2 holds
during
immediately
after
the
time
of existence of
the physical
and
the third object
is
located
at
the process
3 holds
during
immediately
before
the
time
of existence of
the physical
and
the third object
is
located
at
the process
4 holds
during
immediately
after
the
time
of existence of
the physical
and the
distance
between
the process
1 and
the process
2 is
a real number
the unit of measure
(s) and the
distance
between
the process
3 and
the process
4 is
another real number
the unit of measure
(s),
then
the other real number
is
greater
than
the real number
(=>
(
and
(
instance
?L
LoadingWeapon
)
(
destination
?L ?W))
(
instance
?W
ProjectileLauncher
))
Mid-level-ontology.kif 1378-1382
If
a process
is an
instance
of
loading weapon
and
the process
end
s up at
an entity
,
then
the entity
is an
instance
of
projectile launcher
(=>
(
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
?MOTION
Motion
)
(
moves
?MOTION ?OBJ)
(
destination
?MOTION ?PLACE))
(
holdsDuring
(
EndFn
(
WhenFn
?MOTION))
(
located
?OBJ ?PLACE)))
Merge.kif 11052-11057
If
a motion
is an
instance
of
motion
and
an object
moves during
the motion
and
the motion
end
s up at
an entity
,
then
the object
is
located
at
the entity
holds
during
the
end
of the
time
of existence of
the motion
(=>
(
and
(
instance
?MTP
MovingAwayFromPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1385-1391
If
a process
is an
instance
of
moving away from people
and
the process
originate
s at
an object
and
the process
end
s up at
an entity
,
then
the object
is not
equal
to
the entity
(=>
(
and
(
instance
?MTP
MovingTowardsPeople
)
(
origin
?MTP ?O)
(
destination
?MTP ?D))
(
not
(
equal
?O ?D)))
emotion.kif 1419-1425
If
a process
is an
instance
of
moving towards people
and
the process
originate
s at
an object
and
the process
end
s up at
an entity
,
then
the object
is not
equal
to
the entity
(=>
(
and
(
instance
?P
BankCardPayment
)
(
destination
?P ?AGENT))
(
capability
BankCardPayment
destination
?AGENT))
Dining.kif 437-441
If
a process
is an
instance
of
bank card payment
and
the process
end
s up at
an object
,
then
the object
is
capable
of doing
bank card payment
as a
destination
(=>
(
and
(
instance
?P
FoodPickup
)
(
agent
?P ?AGENT)
(
destination
?P ?CUST)
(
patient
?P ?FOOD))
(
and
(
instance
?FOOD
(
FoodForFn
Human
))
(
exists
(?LOC ?T ?G)
(
and
(
located
?AGENT ?LOC)
(
instance
?T
Translocation
)
(
agent
?T ?CUST)
(
destination
?T ?LOC)
(
instance
?G
Getting
)
(
origin
?G ?AGENT)
(
destination
?G ?CUST)
(
patient
?G ?FOOD)))))
Dining.kif 610-627
If
a process
is an
instance
of
food pickup
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
the entity
is an
instance
of
food
for
human
and there exist
an object
,
another process
and
a third process
such that
the agent
is
located
at
the object
and
the other process
is an
instance
of
translocation
and
the other agent
is an
agent
of
the other process
and
the other process
end
s up at
the object
and
the third process
is an
instance
of
getting
and
the third process
originate
s at
the agent
and
the third process
end
s up at
the other agent
and
the entity
is a
patient
of
the third 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