resource
(=>
(
instance
?C
ColdBrewingCoffee
)
(
exists
(?W)
(
and
(
instance
?W
DrinkingWater
)
(
resource
?C ?W)
(
measure
?W
(
MeasureFn
20
CelsiusDegree
)))))
Food.kif 844-851
Processo
e' uma
instancia
de
ColdBrewingCoffee
Objeto
Objeto
e' uma
instancia
de
DrinkingWater
Objeto
e' um
recurso
para
Processo
a
medida
de
Objeto
e' 20
CelsiusDegree
(s)
(=>
(
instance
?C
Combustion
)
(
exists
(?O)
(
and
(
instance
?O
Oxygen
)
(
resource
?C ?O))))
Cars.kif 20-25
Processo
e' uma
instancia
de
Combustao
Objeto
Objeto
e' uma
instancia
de
Oxygen
Objeto
e' um
recurso
para
Processo
(=>
(
instance
?CH
Charcoal
)
(
exists
(?C ?W)
(
and
(
instance
?C
Combustion
)
(
instance
?W
Wood
)
(
result
?C ?CH)
(
resource
?C ?W))))
Cars.kif 1674-1681
Entidade
e' uma
instancia
de
Charcoal
Processo
Objeto
Processo
e' uma
instancia
de
Combustao
Objeto
e' uma
instancia
de
Wood
Entidade
e' o
resultado
de
Processo
Objeto
e' um
recurso
para
Processo
(=>
(
instance
?CM
CoffeeMaking
)
(
exists
(?S ?W ?CG)
(
and
(
subProcess
?S ?CM)
(
instance
?S
Soaking
)
(
resource
?S ?W)
(
instance
?W
DrinkingWater
)
(
patient
?S ?CG)
(
instance
?CG
CoffeeGrind
))))
Food.kif 675-684
Processo
e' uma
instancia
de
CoffeeMaking
Processo
Objeto
and
Entidade
Processo
e' um
sub
-processo de
Processo
Processo
e' uma
instancia
de
Soaking
Objeto
e' um
recurso
para
Processo
Objeto
e' uma
instancia
de
DrinkingWater
Entidade
e' um
patient
de
Processo
Entidade
e' uma
instancia
de
CoffeeGrind
(=>
(
instance
?COMPOUND
CompoundSubstance
)
(
exists
(?ELEMENT1 ?ELEMENT2 ?PROCESS)
(
and
(
instance
?ELEMENT1
ElementalSubstance
)
(
instance
?ELEMENT2
ElementalSubstance
)
(
not
(
equal
?ELEMENT1 ?ELEMENT2))
(
instance
?PROCESS
ChemicalSynthesis
)
(
resource
?PROCESS ?ELEMENT1)
(
resource
?PROCESS ?ELEMENT2)
(
result
?PROCESS ?COMPOUND))))
Merge.kif 12535-12545
Entidade
e' uma
instancia
de
Substancia Composta
Objeto
Objeto
and
Processo
Objeto
e' uma
instancia
de
Substancia Elementar
Objeto
e' uma
instancia
de
Substancia Elementar
Objeto
e'
igual
a
Objeto
Processo
e' uma
instancia
de
Sintese Quimica
Objeto
e' um
recurso
para
Processo
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?DIALYSIS
Dialysis
)
(
exists
(?SOLUTION ?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
resource
?DIALYSIS ?SOLUTION)
(
instance
?SOLUTION
Solution
)
(
result
?DIALYSIS ?SUBSTANCE1)
(
instance
?SUBSTANCE1
PureSubstance
)
(
result
?DIALYSIS ?SUBSTANCE2)
(
instance
?SUBSTANCE2
PureSubstance
)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Mid-level-ontology.kif 19602-19612
Processo
e' uma
instancia
de
Dialysis
Objeto
Entidade
and
Entidade
Objeto
e' um
recurso
para
Processo
Objeto
e' uma
instancia
de
Solucao
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Substancia Pura
Entidade
e' o
resultado
de
Processo
Entidade
e' uma
instancia
de
Substancia Pura
Entidade
e'
igual
a
Entidade
(=>
(
instance
?DSAVE
DataSaving
)
(
exists
(?DSTORE)
(
and
(
instance
?DSTORE
DataStorageDevice
)
(
resource
?DSAVE ?DSTORE))))
QoSontology.kif 1914-1919
Processo
e' uma
instancia
de
DataSaving
Objeto
Objeto
e' uma
instancia
de
DataStorageDevice
Objeto
e' um
recurso
para
Processo
(=>
(
instance
?F
CottonFabric
)
(
exists
(?M ?C)
(
and
(
instance
?M
Making
)
(
resource
?M ?C)
(
instance
?C
Cotton
)
(
result
?M ?F))))
Mid-level-ontology.kif 5453-5460
Entidade
e' uma
instancia
de
CottonFabric
Processo
Objeto
Processo
e' uma
instancia
de
Fazer
Objeto
e' um
recurso
para
Processo
Objeto
e' uma
instancia
de
Cotton
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?F
Fermentation
)
(
exists
(?C ?M)
(
and
(
instance
?C
Carbohydrate
)
(
instance
?M
Microorganism
)
(
instrument
?F ?M)
(
resource
?F ?C))))
Food.kif 3547-3554
Processo
e' uma
instancia
de
Fermentation
Objeto
Objeto
Objeto
e' uma
instancia
de
Carbohidrato
Objeto
e' uma
instancia
de
Microorganismo
Objeto
e' um
instrumento
para
Processo
Objeto
e' um
recurso
para
Processo
(=>
(
instance
?F
Frying
)
(
exists
(?O)
(
and
(
instance
?O
Oil
)
(
resource
?F ?O))))
Food.kif 2569-2574
Processo
e' uma
instancia
de
Frying
Objeto
Objeto
e' uma
instancia
de
Oil
Objeto
e' um
recurso
para
Processo
(=>
(
instance
?FA
FuelAtomizer
)
(
hasPurpose
?FA
(
exists
(?F ?S ?A ?C)
(
and
(
instance
?F
Fuel
)
(
instance
?S
Spraying
)
(
instance
?A
Air
)
(
instance
?C
Combustion
)
(
patient
?S ?A)
(
patient
?S ?F)
(
resource
?C ?F)
(
resource
?C ?A)))))
Cars.kif 1112-1124
Fisico
e' uma
instancia
de
FuelAtomizer
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Fuel
Entidade
e' uma
instancia
de
Spraying
Entidade
e' uma
instancia
de
Air
Entidade
e' uma
instancia
de
Combustao
Entidade
e' um
patient
de
Entidade
Entidade
e' um
patient
de
Entidade
Entidade
e' um
recurso
para
Entidade
Entidade
e' um
recurso
para
Entidade
(=>
(
instance
?FM
FilmMaking
)
(
exists
(?M ?F)
(
and
(
instance
?M
MotionPicture
)
(
result
?FM ?M)
(
instance
?F
PhotographicFilm
)
(
resource
?FM ?F))))
Mid-level-ontology.kif 20666-20673
Processo
e' uma
instancia
de
FilmMaking
Entidade
Objeto
Entidade
e' uma
instancia
de
Filme
Entidade
e' o
resultado
de
Processo
Objeto
e' uma
instancia
de
PhotographicFilm
Objeto
e' um
recurso
para
Processo
(=>
(
instance
?HAY
Hay
)
(
exists
(?MAKE ?GRASS)
(
and
(
instance
?MAKE
Making
)
(
resource
?MAKE ?GRASS)
(
instance
?GRASS
Grass
)
(
result
?MAKE ?HAY))))
Mid-level-ontology.kif 20403-20410
Entidade
e' uma
instancia
de
Hay
Processo
Objeto
Processo
e' uma
instancia
de
Fazer
Objeto
e' um
recurso
para
Processo
Objeto
e' uma
instancia
de
Grass
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?I
InternalCombustionEngine
)
(
hasPurpose
?I
(
exists
(?F ?C)
(
and
(
instance
?F
Fuel
)
(
instance
?C
Combustion
)
(
instrument
?C ?I)
(
resource
?C ?F)))))
Cars.kif 47-55
Fisico
e' uma
instancia
de
InternalCombustionEngine
Fisico
tem por
fim
Entidade
Entidade
Entidade
e' uma
instancia
de
Fuel
Entidade
e' uma
instancia
de
Combustao
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
recurso
para
Entidade
(=>
(
instance
?IC
IgnitionCoil
)
(
hasPurpose
?IC
(
exists
(?E1 ?E2 ?P)
(
and
(
instance
?P
ElectricTransmission
)
(
resource
?P ?E1)
(
instance
?E1
Electricity
)
(
instance
?E2
Electricity
)
(
result
?P ?E2)
(
instrument
?P ?IC)))))
Cars.kif 3143-3153
Fisico
e' uma
instancia
de
IgnitionCoil
Fisico
tem por
fim
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
ElectricTransmission
Entidade
e' um
recurso
para
Entidade
Entidade
e' uma
instancia
de
Electricity
Entidade
e' uma
instancia
de
Electricity
Entidade
e' o
resultado
de
Entidade
Fisico
e' um
instrumento
para
Entidade
(=>
(
instance
?LEATHER
Leather
)
(
exists
(?MAKE ?SKIN)
(
and
(
instance
?MAKE
Making
)
(
resource
?MAKE ?SKIN)
(
instance
?SKIN
Skin
)
(
result
?MAKE ?LEATHER))))
Mid-level-ontology.kif 5378-5385
Entidade
e' uma
instancia
de
Leather
Processo
Objeto
Processo
e' uma
instancia
de
Fazer
Objeto
e' um
recurso
para
Processo
Objeto
e' uma
instancia
de
Skin
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?M
Medicine
)
(
exists
(?P)
(
and
(
instance
?P
TherapeuticProcess
)
(
resource
?P ?M))))
Mid-level-ontology.kif 9239-9244
Objeto
e' uma
instancia
de
Medicine
Processo
Processo
e' uma
instancia
de
Processo Terapeutico
Objeto
e' um
recurso
para
Processo
(=>
(
instance
?MA
MonoclonalAntibody
)
(
exists
(?WBC ?R)
(
and
(
instance
?R
Replication
)
(
instance
?WBC
WhiteBloodCell
)
(
resource
?R ?WBC)
(
result
?R ?MA))))
Mid-level-ontology.kif 10248-10255
Entidade
e' uma
instancia
de
MonoclonalAntibody
Objeto
Processo
Processo
e' uma
instancia
de
Reproducao
Objeto
e' uma
instancia
de
WhiteBloodCell
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?MACHINE
Machine
)
(
forall
(?PROC)
(=>
(
instrument
?PROC ?MACHINE)
(
exists
(?RESOURCE ?RESULT)
(
and
(
resource
?PROC ?RESOURCE)
(
result
?PROC ?RESULT))))))
Merge.kif 16046-16054
Objeto
e' uma
instancia
de
Maquina
Processo
Objeto
e' um
instrumento
para
Processo
Objeto
Entidade
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?P
(
OperatingFn
DieselEngine
))
(
exists
(?F)
(
and
(
instance
?F
DieselFuel
)
(
resource
?P ?F))))
Mid-level-ontology.kif 23615-23620
Processo
e' uma
instancia
de
OperatingFn
DieselEngine
Objeto
Objeto
e' uma
instancia
de
DieselFuel
Objeto
e' um
recurso
para
Processo
(=>
(
instance
?P
OilPicture
)
(
exists
(?O ?PAINTING)
(
and
(
instance
?O
OilPaint
)
(
instance
?PAINTING
Painting
)
(
resource
?PAINTING ?O)
(
result
?PAINTING ?P))))
Mid-level-ontology.kif 3231-3238
Entidade
e' uma
instancia
de
OilPicture
Objeto
Entidade
AINTING
Objeto
e' uma
instancia
de
OilPaint
Entidade
AINTING e' uma
instancia
de
Painting
Objeto
e' um
recurso
para
Entidade
AINTING
Entidade
e' o
resultado
de
Entidade
AINTING
(=>
(
instance
?P
Pasta
)
(
exists
(?D ?C)
(
and
(
instance
?D
Dough
)
(
instance
?C
Cooking
)
(
resource
?C ?D)
(
result
?C ?P))))
Food.kif 2748-2755
Entidade
e' uma
instancia
de
Pasta
Objeto
Processo
Objeto
e' uma
instancia
de
Dough
Processo
e' uma
instancia
de
Cozinhar
Objeto
e' um
recurso
para
Processo
Entidade
e' o
resultado
de
Processo
(=>
(
instance
?PLANER
Planer
)
(
hasPurpose
?PLANER
(
exists
(?CUT ?OBJ1 ?OBJ2 ?U ?H1 ?H2)
(
and
(
instance
?CUT
Cutting
)
(
instrument
?CUT ?PLANER)
(
resource
?CUT ?OBJ1)
(
instance
?OBJ1
Object
)
(
material
?OBJ1
Wood
)
(
result
?CUT ?OBJ2)
(
instance
?OBJ2
Object
)
(
material
Wood
?OBJ2)
(
attribute
?OBJ2
Flat
)
(
instance
?U
UnitOfLength
)
(
height
?OBJ1
(
MeasureFn
?H1 ?U))
(
height
?OBJ2
(
MeasureFn
?H2 ?U))
(
greaterThan
?H1 ?H2)))))
Economy.kif 6017-6036
Fisico
e' uma
instancia
de
Planer
Fisico
tem por
fim
Entidade
Entidade
,
Entidade
,
Entidade
,
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Cortar
Fisico
e' um
instrumento
para
Entidade
Entidade
e' um
recurso
para
Entidade
Entidade
e' uma
instancia
de
Objeto
Entidade
e'
feito
de
Wood
Entidade
e' o
resultado
de
Entidade
Entidade
e' uma
instancia
de
Objeto
Wood
e'
feito
de
Entidade
Flat
e' um
atributo
de
Entidade
Entidade
e' uma
instancia
de
UnitOfLength
a
altura
de
Entidade
e'
Entidade
Entidade
(s) a
altura
de
Entidade
e'
Entidade
Entidade
(s)
Entidade
e'
maior
que
Entidade
(=>
(
instance
?PP
PaintedPicture
)
(
exists
(?PAINT ?PAINTING)
(
and
(
instance
?PAINT
Paint
)
(
instance
?PAINTING
Painting
)
(
resource
?PAINTING ?PAINT)
(
result
?PAINTING ?PP))))
Mid-level-ontology.kif 3099-3106
Entidade
e' uma
instancia
de
PaintedPicture
Objeto
Objeto
ING
Objeto
e' uma
instancia
de
Paint
Objeto
ING e' uma
instancia
de
Painting
Objeto
e' um
recurso
para
Objeto
ING
Entidade
e' o
resultado
de
Objeto
ING
(=>
(
instance
?PROCESS
Salination
)
(
exists
(?SALT)
(
and
(
instance
?SALT
SodiumChloride
)
(
resource
?PROCESS ?SALT))))
Geography.kif 2900-2905
Processo
e' uma
instancia
de
Salination
Objeto
Objeto
e' uma
instancia
de
SodiumChloride
Objeto
e' um
recurso
para
Processo
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