material
(=>
(
instance
?G
Gland
)
(
material
EpithelialTissue
?G))
Merge.kif 15219-15221
Objet corpusculaire
est une
instance
de
glande
EpithelialTissue
est
fait
de
objet corpusculaire
(=>
(
instance
?I
ResistorElement
)
(
exists
(?S)
(
and
(
subclass
?S
InsulatorSubstance
)
(
material
?S ?I))))
engineering.kif 855-860
Objet corpusculaire
est une
instance
de
ResistorElement
substance
substance
est une
sous
-classe de
InsulatorSubstance
substance
est
fait
de
objet corpusculaire
(=>
(
instance
?IRON
FabricIron
)
(
exists
(?BASE)
(
and
(
bottom
?BASE ?IRON)
(
material
Metal
?BASE)
(
attribute
?BASE
Flat
))))
Mid-level-ontology.kif 25189-25195
Objet en une partie
est une
instance
de
FabricIron
objet corpusculaire
l'
arri
�re de
objet en une partie
est
objet corpusculaire
m�tal
est
fait
de
objet corpusculaire
Flat
est un
attribut
de
objet corpusculaire
(=>
(
instance
?K
Ketchup
)
(
material
Tomato
?K))
Food.kif 2615-2617
Objet corpusculaire
est une
instance
de
Ketchup
Tomato
est
fait
de
objet corpusculaire
(=>
(
instance
?L
Latte
)
(
and
(
material
MilkFoam
?L)
(
material
Espresso
?L)))
Food.kif 1393-1397
Objet corpusculaire
est une
instance
de
Latte
MilkFoam
est
fait
de
objet corpusculaire
Espresso
est
fait
de
objet corpusculaire
(=>
(
instance
?L
Liqueur
)
(
material
Sugar
?L))
Food.kif 2644-2646
Objet corpusculaire
est une
instance
de
Liqueur
Sugar
est
fait
de
objet corpusculaire
(=>
(
instance
?L
LongBlack
)
(
and
(
material
Espresso
?L)
(
material
DrinkingWater
?L)))
Food.kif 1423-1427
Objet corpusculaire
est une
instance
de
LongBlack
Espresso
est
fait
de
objet corpusculaire
DrinkingWater
est
fait
de
objet corpusculaire
(=>
(
instance
?LAWB
LeadAcidWetBattery
)
(
material
ChemicalAcid
?LAWB))
Cars.kif 2461-2463
Objet corpusculaire
est une
instance
de
LeadAcidWetBattery
ChemicalAcid
est
fait
de
objet corpusculaire
(=>
(
instance
?LAWB
LeadAcidWetBattery
)
(
material
Lead
?LAWB))
Cars.kif 2457-2459
Objet corpusculaire
est une
instance
de
LeadAcidWetBattery
Lead
est
fait
de
objet corpusculaire
(=>
(
instance
?LAWB
LeadAcidWetBattery
)
(
material
PurifiedWater
?LAWB))
Cars.kif 2465-2467
Objet corpusculaire
est une
instance
de
LeadAcidWetBattery
PurifiedWater
est
fait
de
objet corpusculaire
(=>
(
instance
?M
Mayonnaise
)
(
and
(
material
Oil
?M)
(
material
EggYolk
?M)))
Food.kif 2664-2668
Objet corpusculaire
est une
instance
de
Mayonnaise
Oil
est
fait
de
objet corpusculaire
EggYolk
est
fait
de
objet corpusculaire
(=>
(
instance
?M
Muscle
)
(
material
MuscleTissue
Muscle
))
Merge.kif 15231-15233
Entit�
est une
instance
de
muscle
MuscleTissue
est
fait
de
muscle
(=>
(
instance
?NC
NerveCell
)
(
material
NervousTissue
?NC))
Merge.kif 15244-15246
Objet corpusculaire
est une
instance
de
NerveCell
NervousTissue
est
fait
de
objet corpusculaire
(=>
(
instance
?O
Omelette
)
(
material
Egg
?O))
Food.kif 2708-2710
Objet corpusculaire
est une
instance
de
Omelette
Egg
est
fait
de
objet corpusculaire
(=>
(
instance
?O
Opium
)
(
exists
(?M)
(
and
(
instance
?M
Morphine
)
(
material
?M ?O))))
Medicine.kif 6186-6191
Objet corpusculaire
est une
instance
de
Opium
substance
substance
est une
instance
de
Morphine
substance
est
fait
de
objet corpusculaire
(=>
(
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
Objet corpusculaire
est une
instance
de
objet corpusculaire
substance
substance
substance
est une
sous
-classe de
substance
substance
est une
sous
-classe de
substance
substance
est
fait
de
objet corpusculaire
substance
est
fait
de
objet corpusculaire
substance
est
substance
(=>
(
instance
?OBJ
OpticalDisc
)
(
material
Plastic
?OBJ))
Media.kif 1139-1141
Objet corpusculaire
est une
instance
de
OpticalDisc
Plastic
est
fait
de
objet corpusculaire
(=>
(
instance
?OBJ
OpticalDisc
)
(
or
(
material
Gold
?OBJ)
(
material
Aluminum
?OBJ)))
Media.kif 1143-1147
Objet corpusculaire
est une
instance
de
OpticalDisc
Gold
est
fait
de
objet corpusculaire
Aluminum
est
fait
de
objet corpusculaire
(=>
(
instance
?P
Pasta
)
(
material
WheatFlour
?P))
Food.kif 2744-2746
Objet corpusculaire
est une
instance
de
Pasta
WheatFlour
est
fait
de
objet corpusculaire
(=>
(
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
Physique
est une
instance
de
Planer
physique
a pour
but
entit�
entit�
,
entit�
,
entit�
,
entit�
and
entit�
entit�
est une
instance
de
couper
physique
est un
instrument
pour
entit�
entit�
est une
resource
pour
entit�
entit�
est une
instance
de
objet
entit�
est
fait
de
Wood
entit�
est le
resultat
de
entit�
entit�
est une
instance
de
objet
Wood
est
fait
de
entit�
Flat
est un
attribut
de
entit�
entit�
est une
instance
de
UnitOfLength
la
hauteur
de
entit�
est
entit�
entit�
(s) la
hauteur
de
entit�
est
entit�
entit�
(s)
entit�
est
plus
grand
que
entit�
(=>
(
instance
?RV8
RoverV8Engine
)
(
material
Aluminum
?RV8))
Cars.kif 4722-4724
Objet corpusculaire
est une
instance
de
RoverV8Engine
Aluminum
est
fait
de
objet corpusculaire
(=>
(
instance
?S
Sorbet
)
(
material
DrinkingWater
?S))
Food.kif 3444-3446
Objet corpusculaire
est une
instance
de
Sorbet
DrinkingWater
est
fait
de
objet corpusculaire
(=>
(
instance
?S
Sorbet
)
(
material
Fruit
?S))
Food.kif 3448-3450
Objet corpusculaire
est une
instance
de
Sorbet
Fruit
est
fait
de
objet corpusculaire
(=>
(
instance
?S
Sorbet
)
(
material
Sugar
?S))
Food.kif 3452-3454
Objet corpusculaire
est une
instance
de
Sorbet
Sugar
est
fait
de
objet corpusculaire
(=>
(
instance
?S
String
)
(
material
Fabric
?S))
Mid-level-ontology.kif 3655-3657
Objet corpusculaire
est une
instance
de
String
textile
est
fait
de
objet corpusculaire
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