material
(=>
(
instance
?SAIL
Sail
)
(
exists
(?MAST)
(
and
(
material
Fabric
?SAIL)
(
instance
?MAST
Mast
)
(
connected
?SAIL ?MAST))))
Mid-level-ontology.kif 26347-26353
Objet corpusculaire
est une
instance
de
Sail
objet
textile
est
fait
de
objet corpusculaire
objet
est une
instance
de
Mast
objet corpusculaire
est
connect
� �
objet
(=>
(
instance
?SI
SolderingIron
)
(
exists
(?X)
(
and
(
part
?X ?SI)
(
material
Metal
?X))))
Mid-level-ontology.kif 5653-5658
Objet
est une
instance
de
SolderingIron
objet corpusculaire
objet corpusculaire
est une
partie
de
objet
m�tal
est
fait
de
objet corpusculaire
(=>
(
instance
?W
WoodenArtifact
)
(
material
Wood
?W))
Economy.kif 5576-5578
Objet corpusculaire
est une
instance
de
WoodenArtifact
Wood
est
fait
de
objet corpusculaire
(=>
(
instance
?WC
WireCoil
)
(
material
ConductorSubstance
?WC))
Cars.kif 3068-3070
Objet corpusculaire
est une
instance
de
WireCoil
ConductorSubstance
est
fait
de
objet corpusculaire
(=>
(
instance
?WIRE
Wire
)
(
material
Metal
?WIRE))
Mid-level-ontology.kif 3612-3614
Objet corpusculaire
est une
instance
de
Wire
m�tal
est
fait
de
objet corpusculaire
(=>
(
instance
?X
BedLinen
)
(
material
Fabric
?X))
Mid-level-ontology.kif 4127-4129
Objet corpusculaire
est une
instance
de
BedLinen
textile
est
fait
de
objet corpusculaire
(=>
(
instance
?X
BotanicalTree
)
(
material
Wood
?X))
Mid-level-ontology.kif 9479-9481
Objet corpusculaire
est une
instance
de
BotanicalTree
Wood
est
fait
de
objet corpusculaire
(=>
(
instance
?X
ElectricalPlug
)
(
material
Metal
?X))
Mid-level-ontology.kif 25935-25937
Objet corpusculaire
est une
instance
de
ElectricalPlug
m�tal
est
fait
de
objet corpusculaire
(=>
(
instance
?X
Hammock
)
(
and
(
material
Fabric
?X)
(
exists
(?POLE1 ?POLE2 ?GROUND)
(
and
(
orientation
?POLE1 ?POLE2
Near
)
(
connected
?POLE1 ?X)
(
connected
?POLE2 ?X)
(
instance
?GROUND
LandArea
)
(
located
?X ?GROUND)
(
orientation
?X ?GROUND
Above
)))))
Mid-level-ontology.kif 3958-3969
Objet corpusculaire
est une
instance
de
Hammock
textile
est
fait
de
objet corpusculaire
objet
objet
and
objet
objet
est
Near
�
objet
objet
est
connect
� �
objet corpusculaire
objet
est
connect
� �
objet corpusculaire
objet
est une
instance
de
zone de terre
objet corpusculaire
est
situ
� �
objet
objet corpusculaire
est
Above
�
objet
(=>
(
instance
?X
SeatBelt
)
(
exists
(?BELT)
(
and
(
part
?BELT ?X)
(
attribute
?BELT
Pliable
)
(
material
Fabric
?BELT))))
Cars.kif 3667-3673
Objet
est une
instance
de
SeatBelt
objet corpusculaire
objet corpusculaire
est une
partie
de
objet
Pliable
est un
attribut
de
objet corpusculaire
textile
est
fait
de
objet corpusculaire
(=>
(
instance
?X
Tofu
)
(
material
Soybean
?X))
Food.kif 3514-3516
Objet corpusculaire
est une
instance
de
Tofu
Soybean
est
fait
de
objet corpusculaire
(=>
(
instance
?X
XyphiodProcess
)
(
material
?X
Cartilage
))
Anatomy.kif 263-265
Substance
est une
instance
de
XyphiodProcess
substance
est
fait
de
Cartilage
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