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
Wenn
suppliesBlood
** Artery
and
** BodyPart
und
Physical
ist ein
fall
von
** Artery
%n{nicht} und
Entity
ist ein
fall
von
** BodyPart
%n{nicht},
dann
** Physical
hat Zweck von es gibt
** entity
und
** entity
um
** ** entity
ist ein
fall
von
LiquidMotion
%n{nicht} und
objectTransferred
** ** entity
and
** ** entity
und
** ** entity
ist ein
fall
von
Blood
%n{nicht} und
** ** entity
endet an
** Entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
vaccine
** Vaccine
and
** Virus
und
Transfer
ist ein
fall
von
Vaccination
%n{nicht} und
AutonomousAgent
erfaehrt
** Transfer
%n{nicht} und
** Vaccine
I ist ein
fall
von
** ** Vaccine
%n{nicht} und
objectTransferred
** Transfer
and
** ** Vaccine
I,
dann
** ** Vaccine
I hat Zweck von es gibt nicht
entity
und
** Virus
I um
** entity
ist ein
fall
von
Infecting
%n{nicht} und
** AutonomousAgent
erfaehrt
** entity
%n{nicht} und
** ** Virus
I ist ein
fall
von
** ** Virus
%n{nicht} und
objectTransferred
** entity
and
** ** Virus
I %n{nicht}
(=>
(
attribute
?O
NewItem
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O)))))
Cars.kif 5142-5148
Wenn
NewItem
ist ein
attribut
von
Object
%n{nicht},
dann es gibt nicht
Transfer
um
** Transfer
ist ein
fall
von
Buying
%n{nicht} und
objectTransferred
** Transfer
and
** Object
(=>
(
attribute
?O
UsedItem
)
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O))))
Cars.kif 5129-5134
Wenn
UsedItem
ist ein
attribut
von
Object
%n{nicht},
dann es gibt
Transfer
um
** Transfer
ist ein
fall
von
Buying
%n{nicht} und
objectTransferred
** Transfer
and
** 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
Wenn
USNonPrescriptionDrug
ist ein
attribut
von
Object
%n{nicht},
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
Buying
%n{nicht} und
objectTransferred
** entity
and
** Object
und es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
Prescription
%n{nicht} und
** ** entity
umfasst einen
hinweis
auf
** Object
hat die modale Kraft von
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
Wenn
USPrescriptionDrug
ist ein
attribut
von
Object
%n{nicht},
dann die Aussage es gibt
entity
um
** entity
ist ein
fall
von
Buying
%n{nicht} und
objectTransferred
** entity
and
** Object
und es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
Prescription
%n{nicht} und
** ** entity
umfasst einen
hinweis
auf
** Object
hat die modale Kraft von
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
Wenn
Tourniquet
ist ein
attribut
von
Object
%n{nicht} haelt
waehrend
** Object
IME %n{nicht},
dann es gibt
AutonomousAgent
,
Process
, and und
Transfer
um
** AutonomousAgent
ist ein
fall
von
Human
%n{nicht} und
** Process
ist ein
fall
von
Bleeding
%n{nicht} und
** Transfer
ist ein
fall
von
Attaching
%n{nicht} und
** AutonomousAgent
erfaehrt
** Process
%n{nicht} und
** Transfer
endet an
** AutonomousAgent
%n{nicht} und
objectTransferred
** Transfer
and
** Object
und
** Object
hat Zweck von es gibt nicht
** Process
2 um
** Process
2 ist ein
fall
von
Bleeding
%n{nicht} und sofort
nach
die
zeit
des Bestehens von
** Transfer
deckt
sich mit die
zeit
des Bestehens von
** Process
2 %n{nicht} und
** AutonomousAgent
erfaehrt
** Process
2 %n{nicht} %n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
Antiseizure
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
,
** entity
, and und
** entity
um
** entity
ist ein
fall
von
Human
%n{nicht} und
** ** entity
ist ein
fall
von
Ingesting
%n{nicht} und
objectTransferred
** ** entity
and
** Physical
und
** ** entity
ist der
agent
von
** entity
%n{nicht} und die
zeit
des Bestehens von
** ** entity
geschieht frueh als
** ** entity
%n{nicht} und es gibt nicht
** entity
um
** ** entity
ist ein
fall
von
Seizure
%n{nicht} und
** entity
erfaehrt
** ** entity
%n{nicht} haelt
waehrend
** ** entity
%n{nicht} %n{nicht}
(=>
(
instance
?A
InjectedAntibiotic
)
(
hasPurpose
?A
(
exists
(?I)
(
and
(
instance
?I
Injecting
)
(
objectTransferred
?I ?A)))))
Medicine.kif 1347-1353
Wenn
Physical
ist ein
fall
von
InjectedAntibiotic
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
Injecting
%n{nicht} und
objectTransferred
** entity
and
** Physical
%n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
AnimalGuiding
%n{nicht},
dann es gibt
AutonomousAgent
,
Transfer
, and und
** AutonomousAgent
um
** AutonomousAgent
ist ein
fall
von
Animal
%n{nicht} und
** Process
ist der
agent
von
** ** AutonomousAgent
%n{nicht} und
** Transfer
ist ein
fall
von
Carrying
%n{nicht} und
** Transfer
ist der
agent
von
** AutonomousAgent
%n{nicht} und
objectTransferred
** Transfer
and
** ** AutonomousAgent
und
** AutonomousAgent
ist ein
instrument
fuer
** Process
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
Antidepressant
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Ingesting
%n{nicht} und
objectTransferred
** entity
and
** Physical
und
** Physical
ist der
agent
von
** ** entity
%n{nicht} und
Depression
ist ein
attribut
von
** ** entity
nicht haelt
waehrend
nach
die
zeit
des Bestehens von
** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
Antipsychotic
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
Ingesting
%n{nicht} und
objectTransferred
** entity
and
** Physical
und
** Physical
ist der
agent
von
** ** entity
%n{nicht} und
Psychosis
ist ein
attribut
von
** ** entity
nicht haelt
waehrend
nach
die
zeit
des Bestehens von
** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Transfer
ist ein
fall
von
ApplyingTourniquet
%n{nicht},
dann es gibt
AutonomousAgent
,
Entity
, and und
Object
um
** AutonomousAgent
ist ein
fall
von
Agent
%n{nicht} und
** Entity
ist ein
fall
von
Mammal
%n{nicht} und
Tourniquet
ist ein
attribut
von
** Object
%n{nicht} haelt
waehrend
die
zeit
des Bestehens von
** Transfer
%n{nicht} und
** Transfer
endet an
** Entity
%n{nicht} und
** Transfer
ist der
agent
von
** AutonomousAgent
%n{nicht} und
objectTransferred
** Transfer
and
** 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
Wenn
Transfer
ist ein
fall
von
Birth
%n{nicht},
dann es gibt
Object
und
** Transfer
ABY um
Female
ist ein
attribut
von
** Object
%n{nicht} und
** Transfer
beginnet an
** Object
%n{nicht} und
objectTransferred
** Transfer
and
** Transfer
ABY und
NonFullyFormed
ist ein
attribut
von
** Transfer
ABY %n{nicht}
(=>
(
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
Wenn
Process
ist ein
fall
von
BreakingWave
%n{nicht},
dann es gibt
** Process
,
Object
,, ,
Entity
, and und
Transfer
um
** ** Process
ist ein
fall
von
WaterWave
%n{nicht} und
** Process
ist ein
subProzess
von
** ** Process
und
** Object
ist ein
fall
von
BodyOfWater
%n{nicht} und
** Entity
ist ein
fall
von
BodyOfWater
%n{nicht} und
** Entity
ist ein
patient
von
** ** Process
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
** Transfer
ist ein
fall
von
Falling
%n{nicht} und
objectTransferred
** Transfer
and
** Object
und
** Object
ist ein
teil
von
** Entity
%n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Transfer
%n{nicht} und
** Object
ist ein
teil
von
** Entity
nicht haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Transfer
%n{nicht}
(=>
(
instance
?C
Catheterization
)
(
exists
(?CATH ?O)
(
and
(
instance
?CATH
Catheter
)
(
instance
?O
Organism
)
(
objectTransferred
?C ?CATH)
(
destination
?C ?O))))
Medicine.kif 570-577
Wenn
Transfer
ist ein
fall
von
Catheterization
%n{nicht},
dann es gibt
** Transfer
ATH und
Entity
um
** Transfer
ATH ist ein
fall
von
Catheter
%n{nicht} und
** Entity
ist ein
fall
von
Organism
%n{nicht} und
objectTransferred
** Transfer
and
** Transfer
ATH und
** Transfer
endet an
** Entity
%n{nicht}
(=>
(
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
Wenn
Transfer
ist ein
fall
von
Defrauding
%n{nicht},
dann es gibt
AutonomousAgent
,
** AutonomousAgent
, and und
Object
um
** Transfer
ist der
agent
von
** AutonomousAgent
%n{nicht} und
suffers
** Transfer
and
** ** AutonomousAgent
und
benefits
** Transfer
and
** AutonomousAgent
und
objectTransferred
** Transfer
and
** Object
und
** Object
beginnet an
** ** AutonomousAgent
%n{nicht} und
** Object
endet an
** AutonomousAgent
%n{nicht}
(=>
(
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
Wenn
Transfer
ist ein
fall
von
Drizzling
%n{nicht},
dann es gibt
Collection
,
SelfConnectedObject
, and und
RealNumber
um
** Collection
ist ein
fall
von
Collection
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
Water
%n{nicht} und
** SelfConnectedObject
ist ein
fall
von
LiquidDrop
%n{nicht} und
** SelfConnectedObject
ist ein
Mitglied
von
** Collection
%n{nicht} und
objectTransferred
** Transfer
and
** Collection
und
approximateDiameter
** SelfConnectedObject
and
** RealNumber
Millimeter
(s) und die Aussage
** RealNumber
ist
kleinerAlsOderGleich
0.5 %n{nicht} hat die modale Kraft von
Likely
(=>
(
instance
?EC
ElectricTransmission
)
(
exists
(?E)
(
and
(
instance
?E
Electricity
)
(
objectTransferred
?EC ?E))))
Cars.kif 2390-2395
Wenn
Transfer
ist ein
fall
von
ElectricTransmission
%n{nicht},
dann es gibt
Object
um
** Object
ist ein
fall
von
Electricity
%n{nicht} und
objectTransferred
** Transfer
and
** 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
Wenn
Physical
ist ein
fall
von
ExhaustValve
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** ** entity
ist ein
fall
von
Transfer
%n{nicht} und
objectTransferred
** ** entity
and
** entity
und
** Physical
ist der
pfad
entlang dem
** ** entity
geschieht und
** entity
ist ein
fall
von
Exhaust
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
GreaseFitting
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** ** entity
ist ein
fall
von
Grease
%n{nicht} und
** entity
ist ein
fall
von
Putting
%n{nicht} und
** Physical
ist der
pfad
entlang dem
** entity
geschieht und
objectTransferred
** entity
and
** ** entity
%n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
GreaseGun
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** ** entity
ist ein
fall
von
Grease
%n{nicht} und
** entity
ist ein
fall
von
Putting
%n{nicht} und
** Physical
ist ein
instrument
fuer
** entity
%n{nicht} und
objectTransferred
** entity
and
** ** entity
%n{nicht}
(=>
(
instance
?HT
HandTool
)
(
capability
Carrying
objectTransferred
?HT))
Cars.kif 4476-4478
Wenn
Object
ist ein
fall
von
HandTool
%n{nicht},
dann
** Object
ist faehig %n{nicht}, in der Rolle
objectTransferred
Carrying
zu tun
(=>
(
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
Wenn
Physical
ist ein
fall
von
ITunes
%n{nicht},
dann
** Physical
hat Zweck von es gibt
entity
und
** entity
um
** entity
ist ein
fall
von
MultimediaFile
%n{nicht} und
** ** entity
ist ein
fall
von
DownloadingOverNetwork
%n{nicht} und
objectTransferred
** ** entity
and
** entity
und
** Physical
ist ein
instrument
fuer
** ** entity
%n{nicht} %n{nicht}
(=>
(
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
Wenn
Physical
ist ein
fall
von
Inflammation
%n{nicht},
dann es gibt
Transfer
und
Object
um
** Transfer
ist ein
fall
von
Translocation
%n{nicht} und
** Object
ist ein
fall
von
WhiteBloodCell
%n{nicht} und
objectTransferred
** Transfer
and
** Object
und
** Transfer
endet an die Stelle
wo
** Physical
an die
zeit
des Bestehens von
** Physical
war %n{nicht}
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