objectTransferred
(=>
(
instance
?INVOICE
Invoice
)
(
exists
(?NUMBER ?BUYER ?SELLER ?ENT ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?INVOICE)
(
buys
?BUYER ?SELLER ?ENT)
(
confersRight
(
exists
(?SELLING)
(
and
(
before
(
BeginFn
(
WhenFn
?INVOICE))
(
BeginFn
(
WhenFn
?SELLING)))
(
instance
?SELLING
Selling
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?SELLING ?PRODUCT)
(
refers
?INVOICE ?PRODUCT)
(
agent
?SELLING ?SELLER)
(
patient
?SELLING ?BUYER))) ?SELLER ?BUYER))))
Mid-level-ontology.kif 29868-29888
If
an entity
is an
instance
of
invoice
,
then there exist
a symbolic string
,
a cognitive agent
,, ,
an agent
,, ,
another entity
and
a third entity
such that the
unique
identifier of
the symbolic string
is
the entity
and
the cognitive agent
buys
the other entity
from
the agent
and
the agent
allow
s
the cognitive agent
to perform task of the type there exists
a fourth entity
such that the
beginning
of the
time
of existence of
the entity
happens
before
the
beginning
of the
time
of existence of
the fourth entity
and
the fourth entity
is an
instance
of
selling
and
the third entity
is an
instance
of
product
and the object transferred in
the fourth entity
is
the third entity
and
the entity
includes a
reference
to
the third entity
and
the agent
is an
agent
of
the fourth entity
and
the cognitive agent
is a
patient
of
the fourth entity
(=>
(
instance
?LP
Lubricating
)
(
exists
(?L)
(
and
(
instance
?L
Lubricant
)
(
objectTransferred
?LP ?L))))
Cars.kif 2999-3004
If
a transfer
is an
instance
of
lubricating
,
then there exists
an object
such that
the object
is an
instance
of
lubricant
and the object transferred in
the transfer
is
the object
(=>
(
instance
?N
Needle
)
(
hasPurpose
?N
(
exists
(?H ?TP ?F ?RI)
(
and
(
instance
?H
Animal
)
(
instance
?TP
TherapeuticProcss
)
(
attribute
?F
Fluid
)
(
patient
?TP ?H)
(
instrument
?TP ?N)
(
or
(
instance
?RI
Removing
)
(
instance
?RI
Inserting
))
(
subProcess
?RI ?TP)
(
objectTransferred
?RI ?F)))))
Medicine.kif 924-938
If
a physical
is an
instance
of
needle
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
a fourth entity
such that
the entity
is an
instance
of
animal
and
the other entity
is an
instance
of
TherapeuticProcss
and
fluid
is an
attribute
of
the third entity
and
the entity
is a
patient
of
the other entity
and
the physical
is an
instrument
for
the other entity
and
the fourth entity
is an
instance
of
removing
or
the fourth entity
is an
instance
of
inserting
and
the fourth entity
is a
subprocess
of
the other entity
and the object transferred in
the fourth entity
is
the third entity
(=>
(
instance
?OT
OrganTransplant
)
(
exists
(?H ?O ?P)
(
and
(
instance
?H
Animal
)
(
instance
?O
Organ
)
(
instance
?P
Putting
)
(
subProcess
?P ?OT)
(
objectTransferred
?P ?O)
(
destination
?P ?H))))
Medicine.kif 4642-4651
If
a process
is an
instance
of
transplant
,
then there exist
an entity
,
an object
and
a transfer
such that
the entity
is an
instance
of
animal
and
the object
is an
instance
of
organ
and
the transfer
is an
instance
of
putting
and
the transfer
is a
subprocess
of
the process
and the object transferred in
the transfer
is
the object
and
the transfer
end
s up at
the entity
(=>
(
instance
?P
Pedialyte
)
(
hasPurpose
?P
(
exists
(?C ?D ?V ?DR)
(
and
(
instance
?C
HumanChild
)
(
instance
?D
Diarrhea
)
(
instance
?V
Vomiting
)
(
or
(
and
(
experiencer
?D ?C)
(
earlier
(
WhenFn
?D)
(
WhenFn
?DR)))
(
and
(
experiencer
?V ?C)
(
earlier
(
WhenFn
?V)
(
WhenFn
?DR))))
(
instance
?DR
Drinking
)
(
agent
?DR ?C)
(
objectTransferred
?DR ?P)))))
Medicine.kif 4816-4833
If
a physical
is an
instance
of
Pedialyte
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
and
the other entity
R such that
the entity
is an
instance
of
human child
and
the other entity
is an
instance
of
diarrhea
and
the third entity
is an
instance
of
vomiting
and
the entity
experience
s
the other entity
and the
time
of existence of
the other entity
happens
earlier
than the
time
of existence of
the other entity
R or
the entity
experience
s
the third entity
and the
time
of existence of
the third entity
happens
earlier
than the
time
of existence of
the other entity
R and
the other entity
R is an
instance
of
drinking
and
the entity
is an
agent
of
the other entity
R and the object transferred in
the other entity
R is
the physical
(=>
(
instance
?P
Pill
)
(
hasPurpose
?P
(
exists
(?A ?I)
(
and
(
instance
?A
Animal
)
(
instance
?I
Ingesting
)
(
experiencer
?I ?A)
(
objectTransferred
?I ?P)))))
Mid-level-ontology.kif 9255-9263
If
a physical
is an
instance
of
pill
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
animal
and
the other entity
is an
instance
of
ingesting
and
the entity
experience
s
the other entity
and the object transferred in
the other entity
is
the physical
(=>
(
instance
?PCVV
PositiveCrankcaseVentilationValve
)
(
hasPurpose
?PCVV
(
exists
(?CR ?F ?CC ?T ?A)
(
and
(
instance
?CR
Crankcase
)
(
instance
?F
Fuel
)
(
instance
?CC
CombustionChamber
)
(
instance
?T
Transfer
)
(
instance
?A
Automobile
)
(
part
?CR ?A)
(
part
?CC ?A)
(
part
?PCVV ?A)
(
origin
?T ?CR)
(
destination
?T ?CC)
(
objectTransferred
?T ?F)
(
path
?T ?PCVV)))))
Cars.kif 3818-3834
If
a physical
is an
instance
of
positive crankcase ventilation valve
,
then
the physical
has the purpose there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
a fifth entity
such that
the entity
is an
instance
of
crankcase
and
the other entity
is an
instance
of
fuel
and
the third entity
is an
instance
of
combustion chamber
and
the fourth entity
is an
instance
of
transfer
and
the fifth entity
is an
instance
of
automobile
and
the entity
is a
part
of
the fifth entity
and
the third entity
is a
part
of
the fifth entity
and
the physical
is a
part
of
the fifth entity
and
the fourth entity
originate
s at
the entity
and
the fourth entity
end
s up at
the third entity
and the object transferred in
the fourth entity
is
the other entity
and
the physical
is
path
along which
the fourth entity
occurs
(=>
(
instance
?PO
PurchaseOrder
)
(
exists
(?NUMBER ?BUYER ?SELLER ?PRODUCT)
(
and
(
uniqueIdentifier
?NUMBER ?PO)
(
buys
?BUYER ?SELLER ?PRODUCT)
(
confersObligation
(
exists
(?BUYING)
(
and
(
before
(
BeginFn
(
WhenFn
?PO))
(
BeginFn
(
WhenFn
?BUYING)))
(
instance
?BUYING
Buying
)
(
instance
?PRODUCT
Product
)
(
objectTransferred
?BUYING ?PRODUCT)
(
refers
?PO ?PRODUCT)
(
agent
?BUYING ?BUYER)
(
patient
?BUYING ?SELLER))) ?BUYER ?SELLER))))
Mid-level-ontology.kif 29895-29915
If
an entity
is an
instance
of
purchase order
,
then there exist
a symbolic string
,
a cognitive agent
,, ,
another cognitive agent
and
another entity
such that the
unique
identifier of
the symbolic string
is
the entity
and
the cognitive agent
buys
the other entity
from
the other cognitive agent
and
the cognitive agent
obligate
s
the other cognitive agent
to perform task of the type there exists
a third entity
such that the
beginning
of the
time
of existence of
the entity
happens
before
the
beginning
of the
time
of existence of
the third entity
and
the third entity
is an
instance
of
buying
and
the other entity
is an
instance
of
product
and the object transferred in
the third entity
is
the other entity
and
the entity
includes a
reference
to
the other entity
and
the cognitive agent
is an
agent
of
the third entity
and
the other cognitive agent
is a
patient
of
the third entity
(=>
(
instance
?PROC
Defecation
)
(
exists
(?FECES)
(
and
(
instance
?FECES
Feces
)
(
objectTransferred
?PROC ?FECES))))
Mid-level-ontology.kif 2146-2151
If
a transfer
is an
instance
of
defecation
,
then there exists
an object
such that
the object
is an
instance
of
feces
and the object transferred in
the transfer
is
the object
(=>
(
instance
?PROC
Urination
)
(
exists
(?URINE)
(
and
(
instance
?URINE
Urine
)
(
objectTransferred
?PROC ?URINE))))
Mid-level-ontology.kif 2134-2139
If
a transfer
is an
instance
of
urination
,
then there exists
an object
such that
the object
is an
instance
of
urine
and the object transferred in
the transfer
is
the object
(=>
(
instance
?PROCESS
Raining
)
(
exists
(?RAIN)
(
and
(
instance
?RAIN
Rain
)
(
objectTransferred
?PROCESS ?RAIN))))
Weather.kif 2965-2970
If
a transfer
is an
instance
of
raining
,
then there exists
an object
such that
the object
is an
instance
of
rain
and the object transferred in
the transfer
is
the object
(=>
(
instance
?PROCESS
Sleeting
)
(
exists
(?STUFF ?R ?S ?MELT)
(
and
(
instance
?STUFF
Collection
)
(
objectTransferred
?PROCESS ?STUFF)
(
instance
?R
Raindrop
)
(
instance
?S
Snowflake
)
(
member
?R ?STUFF)
(
member
?S ?STUFF)
(
instance
?MELT
Melting
)
(
subProcess
?MELT ?PROCESS)
(
patient
?MELT ?S))))
Weather.kif 1158-1170
If
a transfer
is an
instance
of
sleeting
,
then there exist
a collection
,
a physical
,, ,
another physical
and
a process
such that
the collection
is an
instance
of
collection
and the object transferred in
the transfer
is
the collection
and
the physical
is an
instance
of
rain drop
and
the other physical
is an
instance
of
snowflake
and
the physical
is a
member
of
the collection
and
the other physical
is a
member
of
the collection
and
the process
is an
instance
of
melting
and
the process
is a
subprocess
of
the transfer
and
the other physical
is a
patient
of
the process
(=>
(
instance
?PROCESS
Snowing
)
(
exists
(?SNOW)
(
and
(
instance
?SNOW
Snow
)
(
objectTransferred
?PROCESS ?SNOW))))
Weather.kif 2997-3002
If
a transfer
is an
instance
of
snowing
,
then there exists
an object
such that
the object
is an
instance
of
snow
and the object transferred in
the transfer
is
the object
(=>
(
instance
?RAIN
Raining
)
(
exists
(?CLTN ?R ?CLASS)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
instance
?R ?CLASS
(
member
?R ?CLTN)
(
objectTransferred
?RAIN ?CLTN)
(
defaultMinimumSphereRadius
?CLASS
(
MeasureFn
0.1
Millimeter
))
(
defaultMaximumSphereRadius
?CLASS
(
MeasureFn
9.0
Millimeter
))))))
Weather.kif 1057-1070
If
an entity
is an
instance
of
raining
,
then there exist
another entity
,
a third entity
and
a class
such that
the other entity
is an
instance
of
collection
and
the third entity
is an
instance
of
water
and
the third entity
is an
instance
of
liquid drop
and
the third entity
is an
instance
of
the class
(=>
(
instance
?ROOT
PlantRoot
)
(
hasPurpose
?ROOT
(
exists
(?TRAN ?STUFF ?HOST)
(
and
(
instance
?TRAN
Transfer
)
(
instrument
?TRAN ?ROOT)
(
origin
?TRAN ?HOST)
(
orientation
?HOST ?ROOT
Outside
)
(
objectTransferred
?TRAN ?STUFF)
(
or
(
instance
?STUFF
FreshWater
)
(
instance
?STUFF
Nutrient
))))))
Mid-level-ontology.kif 9507-9519
If
a physical
is an
instance
of
plant root
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
transfer
and
the physical
is an
instrument
for
the entity
and
the entity
originate
s at
the third entity
and
the third entity
is
outside
to
the physical
and the object transferred in
the entity
is
the other entity
and
the other entity
is an
instance
of
freshwater
or
the other entity
is an
instance
of
nutrient
(=>
(
instance
?S
MilitarySurplus
)
(
exists
(?A ?B)
(
and
(
instance
?B
Buying
)
(
patient
?B ?A)
(
objectTransferred
?B ?S)
(
not
(
instance
?A
MilitaryOrganization
))
(
not
(
member
?A
MilitaryOrganization
)))))
Mid-level-ontology.kif 8406-8416
If
an object
is an
instance
of
military surplus
,
then there exist
a physical
and
a transfer
such that
the transfer
is an
instance
of
buying
and
the physical
is a
patient
of
the transfer
and the object transferred in
the transfer
is
the object
and
the physical
is not an
instance
of
military organization
and
the physical
is not a
member
of
military organization
(=>
(
instance
?S
Supercharger
)
(
hasPurpose
?S
(
exists
(?T ?IV ?A)
(
and
(
instance
?T
GasMotion
)
(
origin
?T ?S)
(
instance
?IV
IntakeValve
)
(
destination
?T ?IV)
(
instance
?A
Air
)
(
objectTransferred
?T ?A)
(
holdsDuring
(
WhenFn
?T)
(
attribute
?A
Pressurized
))))))
Cars.kif 5192-5204
If
a physical
is an
instance
of
supercharger
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
gas motion
and
the entity
originate
s at
the physical
and
the other entity
is an
instance
of
intake valve
and
the entity
end
s up at
the other entity
and
the third entity
is an
instance
of
air
and the object transferred in
the entity
is
the third entity
and
pressurized
is an
attribute
of
the third entity
holds
during
the
time
of existence of
the entity
(=>
(
instance
?SE
ShrapnelExplosion
)
(
exists
(?M ?T)
(
and
(
instance
?M
Metal
)
(
instance
?T
Translocation
)
(
causes
?SE ?T)
(
objectTransferred
?T ?M))))
Medicine.kif 6281-6288
If
a process
is an
instance
of
shrapnel explosion
,
then there exist
an object
and
a transfer
such that
the object
is an
instance
of
metal
and
the transfer
is an
instance
of
translocation
and
the process
cause
s
the transfer
and the object transferred in
the transfer
is
the object
(=>
(
instance
?SNOW
Snowing
)
(
exists
(?CLTN ?I)
(
and
(
instance
?CLTN
Collection
)
(
instance
?I
Ice
)
(
attribute
?I
MonoCrystalline
)
(
member
?I ?CLTN)
(
objectTransferred
?SNOW ?CLTN))))
Weather.kif 1141-1149
If
a transfer
is an
instance
of
snowing
,
then there exist
a collection
and
an object
such that
the collection
is an
instance
of
collection
and
the object
is an
instance
of
ice
and
mono crystalline
is an
attribute
of
the object
and
the object
is a
member
of
the collection
and the object transferred in
the transfer
is
the collection
(=>
(
instance
?SS
SandStorm
)
(
exists
(?SAND)
(
and
(
instance
?SAND
Sand
)
(
objectTransferred
?SS ?SAND))))
Weather.kif 1303-1308
If
a transfer
is an
instance
of
sand storm
,
then there exists
an object
such that
the object
is an
instance
of
sand
and the object transferred in
the transfer
is
the object
(=>
(
instance
?STEM
PlantStem
)
(
hasPurpose
?STEM
(
exists
(?TRAN ?ROOT ?SUB)
(
and
(
instance
?TRAN
Transfer
)
(
instrument
?TRAN ?STEM)
(
instance
?ROOT
PlantRoot
)
(
origin
?TRAN ?ROOT)
(
instance
?SUB
Substance
)
(
attribute
?SUB
Fluid
)
(
objectTransferred
?TRAN ?SUB)))))
Mid-level-ontology.kif 9546-9557
If
a physical
is an
instance
of
plant stem
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
transfer
and
the physical
is an
instrument
for
the entity
and
the other entity
is an
instance
of
plant root
and
the entity
originate
s at
the other entity
and
the third entity
is an
instance
of
substance
and
fluid
is an
attribute
of
the third entity
and the object transferred in
the entity
is
the third entity
(=>
(
instance
?STUFF
Hailstone
)
(
exists
(?PROCESS ?CLTN)
(
and
(
instance
?PROCESS
Hailing
)
(
instance
?CLTN
Collection
)
(
objectTransferred
?PROCESS ?CLTN)
(
member
?STUFF ?CLTN))))
Weather.kif 3074-3081
If
a physical
is an
instance
of
hailstone
,
then there exist
a transfer
and
a collection
such that
the transfer
is an
instance
of
hailing
and
the collection
is an
instance
of
collection
and the object transferred in
the transfer
is
the collection
and
the physical
is a
member
of
the collection
(=>
(
instance
?T
TearSubstance
)
(
hasPurpose
?T
(
exists
(?L ?EYE)
(
and
(
instance
?L
Lubricating
)
(
objectTransferred
?L ?T)
(
instance
?EYE
Eye
)
(
destination
?L ?EYE)))))
Mid-level-ontology.kif 12375-12383
If
a physical
is an
instance
of
tear substance
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
lubricating
and the object transferred in
the entity
is
the physical
and
the other entity
is an
instance
of
eye
and
the entity
end
s up at
the other entity
(=>
(
instance
?T
Transfusion
)
(
exists
(?B)
(
and
(
instance
?B
Blood
)
(
objectTransferred
?T ?B))))
Medicine.kif 5990-5995
If
a transfer
is an
instance
of
transfusion
,
then there exists
an object
such that
the object
is an
instance
of
blood
and the object transferred in
the transfer
is
the object
(=>
(
instance
?TA
TopicalApplication
)
(
exists
(?M ?A ?S)
(
and
(
instance
?M
Medicine
)
(
instance
?A
Animal
)
(
instance
?S
Skin
)
(
part
?S ?A)
(
objectTransferred
?TA ?M)
(
destination
?M ?S))))
Mid-level-ontology.kif 12448-12457
If
a transfer
is an
instance
of
topical application
,
then there exist
an object
,
another object
and
a third object
such that
the object
is an
instance
of
medicine
and
the other object
is an
instance
of
animal
and
the third object
is an
instance
of
skin
and
the third object
is a
part
of
the other object
and the object transferred in
the transfer
is
the object
and
the object
end
s up at
the third object
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