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
ParteDelCorpo
Entit�Concreta
è un'
istanza
di
Artery
Entit�
è un'
istanza
di
ParteDelCorpo
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
LiquidMotion
objectTransferred
Entit�
and
Entit�
Entit�
è un'
istanza
di
Sangue
Entit�
fine
s in
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
Trasferimento
è un'
istanza
di
Vaccination
AutonomousAgent
esperisce
s
Trasferimento
Vaccine
I è un'
istanza
di
Vaccine
objectTransferred
Trasferimento
and
Vaccine
I
Vaccine
I ha
scopo
Entit�
Virus
I
Entit�
è un'
istanza
di
Infecting
AutonomousAgent
esperisce
s
Entit�
Virus
I è un'
istanza
di
Virus
objectTransferred
Entit�
and
Virus
I
(=>
(
attribute
?O
NewItem
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O)))))
Cars.kif 5150-5156
attribute
Oggetto
and
NewItem
Trasferimento
Trasferimento
è un'
istanza
di
Acquistare
objectTransferred
Trasferimento
and
Oggetto
(=>
(
attribute
?O
UsedItem
)
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O))))
Cars.kif 5137-5142
attribute
Oggetto
and
UsedItem
Trasferimento
Trasferimento
è un'
istanza
di
Acquistare
objectTransferred
Trasferimento
and
Oggetto
(=>
(
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 9317-9329
attribute
Oggetto
and
USNonPrescriptionDrug
l'affermazione
Entit�
Entit�
è un'
istanza
di
Acquistare
objectTransferred
Entit�
and
Oggetto
Entit�
Entit�
è un'
istanza
di
Prescription
Entit�
include un
riferimento
a
Oggetto
ha il modello di forza di
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 9295-9307
attribute
Oggetto
and
USPrescriptionDrug
l'affermazione
Entit�
Entit�
è un'
istanza
di
Acquistare
objectTransferred
Entit�
and
Oggetto
Entit�
Entit�
è un'
istanza
di
Prescription
Entit�
include un
riferimento
a
Oggetto
ha il modello di forza di
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
attribute
Oggetto
and
Tourniquet
vales
durante
Oggetto
IME
AutonomousAgent
Processo
and
Trasferimento
AutonomousAgent
è un'
istanza
di
Umano
Processo
è un'
istanza
di
Bleeding
Trasferimento
è un'
istanza
di
Attaccare
AutonomousAgent
esperisce
s
Processo
Trasferimento
fine
s in
AutonomousAgent
objectTransferred
Trasferimento
and
Oggetto
Oggetto
ha
scopo
Processo
2
Processo
2 è un'
istanza
di
Bleeding
immediatamente
dopo
il
tempo
di esistenza di
Trasferimento
sovrappone
s il
tempo
di esistenza di
Processo
2
AutonomousAgent
esperisce
s
Processo
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
Entit�Concreta
è un'
istanza
di
Antiseizure
Entit�Concreta
ha
scopo
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Umano
Entit�
è un'
istanza
di
Ingestione
objectTransferred
Entit�
and
Entit�Concreta
Entit�
è un
agente
di
Entit�
il
tempo
di esistenza di
Entit�
accades
prima
di
Entit�
Entit�
Entit�
è un'
istanza
di
Seizure
Entit�
esperisce
s
Entit�
vales
durante
Entit�
(=>
(
instance
?A
InjectedAntibiotic
)
(
hasPurpose
?A
(
exists
(?I)
(
and
(
instance
?I
Injecting
)
(
objectTransferred
?I ?A)))))
Medicine.kif 1347-1353
Entit�Concreta
è un'
istanza
di
InjectedAntibiotic
Entit�Concreta
ha
scopo
Entit�
Entit�
è un'
istanza
di
Injecting
objectTransferred
Entit�
and
Entit�Concreta
(=>
(
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
Processo
è un'
istanza
di
AnimalGuiding
AutonomousAgent
Trasferimento
and
AutonomousAgent
AutonomousAgent
è un'
istanza
di
Animale
Processo
è un
agente
di
AutonomousAgent
Trasferimento
è un'
istanza
di
Carrying
Trasferimento
è un
agente
di
AutonomousAgent
objectTransferred
Trasferimento
and
AutonomousAgent
AutonomousAgent
è uno
strumento
per
Processo
(=>
(
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 9696-9708
Entit�Concreta
è un'
istanza
di
Antidepressant
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Ingestione
objectTransferred
Entit�
and
Entit�Concreta
Entit�Concreta
è un
agente
di
Entit�
attribute
Entit�
and
Depression
vales
durante
dopo
il
tempo
di esistenza di
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 9716-9728
Entit�Concreta
è un'
istanza
di
Antipsychotic
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Ingestione
objectTransferred
Entit�
and
Entit�Concreta
Entit�Concreta
è un
agente
di
Entit�
attribute
Entit�
and
Psychosis
vales
durante
dopo
il
tempo
di esistenza di
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
Trasferimento
è un'
istanza
di
ApplyingTourniquet
AutonomousAgent
Entit�
and
Oggetto
AutonomousAgent
è un'
istanza
di
Agente
Entit�
è un'
istanza
di
Mammifero
attribute
Oggetto
and
Tourniquet
vales
durante
il
tempo
di esistenza di
Trasferimento
Trasferimento
fine
s in
Entit�
Trasferimento
è un
agente
di
AutonomousAgent
objectTransferred
Trasferimento
and
Oggetto
(=>
(
instance
?B
Birth
)
(
exists
(?M ?BABY)
(
and
(
attribute
?M
Female
)
(
origin
?B ?M)
(
objectTransferred
?B ?BABY)
(
attribute
?BABY
NonFullyFormed
))))
Mid-level-ontology.kif 24009-24016
Trasferimento
è un'
istanza
di
Nascita
Oggetto
Trasferimento
ABY
attribute
Oggetto
and
Female
Trasferimento
si
originas in
Oggetto
objectTransferred
Trasferimento
and
Trasferimento
ABY
attribute
Trasferimento
ABY and
NonFullyFormed
(=>
(
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 1349-1369
Processo
è un'
istanza
di
BreakingWave
Processo
Oggetto
,
Entit�
and
Trasferimento
Processo
è un'
istanza
di
WaterWave
Processo
è un
sottoprocesso
di
Processo
Oggetto
è un'
istanza
di
BodyOfWater
Entit�
è un'
istanza
di
BodyOfWater
Entit�
è un
paziente
di
Processo
Oggetto
è un
paziente
di
Processo
Trasferimento
è un'
istanza
di
Falling
objectTransferred
Trasferimento
and
Oggetto
Oggetto
è una
parte
di
Entit�
vales
durante
l'
inizio
di il
tempo
di esistenza di
Trasferimento
Oggetto
è una
parte
di
Entit�
vales
durante
la
fine
di il
tempo
di esistenza di
Trasferimento
(=>
(
instance
?C
Catheterization
)
(
exists
(?CATH ?O)
(
and
(
instance
?CATH
Catheter
)
(
instance
?O
Organism
)
(
objectTransferred
?C ?CATH)
(
destination
?C ?O))))
Medicine.kif 570-577
Trasferimento
è un'
istanza
di
Catheterization
Trasferimento
ATH
Entit�
Trasferimento
ATH è un'
istanza
di
Catheter
Entit�
è un'
istanza
di
Organismo
objectTransferred
Trasferimento
and
Trasferimento
ATH
Trasferimento
fine
s in
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 18310-18319
Trasferimento
è un'
istanza
di
Defrauding
AutonomousAgent
AutonomousAgent
and
Oggetto
Trasferimento
è un
agente
di
AutonomousAgent
suffers
Trasferimento
and
AutonomousAgent
benefits
Trasferimento
and
AutonomousAgent
objectTransferred
Trasferimento
and
Oggetto
Oggetto
si
originas in
AutonomousAgent
Oggetto
fine
s in
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 2799-2811
Trasferimento
è un'
istanza
di
Drizzling
InsiemeConcreto
OggettoIntegro
and
NumeroReale
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
OggettoIntegro
è un'
istanza
di
Acqua
OggettoIntegro
è un'
istanza
di
LiquidDrop
OggettoIntegro
è un
membro
di
InsiemeConcreto
objectTransferred
Trasferimento
and
InsiemeConcreto
approximateDiameter
OggettoIntegro
and
NumeroReale
Millimeter
(s l'affermazione
NumeroReale
è
minore
o uguale a 0.5 ha il modello di forza di
Likely
(=>
(
instance
?EC
ElectricTransmission
)
(
exists
(?E)
(
and
(
instance
?E
Electricity
)
(
objectTransferred
?EC ?E))))
Cars.kif 2396-2401
Trasferimento
è un'
istanza
di
ElectricTransmission
Oggetto
Oggetto
è un'
istanza
di
Electricity
objectTransferred
Trasferimento
and
Oggetto
(=>
(
instance
?EV
ExhaustValve
)
(
hasPurpose
?EV
(
exists
(?E ?T)
(
and
(
instance
?T
Transfer
)
(
objectTransferred
?T ?E)
(
path
?T ?EV)
(
instance
?E
Exhaust
)))))
Cars.kif 2671-2679
Entit�Concreta
è un'
istanza
di
ExhaustValve
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Trasferimento
objectTransferred
Entit�
and
Entit�
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
Entit�
è un'
istanza
di
Exhaust
(=>
(
instance
?GF
GreaseFitting
)
(
hasPurpose
?GF
(
exists
(?P ?G)
(
and
(
instance
?G
Grease
)
(
instance
?P
Putting
)
(
path
?P ?GF)
(
objectTransferred
?P ?G)))))
Cars.kif 3026-3034
Entit�Concreta
è un'
istanza
di
GreaseFitting
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Grease
Entit�
è un'
istanza
di
Porre
Entit�Concreta
è
cammino
mentre
Entit�
si verifica
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 3042-3050
Entit�Concreta
è un'
istanza
di
GreaseGun
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
Grease
Entit�
è un'
istanza
di
Porre
Entit�Concreta
è uno
strumento
per
Entit�
objectTransferred
Entit�
and
Entit�
(=>
(
instance
?HT
HandTool
)
(
capability
Carrying
objectTransferred
?HT))
Cars.kif 4484-4486
Oggetto
è un'
istanza
di
HandTool
Oggetto
è
capace
di fare
Carrying
nel ruolo
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
Entit�Concreta
è un'
istanza
di
ITunes
Entit�Concreta
ha
scopo
Entit�
Entit�
Entit�
è un'
istanza
di
MultimediaFile
Entit�
è un'
istanza
di
DownloadingOverNetwork
objectTransferred
Entit�
and
Entit�
Entit�Concreta
è uno
strumento
per
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 12396-12405
Entit�Concreta
è un'
istanza
di
Inflammation
Trasferimento
Oggetto
Trasferimento
è un'
istanza
di
Translocation
Oggetto
è un'
istanza
di
WhiteBloodCell
objectTransferred
Trasferimento
and
Oggetto
Trasferimento
fine
s in il luogo
dove
Entit�Concreta
era in il
tempo
di esistenza di
Entit�Concreta
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