Liquid
(=>
(
instance
?E
Electrolyte
)
(
hasPurpose
?E
(
exists
(?ET)
(
and
(
instance
?ET
ElectricTransmission
)
(
patient
?ET ?E)
(
holdsDuring
?ET
(
attribute
?E
Liquid
))))))
Cars.kif 2502-2510
Fisico
e' uma
instancia
de
Electrolyte
Fisico
tem por
fim
Fisico
T
Fisico
T e' uma
instancia
de
ElectricTransmission
Fisico
e' um
patient
de
Fisico
T
Liquid
e' um
atributo
de
Fisico
vale
durante
Fisico
T
(=>
(
instance
?H
HydraulicFluid
)
(
hasPurpose
?H
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
instrument
?P ?H)
(
holdsDuring
(
WhenFn
?P)
(
attribute
?H
Liquid
))))))
Cars.kif 1587-1596
Fisico
e' uma
instancia
de
HydraulicFluid
Fisico
tem por
fim
Entidade
Entidade
e' uma
instancia
de
Processo
Fisico
e' um
instrumento
para
Entidade
Liquid
e' um
atributo
de
Fisico
vale
durante
tempo
de existencia de
Entidade
(=>
(
instance
?H
Hydrometer
)
(
hasPurpose
?H
(
exists
(?M ?S)
(
and
(
instance
?M
Measuring
)
(
instance
?S
Substance
)
(
attribute
?S
Liquid
)
(
patient
?M ?S)
(
instrument
?M ?H)))))
Cars.kif 3051-3060
Fisico
e' uma
instancia
de
Hydrometer
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Medir
Entidade
e' uma
instancia
de
Substancia
Liquid
e' um
atributo
de
Entidade
Entidade
e' um
patient
de
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?INJECT
Injecting
)
(
exists
(?SUBSTANCE ?ANIMAL)
(
and
(
patient
?INJECT ?SUBSTANCE)
(
instance
?SUBSTANCE
BiologicallyActiveSubstance
)
(
attribute
?SUBSTANCE
Liquid
)
(
destination
?INJECT ?ANIMAL)
(
instance
?ANIMAL
Animal
))))
Merge.kif 11438-11446
Processo
e' uma
instancia
de
Injecting
Objeto
Entidade
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
Substancia Biologica Ativa
Liquid
e' um
atributo
de
Objeto
Processo
termina
em
Entidade
Entidade
e' uma
instancia
de
Animal
(=>
(
instance
?LD
LiquidDrop
)
(
attribute
?LD
Liquid
))
Geography.kif 7493-7495
Objeto
e' uma
instancia
de
LiquidDrop
Liquid
e' um
atributo
de
Objeto
(=>
(
instance
?MIX
LiquidMixture
)
(
exists
(?PART)
(
and
(
part
?PART ?MIX)
(
attribute
?PART
Liquid
))))
Merge.kif 14716-14721
Objeto
e' uma
instancia
de
LiquidMixture
Objeto
Objeto
e' uma &parte de
Objeto
Liquid
e' um
atributo
de
Objeto
(=>
(
instance
?OBJ
Solution
)
(
attribute
?OBJ
Liquid
))
Merge.kif 17560-17562
Objeto
e' uma
instancia
de
Solucao
Liquid
e' um
atributo
de
Objeto
(=>
(
instance
?POUR
Pouring
)
(
exists
(?LIQUID ?CONTAINER1 ?CONTAINER2)
(
and
(
origin
?POUR ?CONTAINER1)
(
destination
?POUR ?CONTAINER2)
(
instance
?CONTAINER1
Container
)
(
instance
?CONTAINER2
Container
)
(
not
(
equal
?CONTAINER1 ?CONTAINER2))
(
patient
?POUR ?LIQUID)
(
attribute
?LIQUID
Liquid
)
(
instance
?LIQUID
Substance
))))
Mid-level-ontology.kif 17538-17549
Processo
e' uma
instancia
de
Pouring
Objeto
Objeto
and
Entidade
Processo
tem como
origem
Objeto
Processo
termina
em
Entidade
Objeto
e' uma
instancia
de
Container
Entidade
e' uma
instancia
de
Container
Objeto
e'
igual
a
Entidade
Objeto
e' um
patient
de
Processo
Liquid
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
Substancia
(=>
(
instance
?PROCESS
FreezingRain
)
(
precipitationState
?PROCESS
Liquid
))
Weather.kif 1087-1089
WeatherProcess
e' uma
instancia
de
FreezingRain
precipitationState
WeatherProcess
and
Liquid
(=>
(
instance
?PROCESS
Raining
)
(
precipitationState
?PROCESS
Liquid
))
Weather.kif 1053-1055
WeatherProcess
e' uma
instancia
de
Raining
precipitationState
WeatherProcess
and
Liquid
(=>
(
instance
?S
Sauce
)
(
exists
(?X)
(
and
(
instance
?X
Substance
)
(
part
?X ?S)
(
attribute
?X
Liquid
))))
Food.kif 2068-2074
Objeto
e' uma
instancia
de
Sauce
Objeto
Objeto
e' uma
instancia
de
Substancia
Objeto
e' uma &parte de
Objeto
Liquid
e' um
atributo
de
Objeto
(=>
(
instance
?S
Spraying
)
(
exists
(?G ?L ?M)
(
and
(
attribute
?G
Gas
)
(
attribute
?L
Liquid
)
(
instance
?M
GasMixture
)
(
part
?M ?G)
(
part
?M ?L)
(
patient
?S ?G)
(
patient
?S ?L)
(
result
?S ?M))))
Cars.kif 1092-1103
Processo
e' uma
instancia
de
Spraying
Objeto
Objeto
and
Objeto
Gas
e' um
atributo
de
Objeto
Liquid
e' um
atributo
de
Objeto
Objeto
e' uma
instancia
de
GasMixture
Objeto
e' uma &parte de
Objeto
Objeto
e' uma &parte de
Objeto
Objeto
e' um
patient
de
Processo
Objeto
e' um
patient
de
Processo
Objeto
e' o
resultado
de
Processo
(=>
(
instance
?S
Strainer
)
(
hasPurpose
?S
(
exists
(?MIX ?SUB ?LIQUID ?REMOVE)
(
and
(
instance
?MIX
Mixture
)
(
instance
?SUB
Substance
)
(
instance
?LIQUID
Substance
)
(
part
?SUB ?MIX)
(
attribute
?SUB
Solid
)
(
instance
?REMOVE
Removing
)
(
part
?LIQUID ?MIX)
(
attribute
?LIQUID
Liquid
)
(
patient
?REMOVE ?SUB)
(
result
?REMOVE ?LIQUID)
(
instrument
?REMOVE ?S)))))
Mid-level-ontology.kif 4549-4564
Fisico
e' uma
instancia
de
Strainer
Fisico
tem por
fim
Entidade
Fisico
UB,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Mistura
Fisico
UB e' uma
instancia
de
Substancia
Entidade
e' uma
instancia
de
Substancia
Fisico
UB e' uma &parte de
Entidade
Solid
e' um
atributo
de
Fisico
UB
Entidade
e' uma
instancia
de
Remover
Entidade
e' uma &parte de
Entidade
Liquid
e' um
atributo
de
Entidade
Fisico
UB e' um
patient
de
Entidade
Entidade
e' o
resultado
de
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?SHIP
LiquefiedGasTankerShip
)
(
cargoType
?SHIP
(
ExtensionFn
Liquid
)))
Transportation.kif 2389-2391
Veiculo de Transporte
e' uma
instancia
de
LiquefiedGasTankerShip
cargoType
Veiculo de Transporte
and a
classe
correspondente a
Liquid
(=>
(
instance
?SUBSTANCE
LiquidBodySubstance
)
(
attribute
?SUBSTANCE
Liquid
))
Mid-level-ontology.kif 10853-10855
Objeto
e' uma
instancia
de
LiquidBodySubstance
Liquid
e' um
atributo
de
Objeto
(=>
(
instance
?T
TankCar
)
(
exists
(?TRANS)
(
capability
(
KappaFn
?TRANS
(
exists
(?L ?T)
(
and
(
instance
?L
Liquid
)
(
instance
?TRANS
Transportation
)
(
patient
?TRANS ?L))))
instrument
?T)))
Transportation.kif 2236-2246
Objeto
e' uma
instancia
de
TankCar
Objeto
RANS
Objeto
e'
capaz
de fazer a
classe
descrita por
Objeto
RANS no role
instrument
(=>
(
instance
?WET
Wetting
)
(
exists
(?OBJ)
(
and
(
attribute
?OBJ
Liquid
)
(
patient
?WET ?OBJ))))
Merge.kif 12766-12771
Processo
e' uma
instancia
de
Molhar
Objeto
Liquid
e' um
atributo
de
Objeto
Objeto
e' um
patient
de
Processo
(=>
(
instance
?X
CocoaLiquor
)
(
exists
(?H ?B)
(
and
(
instance
?H
Heating
)
(
patient
?H ?B)
(
instance
?B
CocoaBean
)
(
attribute
?B
DryRoastAttribute
)
(
attribute
?B
HulledAttribute
)
(
attribute
?B
FermentedAttribute
)
(
result
?H ?X)
(
holdsDuring
?H
(
attribute
?X
Liquid
)))))
Food.kif 2449-2461
Entidade
e' uma
instancia
de
CocoaLiquor
Processo
Objeto
Processo
e' uma
instancia
de
Aquecer
Objeto
e' um
patient
de
Processo
Objeto
e' uma
instancia
de
CocoaBean
DryRoastAttribute
e' um
atributo
de
Objeto
HulledAttribute
e' um
atributo
de
Objeto
FermentedAttribute
e' um
atributo
de
Objeto
Entidade
e' o
resultado
de
Processo
Liquid
e' um
atributo
de
Entidade
vale
durante
Processo
(=>
(
instance
?X
Emulsion
)
(
exists
(?L1 ?L2)
(
and
(
instance
?L1
Substance
)
(
instance
?L2
Substance
)
(
attribute
?L1
Liquid
)
(
attribute
?L2
Liquid
)
(
not
(
equal
?L1 ?L2)))))
Mid-level-ontology.kif 21575-21584
Entidade
e' uma
instancia
de
Emulsion
Objeto
Objeto
Objeto
e' uma
instancia
de
Substancia
Objeto
e' uma
instancia
de
Substancia
Liquid
e' um
atributo
de
Objeto
Liquid
e' um
atributo
de
Objeto
Objeto
e'
igual
a
Objeto
(=>
(
instance
?X
Urine
)
(
attribute
?X
Liquid
))
Mid-level-ontology.kif 2099-2101
Objeto
e' uma
instancia
de
Urine
Liquid
e' um
atributo
de
Objeto
(=>
(
orientation
?O1 ?O2
Downstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29801-29810
Objeto
e'
Downstream
em relacao a
Objeto
Transferencia
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Liquid
e' um
atributo
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
Transferencia
termina
em
Objeto
(=>
(
orientation
?O1 ?O2
Downwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O2)
(
beforeOnPath
?O2 ?O1 ?P ?T)
(
destination
?T ?O1))))
Mid-level-ontology.kif 29823-29832
Objeto
e'
Downwind
em relacao a
Objeto
Transferencia
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Liquid
e' um
atributo
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
Transferencia
termina
em
Objeto
(=>
(
orientation
?O1 ?O2
Upstream
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29790-29799
Objeto
e'
Upstream
em relacao a
Objeto
Transferencia
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Liquid
e' um
atributo
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
Transferencia
termina
em
Objeto
(=>
(
orientation
?O1 ?O2
Upwind
)
(
exists
(?T ?L ?P)
(
and
(
instance
?T
Transfer
)
(
attribute
?L
Liquid
)
(
path
?T ?P)
(
origin
?T ?O1)
(
beforeOnPath
?O1 ?O2 ?P ?T)
(
destination
?T ?O2))))
Mid-level-ontology.kif 29812-29821
Objeto
e'
Upwind
em relacao a
Objeto
Transferencia
Objeto
and
Objeto
Transferencia
e' uma
instancia
de
Transferencia
Liquid
e' um
atributo
de
Objeto
Objeto
e' o
caminho
ao longo do qual
Transferencia
ocorre
Transferencia
tem como
origem
Objeto
beforeOnPath
Objeto
,
Objeto
,
Objeto
and
Transferencia
Transferencia
termina
em
Objeto
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