material
(=>
(
instance
?G
Gland
)
(
material
EpithelialTissue
?G))
Merge.kif 15219-15221
OggettoCorpuscolare
è un'
istanza
di
Ghiandola
EpithelialTissue
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?I
ResistorElement
)
(
exists
(?S)
(
and
(
subclass
?S
InsulatorSubstance
)
(
material
?S ?I))))
engineering.kif 855-860
OggettoCorpuscolare
è un'
istanza
di
ResistorElement
Sostanza
Sostanza
è una
sottoclasse
di
InsulatorSubstance
Sostanza
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?IRON
FabricIron
)
(
exists
(?BASE)
(
and
(
bottom
?BASE ?IRON)
(
material
Metal
?BASE)
(
attribute
?BASE
Flat
))))
Mid-level-ontology.kif 25189-25195
OggettoIntegro
è un'
istanza
di
FabricIron
OggettoCorpuscolare
il
fondo
di
OggettoIntegro
è
OggettoCorpuscolare
Metallo
è
fatto
di
OggettoCorpuscolare
attribute
OggettoCorpuscolare
and
Flat
(=>
(
instance
?K
Ketchup
)
(
material
Tomato
?K))
Food.kif 2615-2617
OggettoCorpuscolare
è un'
istanza
di
Ketchup
Tomato
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?L
Latte
)
(
and
(
material
MilkFoam
?L)
(
material
Espresso
?L)))
Food.kif 1393-1397
OggettoCorpuscolare
è un'
istanza
di
Latte
MilkFoam
è
fatto
di
OggettoCorpuscolare
Espresso
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?L
Liqueur
)
(
material
Sugar
?L))
Food.kif 2644-2646
OggettoCorpuscolare
è un'
istanza
di
Liqueur
Sugar
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?L
LongBlack
)
(
and
(
material
Espresso
?L)
(
material
DrinkingWater
?L)))
Food.kif 1423-1427
OggettoCorpuscolare
è un'
istanza
di
LongBlack
Espresso
è
fatto
di
OggettoCorpuscolare
DrinkingWater
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?LAWB
LeadAcidWetBattery
)
(
material
ChemicalAcid
?LAWB))
Cars.kif 2461-2463
OggettoCorpuscolare
è un'
istanza
di
LeadAcidWetBattery
ChemicalAcid
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?LAWB
LeadAcidWetBattery
)
(
material
Lead
?LAWB))
Cars.kif 2457-2459
OggettoCorpuscolare
è un'
istanza
di
LeadAcidWetBattery
Lead
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?LAWB
LeadAcidWetBattery
)
(
material
PurifiedWater
?LAWB))
Cars.kif 2465-2467
OggettoCorpuscolare
è un'
istanza
di
LeadAcidWetBattery
PurifiedWater
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?M
Mayonnaise
)
(
and
(
material
Oil
?M)
(
material
EggYolk
?M)))
Food.kif 2664-2668
OggettoCorpuscolare
è un'
istanza
di
Mayonnaise
Oil
è
fatto
di
OggettoCorpuscolare
EggYolk
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?M
Muscle
)
(
material
MuscleTissue
Muscle
))
Merge.kif 15231-15233
Entit�
è un'
istanza
di
Muscolo
MuscleTissue
è
fatto
di
Muscolo
(=>
(
instance
?NC
NerveCell
)
(
material
NervousTissue
?NC))
Merge.kif 15244-15246
OggettoCorpuscolare
è un'
istanza
di
NerveCell
NervousTissue
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?O
Omelette
)
(
material
Egg
?O))
Food.kif 2708-2710
OggettoCorpuscolare
è un'
istanza
di
Omelette
Egg
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?O
Opium
)
(
exists
(?M)
(
and
(
instance
?M
Morphine
)
(
material
?M ?O))))
Medicine.kif 6186-6191
OggettoCorpuscolare
è un'
istanza
di
Opium
Sostanza
Sostanza
è un'
istanza
di
Morphine
Sostanza
è
fatto
di
OggettoCorpuscolare
(=>
(
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
OggettoCorpuscolare
è un'
istanza
di
OggettoCorpuscolare
Sostanza
Sostanza
Sostanza
è una
sottoclasse
di
Sostanza
Sostanza
è una
sottoclasse
di
Sostanza
Sostanza
è
fatto
di
OggettoCorpuscolare
Sostanza
è
fatto
di
OggettoCorpuscolare
Sostanza
is
uguale
a
Sostanza
(=>
(
instance
?OBJ
OpticalDisc
)
(
material
Plastic
?OBJ))
Media.kif 1139-1141
OggettoCorpuscolare
è un'
istanza
di
OpticalDisc
Plastic
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?OBJ
OpticalDisc
)
(
or
(
material
Gold
?OBJ)
(
material
Aluminum
?OBJ)))
Media.kif 1143-1147
OggettoCorpuscolare
è un'
istanza
di
OpticalDisc
Gold
è
fatto
di
OggettoCorpuscolare
Aluminum
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?P
Pasta
)
(
material
WheatFlour
?P))
Food.kif 2744-2746
OggettoCorpuscolare
è un'
istanza
di
Pasta
WheatFlour
è
fatto
di
OggettoCorpuscolare
(=>
(
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
Entit�Concreta
è un'
istanza
di
Planer
Entit�Concreta
ha
scopo
Entit�
Entit�
,
Entit�
,
Entit�
,
Entit�
and
Entit�
Entit�
è un'
istanza
di
Tagliare
Entit�Concreta
è uno
strumento
per
Entit�
Entit�
è una
risorsa
per
Entit�
Entit�
è un'
istanza
di
Oggetto
Entit�
è
fatto
di
Wood
Entit�
è un
risultato
di
Entit�
Entit�
è un'
istanza
di
Oggetto
Wood
è
fatto
di
Entit�
attribute
Entit�
and
Flat
Entit�
è un'
istanza
di
UnitOfLength
l'
altezza
di
Entit�
è
Entit�
Entit�
(s l'
altezza
di
Entit�
è
Entit�
Entit�
(s
Entit�
è
pi
ù grande di
Entit�
(=>
(
instance
?RV8
RoverV8Engine
)
(
material
Aluminum
?RV8))
Cars.kif 4722-4724
OggettoCorpuscolare
è un'
istanza
di
RoverV8Engine
Aluminum
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?S
Sorbet
)
(
material
DrinkingWater
?S))
Food.kif 3444-3446
OggettoCorpuscolare
è un'
istanza
di
Sorbet
DrinkingWater
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?S
Sorbet
)
(
material
Fruit
?S))
Food.kif 3448-3450
OggettoCorpuscolare
è un'
istanza
di
Sorbet
Fruit
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?S
Sorbet
)
(
material
Sugar
?S))
Food.kif 3452-3454
OggettoCorpuscolare
è un'
istanza
di
Sorbet
Sugar
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?S
String
)
(
material
Fabric
?S))
Mid-level-ontology.kif 3655-3657
OggettoCorpuscolare
è un'
istanza
di
String
Stoffa
è
fatto
di
OggettoCorpuscolare
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