material
(=>
(
instance
?G
Gland
)
(
material
EpithelialTissue
?G))
Merge.kif 15219-15221
Objeto Corpuscular
e' uma
instancia
de
Glandula
EpithelialTissue
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?I
ResistorElement
)
(
exists
(?S)
(
and
(
subclass
?S
InsulatorSubstance
)
(
material
?S ?I))))
engineering.kif 855-860
Objeto Corpuscular
e' uma
instancia
de
ResistorElement
Substancia
Substancia
e' uma
sub
-classe de
InsulatorSubstance
Substancia
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?IRON
FabricIron
)
(
exists
(?BASE)
(
and
(
bottom
?BASE ?IRON)
(
material
Metal
?BASE)
(
attribute
?BASE
Flat
))))
Mid-level-ontology.kif 25189-25195
Objeto auto-conectado
e' uma
instancia
de
FabricIron
Objeto Corpuscular
o
fundo
de
Objeto auto-conectado
e'
Objeto Corpuscular
Metal
e'
feito
de
Objeto Corpuscular
Flat
e' um
atributo
de
Objeto Corpuscular
(=>
(
instance
?K
Ketchup
)
(
material
Tomato
?K))
Food.kif 2615-2617
Objeto Corpuscular
e' uma
instancia
de
Ketchup
Tomato
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?L
Latte
)
(
and
(
material
MilkFoam
?L)
(
material
Espresso
?L)))
Food.kif 1393-1397
Objeto Corpuscular
e' uma
instancia
de
Latte
MilkFoam
e'
feito
de
Objeto Corpuscular
Espresso
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?L
Liqueur
)
(
material
Sugar
?L))
Food.kif 2644-2646
Objeto Corpuscular
e' uma
instancia
de
Liqueur
Sugar
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?L
LongBlack
)
(
and
(
material
Espresso
?L)
(
material
DrinkingWater
?L)))
Food.kif 1423-1427
Objeto Corpuscular
e' uma
instancia
de
LongBlack
Espresso
e'
feito
de
Objeto Corpuscular
DrinkingWater
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?LAWB
LeadAcidWetBattery
)
(
material
ChemicalAcid
?LAWB))
Cars.kif 2461-2463
Objeto Corpuscular
e' uma
instancia
de
LeadAcidWetBattery
ChemicalAcid
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?LAWB
LeadAcidWetBattery
)
(
material
Lead
?LAWB))
Cars.kif 2457-2459
Objeto Corpuscular
e' uma
instancia
de
LeadAcidWetBattery
Lead
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?LAWB
LeadAcidWetBattery
)
(
material
PurifiedWater
?LAWB))
Cars.kif 2465-2467
Objeto Corpuscular
e' uma
instancia
de
LeadAcidWetBattery
PurifiedWater
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?M
Mayonnaise
)
(
and
(
material
Oil
?M)
(
material
EggYolk
?M)))
Food.kif 2664-2668
Objeto Corpuscular
e' uma
instancia
de
Mayonnaise
Oil
e'
feito
de
Objeto Corpuscular
EggYolk
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?M
Muscle
)
(
material
MuscleTissue
Muscle
))
Merge.kif 15231-15233
Entidade
e' uma
instancia
de
Musculo
MuscleTissue
e'
feito
de
Musculo
(=>
(
instance
?NC
NerveCell
)
(
material
NervousTissue
?NC))
Merge.kif 15244-15246
Objeto Corpuscular
e' uma
instancia
de
NerveCell
NervousTissue
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?O
Omelette
)
(
material
Egg
?O))
Food.kif 2708-2710
Objeto Corpuscular
e' uma
instancia
de
Omelette
Egg
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?O
Opium
)
(
exists
(?M)
(
and
(
instance
?M
Morphine
)
(
material
?M ?O))))
Medicine.kif 6186-6191
Objeto Corpuscular
e' uma
instancia
de
Opium
Substancia
Substancia
e' uma
instancia
de
Morphine
Substancia
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?OBJ
CorpuscularObject
)
(
exists
(?SUBSTANCE1 ?SUBSTANCE2)
(
and
(
subclass
?SUBSTANCE1
Substance
)
(
subclass
?SUBSTANCE2
Substance
)
(
material
?SUBSTANCE1 ?OBJ)
(
material
?SUBSTANCE2 ?OBJ)
(
not
(
equal
?SUBSTANCE1 ?SUBSTANCE2)))))
Merge.kif 1231-1239
Objeto Corpuscular
e' uma
instancia
de
Objeto Corpuscular
Substancia
Substancia
Substancia
e' uma
sub
-classe de
Substancia
Substancia
e' uma
sub
-classe de
Substancia
Substancia
e'
feito
de
Objeto Corpuscular
Substancia
e'
feito
de
Objeto Corpuscular
Substancia
e'
igual
a
Substancia
(=>
(
instance
?OBJ
OpticalDisc
)
(
material
Plastic
?OBJ))
Media.kif 1139-1141
Objeto Corpuscular
e' uma
instancia
de
OpticalDisc
Plastic
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?OBJ
OpticalDisc
)
(
or
(
material
Gold
?OBJ)
(
material
Aluminum
?OBJ)))
Media.kif 1143-1147
Objeto Corpuscular
e' uma
instancia
de
OpticalDisc
Gold
e'
feito
de
Objeto Corpuscular
Aluminum
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?P
Pasta
)
(
material
WheatFlour
?P))
Food.kif 2744-2746
Objeto Corpuscular
e' uma
instancia
de
Pasta
WheatFlour
e'
feito
de
Objeto Corpuscular
(=>
(
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
?RV8
RoverV8Engine
)
(
material
Aluminum
?RV8))
Cars.kif 4722-4724
Objeto Corpuscular
e' uma
instancia
de
RoverV8Engine
Aluminum
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?S
Sorbet
)
(
material
DrinkingWater
?S))
Food.kif 3444-3446
Objeto Corpuscular
e' uma
instancia
de
Sorbet
DrinkingWater
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?S
Sorbet
)
(
material
Fruit
?S))
Food.kif 3448-3450
Objeto Corpuscular
e' uma
instancia
de
Sorbet
Fruit
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?S
Sorbet
)
(
material
Sugar
?S))
Food.kif 3452-3454
Objeto Corpuscular
e' uma
instancia
de
Sorbet
Sugar
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?S
String
)
(
material
Fabric
?S))
Mid-level-ontology.kif 3655-3657
Objeto Corpuscular
e' uma
instancia
de
String
Tecido
e'
feito
de
Objeto Corpuscular
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