material
(=>
(
instance
?SAIL
Sail
)
(
exists
(?MAST)
(
and
(
material
Fabric
?SAIL)
(
instance
?MAST
Mast
)
(
connected
?SAIL ?MAST))))
Mid-level-ontology.kif 26347-26353
Objeto Corpuscular
e' uma
instancia
de
Sail
Objeto
Tecido
e'
feito
de
Objeto Corpuscular
Objeto
e' uma
instancia
de
Mast
Objeto Corpuscular
e'
conectado
com
Objeto
(=>
(
instance
?SI
SolderingIron
)
(
exists
(?X)
(
and
(
part
?X ?SI)
(
material
Metal
?X))))
Mid-level-ontology.kif 5653-5658
Objeto
e' uma
instancia
de
SolderingIron
Objeto Corpuscular
Objeto Corpuscular
e' uma &parte de
Objeto
Metal
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?W
WoodenArtifact
)
(
material
Wood
?W))
Economy.kif 5576-5578
Objeto Corpuscular
e' uma
instancia
de
WoodenArtifact
Wood
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?WC
WireCoil
)
(
material
ConductorSubstance
?WC))
Cars.kif 3068-3070
Objeto Corpuscular
e' uma
instancia
de
WireCoil
ConductorSubstance
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?WIRE
Wire
)
(
material
Metal
?WIRE))
Mid-level-ontology.kif 3612-3614
Objeto Corpuscular
e' uma
instancia
de
Wire
Metal
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?X
BedLinen
)
(
material
Fabric
?X))
Mid-level-ontology.kif 4127-4129
Objeto Corpuscular
e' uma
instancia
de
BedLinen
Tecido
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?X
BotanicalTree
)
(
material
Wood
?X))
Mid-level-ontology.kif 9479-9481
Objeto Corpuscular
e' uma
instancia
de
BotanicalTree
Wood
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?X
ElectricalPlug
)
(
material
Metal
?X))
Mid-level-ontology.kif 25935-25937
Objeto Corpuscular
e' uma
instancia
de
ElectricalPlug
Metal
e'
feito
de
Objeto Corpuscular
(=>
(
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
Objeto Corpuscular
e' uma
instancia
de
Hammock
Tecido
e'
feito
de
Objeto Corpuscular
Objeto
Objeto
and
Objeto
Objeto
e'
Near
em relacao a
Objeto
Objeto
e'
conectado
com
Objeto Corpuscular
Objeto
e'
conectado
com
Objeto Corpuscular
Objeto
e' uma
instancia
de
Area terrestre
Objeto Corpuscular
e'
situado
em
Objeto
Objeto Corpuscular
e'
Above
em relacao a
Objeto
(=>
(
instance
?X
SeatBelt
)
(
exists
(?BELT)
(
and
(
part
?BELT ?X)
(
attribute
?BELT
Pliable
)
(
material
Fabric
?BELT))))
Cars.kif 3667-3673
Objeto
e' uma
instancia
de
SeatBelt
Objeto Corpuscular
Objeto Corpuscular
e' uma &parte de
Objeto
Pliable
e' um
atributo
de
Objeto Corpuscular
Tecido
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?X
Tofu
)
(
material
Soybean
?X))
Food.kif 3514-3516
Objeto Corpuscular
e' uma
instancia
de
Tofu
Soybean
e'
feito
de
Objeto Corpuscular
(=>
(
instance
?X
XyphiodProcess
)
(
material
?X
Cartilage
))
Anatomy.kif 263-265
Substancia
e' uma
instancia
de
XyphiodProcess
Substancia
e'
feito
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