material
(=>
(
instance
?SAIL
Sail
)
(
exists
(?MAST)
(
and
(
material
Fabric
?SAIL)
(
instance
?MAST
Mast
)
(
connected
?SAIL ?MAST))))
Mid-level-ontology.kif 26335-26341
OggettoCorpuscolare
è un'
istanza
di
Sail
Oggetto
Stoffa
è
fatto
di
OggettoCorpuscolare
Oggetto
è un'
istanza
di
Mast
OggettoCorpuscolare
è
connesso
a
Oggetto
(=>
(
instance
?SI
SolderingIron
)
(
exists
(?X)
(
and
(
part
?X ?SI)
(
material
Metal
?X))))
Mid-level-ontology.kif 5652-5657
Oggetto
è un'
istanza
di
SolderingIron
OggettoCorpuscolare
OggettoCorpuscolare
è una
parte
di
Oggetto
Metallo
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?W
WoodenArtifact
)
(
material
Wood
?W))
Economy.kif 5576-5578
OggettoCorpuscolare
è un'
istanza
di
WoodenArtifact
Wood
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?WC
WireCoil
)
(
material
ConductorSubstance
?WC))
Cars.kif 3074-3076
OggettoCorpuscolare
è un'
istanza
di
WireCoil
ConductorSubstance
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?WIRE
Wire
)
(
material
Metal
?WIRE))
Mid-level-ontology.kif 3612-3614
OggettoCorpuscolare
è un'
istanza
di
Wire
Metallo
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?X
BedLinen
)
(
material
Fabric
?X))
Mid-level-ontology.kif 4127-4129
OggettoCorpuscolare
è un'
istanza
di
BedLinen
Stoffa
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?X
BotanicalTree
)
(
material
Wood
?X))
Mid-level-ontology.kif 9478-9480
OggettoCorpuscolare
è un'
istanza
di
BotanicalTree
Wood
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?X
ElectricalPlug
)
(
material
Metal
?X))
Mid-level-ontology.kif 25923-25925
OggettoCorpuscolare
è un'
istanza
di
ElectricalPlug
Metallo
è
fatto
di
OggettoCorpuscolare
(=>
(
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
OggettoCorpuscolare
è un'
istanza
di
Hammock
Stoffa
è
fatto
di
OggettoCorpuscolare
Oggetto
Oggetto
and
Oggetto
Oggetto
è
Near
a
Oggetto
Oggetto
è
connesso
a
OggettoCorpuscolare
Oggetto
è
connesso
a
OggettoCorpuscolare
Oggetto
è un'
istanza
di
SuperficieTerrestre
OggettoCorpuscolare
è
localizzato
in
Oggetto
OggettoCorpuscolare
è
Above
a
Oggetto
(=>
(
instance
?X
SeatBelt
)
(
exists
(?BELT)
(
and
(
part
?BELT ?X)
(
attribute
?BELT
Pliable
)
(
material
Fabric
?BELT))))
Cars.kif 3675-3681
Oggetto
è un'
istanza
di
SeatBelt
OggettoCorpuscolare
OggettoCorpuscolare
è una
parte
di
Oggetto
attribute
OggettoCorpuscolare
and
Pliable
Stoffa
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?X
Tofu
)
(
material
Soybean
?X))
Food.kif 3514-3516
OggettoCorpuscolare
è un'
istanza
di
Tofu
Soybean
è
fatto
di
OggettoCorpuscolare
(=>
(
instance
?X
XyphiodProcess
)
(
material
?X
Cartilage
))
Anatomy.kif 263-265
Sostanza
è un'
istanza
di
XyphiodProcess
Sostanza
è
fatto
di
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