objectTransferred
(=>
(
and
(
suppliesBlood
?AC ?BPC)
(
instance
?A ?AC)
(
instance
?BP ?BPC))
(
hasPurpose
?A
(
exists
(?BF ?B)
(
and
(
instance
?BF
LiquidMotion
)
(
objectTransferred
?BF ?B)
(
instance
?B
Blood
)
(
destination
?BF ?BP)))))
Anatomy.kif 1947-1958
If
suppliesBlood
a kind of artery
and
a kind of body part
and
a physical
is an
instance
of
a kind of artery
and
an entity
is an
instance
of
a kind of body part
,
then
the physical
has the purpose there exist
another entity
and
a third entity
such that
the other entity
is an
instance
of
liquid motion
and the object transferred in
the other entity
is
the third entity
and
the third entity
is an
instance
of
blood
and
the other entity
end
s up at
the entity
(=>
(
and
(
vaccine
?VAC ?VIR)
(
instance
?V
Vaccination
)
(
experiencer
?V ?H)
(
instance
?VACI ?VAC)
(
objectTransferred
?V ?VACI))
(
hasPurpose
?VACI
(
not
(
exists
(?I ?VIRI)
(
and
(
instance
?I
Infecting
)
(
experiencer
?I ?H)
(
instance
?VIRI ?VIR)
(
objectTransferred
?I ?VIRI))))))
WMD.kif 1089-1103
If
a kind of vaccine
is a
vaccine
for
a kind of virus
and
a transfer
is an
instance
of
vaccination
and
an agent
experience
s
the transfer
and
a kind of vaccine
I is an
instance
of
the kind of vaccine
and the object transferred in
the transfer
is
the kind of vaccine
I,
then
the kind of vaccine
I has the purpose there don't exist
an entity
and
a kind of virus
I such that
the entity
is an
instance
of
infecting
and
the agent
experience
s
the entity
and
the kind of virus
I is an
instance
of
the kind of virus
and the object transferred in
the entity
is
the kind of virus
I
(=>
(
attribute
?O
NewItem
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O)))))
Cars.kif 5142-5148
If
new
is an
attribute
of
an object
,
then there doesn't exist
a transfer
such that
the transfer
is an
instance
of
buying
and the object transferred in
the transfer
is
the object
(=>
(
attribute
?O
UsedItem
)
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O))))
Cars.kif 5129-5134
If
used
is an
attribute
of
an object
,
then there exists
a transfer
such that
the transfer
is an
instance
of
buying
and the object transferred in
the transfer
is
the object
(=>
(
attribute
?X
USNonPrescriptionDrug
)
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?X)
(
not
(
exists
(?P)
(
and
(
instance
?P
Prescription
)
(
refers
?P ?X))))))
Legal
))
Mid-level-ontology.kif 9318-9330
If
OTC drug
is an
attribute
of
an object
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
buying
and the object transferred in
the entity
is
the object
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
prescription
and
the other entity
includes a
reference
to
the object
has the
modal
force
of
legal
(=>
(
attribute
?X
USPrescriptionDrug
)
(
modalAttribute
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?X)
(
not
(
exists
(?P)
(
and
(
instance
?P
Prescription
)
(
refers
?P ?X))))))
Illegal
))
Mid-level-ontology.kif 9296-9308
If
prescription drug
is an
attribute
of
an object
,
then the statement there exists
an entity
such that
the entity
is an
instance
of
buying
and the object transferred in
the entity
is
the object
and there doesn't exist
another entity
such that
the other entity
is an
instance
of
prescription
and
the other entity
includes a
reference
to
the object
has the
modal
force
of
illegal
(=>
(
holdsDuring
?TIME
(
attribute
?T
Tourniquet
))
(
exists
(?P ?B ?A)
(
and
(
instance
?P
Human
)
(
instance
?B
Bleeding
)
(
instance
?A
Attaching
)
(
experiencer
?B ?P)
(
destination
?A ?P)
(
objectTransferred
?A ?T)
(
hasPurpose
?T
(
not
(
exists
(?B2)
(
and
(
instance
?B2
Bleeding
)
(
overlapsTemporally
(
WhenFn
?B2)
(
ImmediateFutureFn
(
WhenFn
?A)))
(
experiencer
?B2 ?P))))))))
Medicine.kif 20-39
If
tourniquet
is an
attribute
of
an object
holds
during
the object
IME,
then there exist
an agent
,
a process
and
a transfer
such that
the agent
is an
instance
of
human
and
the process
is an
instance
of
bleeding
and
the transfer
is an
instance
of
attaching
and
the agent
experience
s
the process
and
the transfer
end
s up at
the agent
and the object transferred in
the transfer
is
the object
and
the object
has the purpose there doesn't exist
the process
2 such that
the process
2 is an
instance
of
bleeding
and immediately
after
the
time
of existence of
the transfer
overlap
s the
time
of existence of
the process
2 and
the agent
experience
s
the process
2
(=>
(
instance
?A
Antiseizure
)
(
hasPurpose
?A
(
exists
(?H ?I ?T)
(
and
(
instance
?H
Human
)
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?A)
(
agent
?I ?H)
(
earlier
(
WhenFn
?I) ?T)
(
holdsDuring
?T
(
not
(
exists
(?S)
(
and
(
instance
?S
Seizure
)
(
experiencer
?S ?H)))))))))
Medicine.kif 3317-3332
If
a physical
is an
instance
of
anti-seizure
,
then
the physical
has the purpose there exist
an entity
,
another entity
and
a third entity
such that
the entity
is an
instance
of
human
and
the other entity
is an
instance
of
ingesting
and the object transferred in
the other entity
is
the physical
and
the entity
is an
agent
of
the other entity
and the
time
of existence of
the other entity
happens
earlier
than
the third entity
and there doesn't exist
a fourth entity
such that
the fourth entity
is an
instance
of
epileptic seizure
and
the entity
experience
s
the fourth entity
holds
during
the third entity
(=>
(
instance
?A
InjectedAntibiotic
)
(
hasPurpose
?A
(
exists
(?I)
(
and
(
instance
?I
Injecting
)
(
objectTransferred
?I ?A)))))
Medicine.kif 1347-1353
If
a physical
is an
instance
of
injected antibiotic
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
injecting
and the object transferred in
the entity
is
the physical
(=>
(
instance
?AG
AnimalGuiding
)
(
exists
(?A ?C ?H)
(
and
(
instance
?A
Animal
)
(
agent
?AG ?H)
(
instance
?C
Carrying
)
(
agent
?C ?A)
(
objectTransferred
?C ?H)
(
instrument
?AG ?A))))
Mid-level-ontology.kif 4345-4354
If
a process
is an
instance
of
animal guiding
,
then there exist
an agent
,
a transfer
and
another agent
such that
the agent
is an
instance
of
animal
and
the other agent
is an
agent
of
the process
and
the transfer
is an
instance
of
carrying
and
the agent
is an
agent
of
the transfer
and the object transferred in
the transfer
is
the other agent
and
the agent
is an
instrument
for
the process
(=>
(
instance
?AP
Antidepressant
)
(
hasPurpose
?AP
(
exists
(?I ?H)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?AP)
(
agent
?AP ?H)
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
attribute
?H
Depression
)))))))
Mid-level-ontology.kif 9697-9709
If
a physical
is an
instance
of
anti-depressant
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
ingesting
and the object transferred in
the entity
is
the physical
and
the other entity
is an
agent
of
the physical
and
depressed
is not an
attribute
of
the other entity
holds
during
after
the
time
of existence of
the entity
(=>
(
instance
?AP
Antipsychotic
)
(
hasPurpose
?AP
(
exists
(?I ?H)
(
and
(
instance
?I
Ingesting
)
(
objectTransferred
?I ?AP)
(
agent
?AP ?H)
(
holdsDuring
(
FutureFn
(
WhenFn
?I))
(
not
(
attribute
?H
Psychosis
)))))))
Mid-level-ontology.kif 9717-9729
If
a physical
is an
instance
of
anti-psychotic
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
ingesting
and the object transferred in
the entity
is
the physical
and
the other entity
is an
agent
of
the physical
and
psychosis
is not an
attribute
of
the other entity
holds
during
after
the
time
of existence of
the entity
(=>
(
instance
?AT
ApplyingTourniquet
)
(
exists
(?A ?P ?T)
(
and
(
instance
?A
Agent
)
(
instance
?P
Mammal
)
(
holdsDuring
(
WhenFn
?AT)
(
attribute
?T
Tourniquet
))
(
destination
?AT ?P)
(
agent
?AT ?A)
(
objectTransferred
?AT ?T))))
Medicine.kif 67-78
If
a transfer
is an
instance
of
applying a tourniquet
,
then there exist
an agent
,
an entity
and
an object
such that
the agent
is an
instance
of
Agent
and
the entity
is an
instance
of
mammal
and
tourniquet
is an
attribute
of
the object
holds
during
the
time
of existence of
the transfer
and
the transfer
end
s up at
the entity
and
the agent
is an
agent
of
the transfer
and the object transferred in
the transfer
is
the object
(=>
(
instance
?B
Birth
)
(
exists
(?M ?BABY)
(
and
(
attribute
?M
Female
)
(
origin
?B ?M)
(
objectTransferred
?B ?BABY)
(
attribute
?BABY
NonFullyFormed
))))
Mid-level-ontology.kif 24010-24017
If
a transfer
is an
instance
of
birth
,
then there exist
an object
and
the transfer
ABY such that
female
is an
attribute
of
the object
and
the transfer
originate
s at
the object
and the object transferred in
the transfer
is
the transfer
ABY and
non fully formed
is an
attribute
of
the transfer
ABY
(=>
(
instance
?BREAK
BreakingWave
)
(
exists
(?WAVE ?WATER1 ?WATER2 ?FALL)
(
and
(
instance
?WAVE
WaterWave
)
(
subProcess
?BREAK ?WAVE)
(
instance
?WATER1
BodyOfWater
)
(
instance
?WATER2
BodyOfWater
)
(
patient
?WAVE ?WATER2)
(
patient
?BREAK ?WATER1)
(
instance
?FALL
Falling
)
(
objectTransferred
?FALL ?WATER1)
(
holdsDuring
(
BeginFn
(
WhenFn
?FALL))
(
part
?WATER1 ?WATER2))
(
holdsDuring
(
EndFn
(
WhenFn
?FALL))
(
not
(
part
?WATER1 ?WATER2))))))
Weather.kif 1353-1373
If
a process
is an
instance
of
breaking wave
,
then there exist
another process
,
an object
,, ,
an entity
and
a transfer
such that
the other process
is an
instance
of
water wave
and
the process
is a
subprocess
of
the other process
and
the object
is an
instance
of
body of water
and
the entity
is an
instance
of
body of water
and
the entity
is a
patient
of
the other process
and
the object
is a
patient
of
the process
and
the transfer
is an
instance
of
falling
and the object transferred in
the transfer
is
the object
and
the object
is a
part
of
the entity
holds
during
the
beginning
of the
time
of existence of
the transfer
and
the object
is not a
part
of
the entity
holds
during
the
end
of the
time
of existence of
the transfer
(=>
(
instance
?C
Catheterization
)
(
exists
(?CATH ?O)
(
and
(
instance
?CATH
Catheter
)
(
instance
?O
Organism
)
(
objectTransferred
?C ?CATH)
(
destination
?C ?O))))
Medicine.kif 570-577
If
a transfer
is an
instance
of
catheterization
,
then there exist
the transfer
ATH and
an entity
such that
the transfer
ATH is an
instance
of
cannula
and
the entity
is an
instance
of
organism
and the object transferred in
the transfer
is
the transfer
ATH and
the transfer
end
s up at
the entity
(=>
(
instance
?D
Defrauding
)
(
exists
(?A ?P ?O)
(
and
(
agent
?D ?A)
(
suffers
?D ?P)
(
benefits
?D ?A)
(
objectTransferred
?D ?O)
(
origin
?O ?P)
(
destination
?O ?A))))
Mid-level-ontology.kif 18311-18320
If
a transfer
is an
instance
of
defrauding
,
then there exist
an agent
,
another agent
and
an object
such that
the agent
is an
agent
of
the transfer
and
the other agent
suffers
from
the transfer
and
the agent
is a beneficiary of
the transfer
and the object transferred in
the transfer
is
the object
and
the object
originate
s at
the other agent
and
the object
end
s up at
the agent
(=>
(
instance
?DRIZZLE
Drizzling
)
(
exists
(?CLTN ?R ?SIZE)
(
and
(
instance
?CLTN
Collection
)
(
instance
?R
Water
)
(
instance
?R
LiquidDrop
)
(
member
?R ?CLTN)
(
objectTransferred
?DRIZZLE ?CLTN)
(
approximateDiameter
?R
(
MeasureFn
?SIZE
Millimeter
))
(
modalAttribute
(
lessThanOrEqualTo
?SIZE 0.5)
Likely
))))
Weather.kif 2803-2815
If
a transfer
is an
instance
of
drizzling
,
then there exist
a collection
,
a self connected object
and
a real number
such that
the collection
is an
instance
of
collection
and
the self connected object
is an
instance
of
water
and
the self connected object
is an
instance
of
liquid drop
and
the self connected object
is a
member
of
the collection
and the object transferred in
the transfer
is
the collection
and the
approximate
diameter
of
the self connected object
is
the real number
millimeter
(s) and the statement
the real number
is
less
than or equal to 0.5 has the
modal
force
of
likely
(=>
(
instance
?EC
ElectricTransmission
)
(
exists
(?E)
(
and
(
instance
?E
Electricity
)
(
objectTransferred
?EC ?E))))
Cars.kif 2390-2395
If
a transfer
is an
instance
of
electric transmission
,
then there exists
an object
such that
the object
is an
instance
of
electricity
and the object transferred in
the transfer
is
the object
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?E ?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?E)
(
path
?T ?EV)
(
instance
?E
Exhaust
)))))
Cars.kif 2665-2673
If
a physical
is an
instance
of
exhaust valve
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
transfer
and the object transferred in
the other entity
is
the entity
and
the physical
is
path
along which
the other entity
occurs and
the entity
is an
instance
of
exhaust
(=>
(
instance
?GF
GreaseFitting
)
(
hasPurpose
?GF
(
exists
(?P ?G)
(
and
(
instance
?G
Grease
)
(
instance
?P
Putting
)
(
path
?P ?GF)
(
objectTransferred
?P ?G)))))
Cars.kif 3020-3028
If
a physical
is an
instance
of
grease fitting
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
grease
and
the entity
is an
instance
of
putting
and
the physical
is
path
along which
the entity
occurs and the object transferred in
the entity
is
the other entity
(=>
(
instance
?GG
GreaseGun
)
(
hasPurpose
?GG
(
exists
(?P ?G)
(
and
(
instance
?G
Grease
)
(
instance
?P
Putting
)
(
instrument
?P ?GG)
(
objectTransferred
?P ?G)))))
Cars.kif 3036-3044
If
a physical
is an
instance
of
grease gun
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the other entity
is an
instance
of
grease
and
the entity
is an
instance
of
putting
and
the physical
is an
instrument
for
the entity
and the object transferred in
the entity
is
the other entity
(=>
(
instance
?HT
HandTool
)
(
capability
Carrying
objectTransferred
?HT))
Cars.kif 4476-4478
If
an object
is an
instance
of
hand tool
,
then
the object
is
capable
of doing
carrying
as a
object transferred
(=>
(
instance
?I
ITunes
)
(
hasPurpose
?I
(
exists
(?M ?D)
(
and
(
instance
?M
MultimediaFile
)
(
instance
?D
DownloadingOverNetwork
)
(
objectTransferred
?D ?M)
(
instrument
?D ?I)))))
ComputingBrands.kif 3409-3417
If
a physical
is an
instance
of
i-tunes
,
then
the physical
has the purpose there exist
an entity
and
another entity
such that
the entity
is an
instance
of
multimedia file
and
the other entity
is an
instance
of
downloading
and the object transferred in
the other entity
is
the entity
and
the physical
is an
instrument
for
the other entity
(=>
(
instance
?I
Inflammation
)
(
exists
(?T ?W)
(
and
(
instance
?T
Translocation
)
(
instance
?W
WhiteBloodCell
)
(
objectTransferred
?T ?W)
(
destination
?T
(
WhereFn
?I
(
WhenFn
?I))))))
Mid-level-ontology.kif 12397-12406
If
a physical
is an
instance
of
inflammation
,
then there exist
a transfer
and
an object
such that
the transfer
is an
instance
of
translocation
and
the object
is an
instance
of
white blood cell
and the object transferred in
the transfer
is
the object
and
the transfer
end
s up at the place
where
the physical
was at the
time
of existence of
the physical
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