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
suppliesBlood
Artery
and
partie du corps
physique
est une
instance
de
Artery
entit�
est une
instance
de
partie du corps
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
LiquidMotion
objectTransferred
entit�
and
entit�
entit�
est une
instance
de
sang
entit�
aboutit
�
entit�
(=>
(
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
vaccine
Vaccine
and
virus
transf�re
est une
instance
de
Vaccination
AutonomousAgent
exp
�rimente
transf�re
Vaccine
I est une
instance
de
Vaccine
objectTransferred
transf�re
and
Vaccine
I
Vaccine
I a pour
but
entit�
virus
I
entit�
est une
instance
de
Infecting
AutonomousAgent
exp
�rimente
entit�
virus
I est une
instance
de
virus
objectTransferred
entit�
and
virus
I
(=>
(
attribute
?O
NewItem
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O)))))
Cars.kif 5142-5148
NewItem
est un
attribut
de
objet
transf�re
transf�re
est une
instance
de
acheter
objectTransferred
transf�re
and
objet
(=>
(
attribute
?O
UsedItem
)
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O))))
Cars.kif 5129-5134
UsedItem
est un
attribut
de
objet
transf�re
transf�re
est une
instance
de
acheter
objectTransferred
transf�re
and
objet
(=>
(
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
USNonPrescriptionDrug
est un
attribut
de
objet
l'argument
entit�
entit�
est une
instance
de
acheter
objectTransferred
entit�
and
objet
entit�
entit�
est une
instance
de
Prescription
entit�
inclut une
r
�f�rence �
objet
a la
force
modale
de
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
USPrescriptionDrug
est un
attribut
de
objet
l'argument
entit�
entit�
est une
instance
de
acheter
objectTransferred
entit�
and
objet
entit�
entit�
est une
instance
de
Prescription
entit�
inclut une
r
�f�rence �
objet
a la
force
modale
de
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
Tourniquet
est un
attribut
de
objet
pendant
objet
IME
AutonomousAgent
processus
and
transf�re
AutonomousAgent
est une
instance
de
humain
processus
est une
instance
de
Bleeding
transf�re
est une
instance
de
attacher
AutonomousAgent
exp
�rimente
processus
transf�re
aboutit
�
AutonomousAgent
objectTransferred
transf�re
and
objet
objet
a pour
but
processus
2
processus
2 est une
instance
de
Bleeding
immediatement
apr
�s
temps
d'existence de
transf�re
recouvre
temps
d'existence de
processus
2
AutonomousAgent
exp
�rimente
processus
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
Physique
est une
instance
de
Antiseizure
physique
a pour
but
entit�
entit�
and
entit�
entit�
est une
instance
de
humain
entit�
est une
instance
de
ing�rer
objectTransferred
entit�
and
physique
entit�
est un
agent
de
entit�
temps
d'existence de
entit�
arrive
plus
t�t que
entit�
entit�
entit�
est une
instance
de
Seizure
entit�
exp
�rimente
entit�
pendant
entit�
(=>
(
instance
?A
InjectedAntibiotic
)
(
hasPurpose
?A
(
exists
(?I)
(
and
(
instance
?I
Injecting
)
(
objectTransferred
?I ?A)))))
Medicine.kif 1347-1353
Physique
est une
instance
de
InjectedAntibiotic
physique
a pour
but
entit�
entit�
est une
instance
de
Injecting
objectTransferred
entit�
and
physique
(=>
(
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
Processus
est une
instance
de
AnimalGuiding
AutonomousAgent
transf�re
and
AutonomousAgent
AutonomousAgent
est une
instance
de
animal
processus
est un
agent
de
AutonomousAgent
transf�re
est une
instance
de
Carrying
transf�re
est un
agent
de
AutonomousAgent
objectTransferred
transf�re
and
AutonomousAgent
AutonomousAgent
est un
instrument
pour
processus
(=>
(
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
Physique
est une
instance
de
Antidepressant
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
ing�rer
objectTransferred
entit�
and
physique
physique
est un
agent
de
entit�
Depression
est un
attribut
de
entit�
pendant
apr
�s
temps
d'existence de
entit�
(=>
(
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
Physique
est une
instance
de
Antipsychotic
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
ing�rer
objectTransferred
entit�
and
physique
physique
est un
agent
de
entit�
Psychosis
est un
attribut
de
entit�
pendant
apr
�s
temps
d'existence de
entit�
(=>
(
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
Transf�re
est une
instance
de
ApplyingTourniquet
AutonomousAgent
entit�
and
objet
AutonomousAgent
est une
instance
de
agent
entit�
est une
instance
de
mammif�re
Tourniquet
est un
attribut
de
objet
pendant
temps
d'existence de
transf�re
transf�re
aboutit
�
entit�
transf�re
est un
agent
de
AutonomousAgent
objectTransferred
transf�re
and
objet
(=>
(
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
Transf�re
est une
instance
de
naissance
objet
transf�re
ABY
Female
est un
attribut
de
objet
transf�re
a pour
origine
objet
objectTransferred
transf�re
and
transf�re
ABY
NonFullyFormed
est un
attribut
de
transf�re
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
Processus
est une
instance
de
BreakingWave
processus
objet
,
entit�
and
transf�re
processus
est une
instance
de
WaterWave
processus
est un
sous
-processus de
processus
objet
est une
instance
de
BodyOfWater
entit�
est une
instance
de
BodyOfWater
entit�
est un
patient
de
processus
objet
est un
patient
de
processus
transf�re
est une
instance
de
Falling
objectTransferred
transf�re
and
objet
objet
est une
partie
de
entit�
pendant
le
d
�but de
temps
d'existence de
transf�re
objet
est une
partie
de
entit�
pendant
la
fin
de
temps
d'existence de
transf�re
(=>
(
instance
?C
Catheterization
)
(
exists
(?CATH ?O)
(
and
(
instance
?CATH
Catheter
)
(
instance
?O
Organism
)
(
objectTransferred
?C ?CATH)
(
destination
?C ?O))))
Medicine.kif 570-577
Transf�re
est une
instance
de
Catheterization
transf�re
ATH
entit�
transf�re
ATH est une
instance
de
Catheter
entit�
est une
instance
de
organisme
objectTransferred
transf�re
and
transf�re
ATH
transf�re
aboutit
�
entit�
(=>
(
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
Transf�re
est une
instance
de
Defrauding
AutonomousAgent
AutonomousAgent
and
objet
transf�re
est un
agent
de
AutonomousAgent
suffers
transf�re
and
AutonomousAgent
benefits
transf�re
and
AutonomousAgent
objectTransferred
transf�re
and
objet
objet
a pour
origine
AutonomousAgent
objet
aboutit
�
AutonomousAgent
(=>
(
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
Transf�re
est une
instance
de
Drizzling
collection
objet en une partie
and
nombre r�el
collection
est une
instance
de
collection
objet en une partie
est une
instance
de
eau
objet en une partie
est une
instance
de
LiquidDrop
objet en une partie
est un
membre
de
collection
objectTransferred
transf�re
and
collection
approximateDiameter
objet en une partie
and
nombre r�el
Millimeter
(s) l'argument
nombre r�el
est plus
petit
ou �gal � 0.5 a la
force
modale
de
Likely
(=>
(
instance
?EC
ElectricTransmission
)
(
exists
(?E)
(
and
(
instance
?E
Electricity
)
(
objectTransferred
?EC ?E))))
Cars.kif 2390-2395
Transf�re
est une
instance
de
ElectricTransmission
objet
objet
est une
instance
de
Electricity
objectTransferred
transf�re
and
objet
(=>
(
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
Physique
est une
instance
de
ExhaustValve
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
transf�re
objectTransferred
entit�
and
entit�
physique
est le
chemin
le long duquel
entit�
se produit
entit�
est une
instance
de
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
Physique
est une
instance
de
GreaseFitting
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
Grease
entit�
est une
instance
de
mettre
physique
est le
chemin
le long duquel
entit�
se produit
objectTransferred
entit�
and
entit�
(=>
(
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
Physique
est une
instance
de
GreaseGun
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
Grease
entit�
est une
instance
de
mettre
physique
est un
instrument
pour
entit�
objectTransferred
entit�
and
entit�
(=>
(
instance
?HT
HandTool
)
(
capability
Carrying
objectTransferred
?HT))
Cars.kif 4476-4478
Objet
est une
instance
de
HandTool
objet
est
capable
de faire
Carrying
dans le r�le
objectTransferred
(=>
(
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
Physique
est une
instance
de
ITunes
physique
a pour
but
entit�
entit�
entit�
est une
instance
de
MultimediaFile
entit�
est une
instance
de
DownloadingOverNetwork
objectTransferred
entit�
and
entit�
physique
est un
instrument
pour
entit�
(=>
(
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
Physique
est une
instance
de
Inflammation
transf�re
objet
transf�re
est une
instance
de
Translocation
objet
est une
instance
de
WhiteBloodCell
objectTransferred
transf�re
and
objet
transf�re
aboutit
� la place
o
�
physique
�tait �
temps
d'existence de
physique
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