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
Parte do Corpo
Fisico
e' uma
instancia
de
Artery
Entidade
e' uma
instancia
de
Parte do Corpo
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
LiquidMotion
objectTransferred
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Sangue
Entidade
termina
em
Entidade
(=>
(
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
Transferencia
e' uma
instancia
de
Vaccination
AutonomousAgent
experimenta
Transferencia
Vaccine
I e' uma
instancia
de
Vaccine
objectTransferred
Transferencia
and
Vaccine
I
Vaccine
I tem por
fim
Entidade
Virus
I
Entidade
e' uma
instancia
de
Infecting
AutonomousAgent
experimenta
Entidade
Virus
I e' uma
instancia
de
Virus
objectTransferred
Entidade
and
Virus
I
(=>
(
attribute
?O
NewItem
)
(
not
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O)))))
Cars.kif 5142-5148
NewItem
e' um
atributo
de
Objeto
Transferencia
Transferencia
e' uma
instancia
de
Comprar
objectTransferred
Transferencia
and
Objeto
(=>
(
attribute
?O
UsedItem
)
(
exists
(?B)
(
and
(
instance
?B
Buying
)
(
objectTransferred
?B ?O))))
Cars.kif 5129-5134
UsedItem
e' um
atributo
de
Objeto
Transferencia
Transferencia
e' uma
instancia
de
Comprar
objectTransferred
Transferencia
and
Objeto
(=>
(
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
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
e' uma
instancia
de
Comprar
objectTransferred
Entidade
and
Objeto
Entidade
Entidade
e' uma
instancia
de
Prescription
Entidade
inclui uma
referencia
a
Objeto
tem a
forca
modal
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
e' um
atributo
de
Objeto
o argumento
Entidade
Entidade
e' uma
instancia
de
Comprar
objectTransferred
Entidade
and
Objeto
Entidade
Entidade
e' uma
instancia
de
Prescription
Entidade
inclui uma
referencia
a
Objeto
tem a
forca
modal
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
e' um
atributo
de
Objeto
vale
durante
Objeto
IME
AutonomousAgent
Processo
and
Transferencia
AutonomousAgent
e' uma
instancia
de
Humano
Processo
e' uma
instancia
de
Bleeding
Transferencia
e' uma
instancia
de
Colar
AutonomousAgent
experimenta
Processo
Transferencia
termina
em
AutonomousAgent
objectTransferred
Transferencia
and
Objeto
Objeto
tem por
fim
Processo
2
Processo
2 e' uma
instancia
de
Bleeding
imediatemente
apos
tempo
de existencia de
Transferencia
engloba
tempo
de existencia de
Processo
2
AutonomousAgent
experimenta
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
Fisico
e' uma
instancia
de
Antiseizure
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Humano
Entidade
e' uma
instancia
de
Ingerir
objectTransferred
Entidade
and
Fisico
Entidade
e' um
agente
de
Entidade
tempo
de existencia de
Entidade
acontence
antes
de
Entidade
Entidade
Entidade
e' uma
instancia
de
Seizure
Entidade
experimenta
Entidade
vale
durante
Entidade
(=>
(
instance
?A
InjectedAntibiotic
)
(
hasPurpose
?A
(
exists
(?I)
(
and
(
instance
?I
Injecting
)
(
objectTransferred
?I ?A)))))
Medicine.kif 1347-1353
Fisico
e' uma
instancia
de
InjectedAntibiotic
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Injecting
objectTransferred
Entidade
and
Fisico
(=>
(
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
e' uma
instancia
de
AnimalGuiding
AutonomousAgent
Transferencia
and
AutonomousAgent
AutonomousAgent
e' uma
instancia
de
Animal
Processo
e' um
agente
de
AutonomousAgent
Transferencia
e' uma
instancia
de
Carrying
Transferencia
e' um
agente
de
AutonomousAgent
objectTransferred
Transferencia
and
AutonomousAgent
AutonomousAgent
e' um
instrumento
para
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 9697-9709
Fisico
e' uma
instancia
de
Antidepressant
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Ingerir
objectTransferred
Entidade
and
Fisico
Fisico
e' um
agente
de
Entidade
Depression
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Antipsychotic
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Ingerir
objectTransferred
Entidade
and
Fisico
Fisico
e' um
agente
de
Entidade
Psychosis
e' um
atributo
de
Entidade
vale
durante
apos
tempo
de existencia de
Entidade
(=>
(
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
Transferencia
e' uma
instancia
de
ApplyingTourniquet
AutonomousAgent
Entidade
and
Objeto
AutonomousAgent
e' uma
instancia
de
Agente
Entidade
e' uma
instancia
de
Mamifero
Tourniquet
e' um
atributo
de
Objeto
vale
durante
tempo
de existencia de
Transferencia
Transferencia
termina
em
Entidade
Transferencia
e' um
agente
de
AutonomousAgent
objectTransferred
Transferencia
and
Objeto
(=>
(
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
Transferencia
e' uma
instancia
de
Nascimento
Objeto
Transferencia
ABY
Female
e' um
atributo
de
Objeto
Transferencia
tem como
origem
Objeto
objectTransferred
Transferencia
and
Transferencia
ABY
NonFullyFormed
e' um
atributo
de
Transferencia
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
Processo
e' uma
instancia
de
BreakingWave
Processo
Objeto
,
Entidade
and
Transferencia
Processo
e' uma
instancia
de
WaterWave
Processo
e' um
sub
-processo de
Processo
Objeto
e' uma
instancia
de
BodyOfWater
Entidade
e' uma
instancia
de
BodyOfWater
Entidade
e' um
patient
de
Processo
Objeto
e' um
patient
de
Processo
Transferencia
e' uma
instancia
de
Falling
objectTransferred
Transferencia
and
Objeto
Objeto
e' uma &parte de
Entidade
vale
durante o
comeco
de
tempo
de existencia de
Transferencia
Objeto
e' uma &parte de
Entidade
vale
durante o
fim
de
tempo
de existencia de
Transferencia
(=>
(
instance
?C
Catheterization
)
(
exists
(?CATH ?O)
(
and
(
instance
?CATH
Catheter
)
(
instance
?O
Organism
)
(
objectTransferred
?C ?CATH)
(
destination
?C ?O))))
Medicine.kif 570-577
Transferencia
e' uma
instancia
de
Catheterization
Transferencia
ATH
Entidade
Transferencia
ATH e' uma
instancia
de
Catheter
Entidade
e' uma
instancia
de
Organismo
objectTransferred
Transferencia
and
Transferencia
ATH
Transferencia
termina
em
Entidade
(=>
(
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
Transferencia
e' uma
instancia
de
Defrauding
AutonomousAgent
AutonomousAgent
and
Objeto
Transferencia
e' um
agente
de
AutonomousAgent
suffers
Transferencia
and
AutonomousAgent
benefits
Transferencia
and
AutonomousAgent
objectTransferred
Transferencia
and
Objeto
Objeto
tem como
origem
AutonomousAgent
Objeto
termina
em
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
Transferencia
e' uma
instancia
de
Drizzling
Colecao
Objeto auto-conectado
and
Numero Real
Colecao
e' uma
instancia
de
Colecao
Objeto auto-conectado
e' uma
instancia
de
Agua
Objeto auto-conectado
e' uma
instancia
de
LiquidDrop
Objeto auto-conectado
e'
membro
de
Colecao
objectTransferred
Transferencia
and
Colecao
approximateDiameter
Objeto auto-conectado
and
Numero Real
Millimeter
(s) o argumento
Numero Real
e'
menor
ou igual a 0.5 tem a
forca
modal
de
Likely
(=>
(
instance
?EC
ElectricTransmission
)
(
exists
(?E)
(
and
(
instance
?E
Electricity
)
(
objectTransferred
?EC ?E))))
Cars.kif 2390-2395
Transferencia
e' uma
instancia
de
ElectricTransmission
Objeto
Objeto
e' uma
instancia
de
Electricity
objectTransferred
Transferencia
and
Objeto
(=>
(
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
Fisico
e' uma
instancia
de
ExhaustValve
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Transferencia
objectTransferred
Entidade
and
Entidade
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
Entidade
e' uma
instancia
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
Fisico
e' uma
instancia
de
GreaseFitting
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Grease
Entidade
e' uma
instancia
de
Colocar
Fisico
e' o
caminho
ao longo do qual
Entidade
ocorre
objectTransferred
Entidade
and
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
GreaseGun
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Grease
Entidade
e' uma
instancia
de
Colocar
Fisico
e' um
instrumento
para
Entidade
objectTransferred
Entidade
and
Entidade
(=>
(
instance
?HT
HandTool
)
(
capability
Carrying
objectTransferred
?HT))
Cars.kif 4476-4478
Objeto
e' uma
instancia
de
HandTool
Objeto
e'
capaz
de fazer
Carrying
no role
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
Fisico
e' uma
instancia
de
ITunes
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
MultimediaFile
Entidade
e' uma
instancia
de
DownloadingOverNetwork
objectTransferred
Entidade
and
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
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
Fisico
e' uma
instancia
de
Inflammation
Transferencia
Objeto
Transferencia
e' uma
instancia
de
Translocation
Objeto
e' uma
instancia
de
WhiteBloodCell
objectTransferred
Transferencia
and
Objeto
Transferencia
termina
em o lugar onde
Fisico
estava em
tempo
de existencia de
Fisico
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