Manufacture
(manufacture)
(=>
(
instance
?P
AnimalProduct
)
(
exists
(?M ?A ?B)
(
and
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?A)
(
or
(
instance
?A
Animal
)
(
and
(
part
?B ?A)
(
instance
?B
AnatomicalStructure
))))))
Economy.kif 5013-5024
If
an entity
is an
instance
of
AnimalProduct
,
then there exist
a process
,
an object
and
another object
such that
the process
is an
instance
of
manufacture
and
the entity
is a
result
of
the process
and
the object
is a
patient
of
the process
and
the object
is an
instance
of
animal
or
the other object
is a
part
of
the object
and
the other object
is an
instance
of
anatomical structure
(=>
(
instance
?P
PlantProduct
)
(
exists
(?M ?A ?B)
(
and
(
instance
?M
Manufacture
)
(
result
?M ?P)
(
patient
?M ?A)
(
or
(
instance
?A
Plant
)
(
and
(
part
?B ?A)
(
instance
?B
AnatomicalStructure
))))))
Economy.kif 5191-5202
If
an entity
is an
instance
of
plant product
,
then there exist
a process
,
an object
and
another object
such that
the process
is an
instance
of
manufacture
and
the entity
is a
result
of
the process
and
the object
is a
patient
of
the process
and
the object
is an
instance
of
plant
or
the other object
is a
part
of
the object
and
the other object
is an
instance
of
anatomical structure
(=>
(
instance
?PLANT
IndustrialPlant
)
(
hasPurpose
?PLANT
(
exists
(?MANUFACTURE)
(
and
(
instance
?MANUFACTURE
Manufacture
)
(
eventLocated
?MANUFACTURE ?PLANT)))))
Mid-level-ontology.kif 15698-15704
If
a physical
is an
instance
of
industrial plant
,
then
the physical
has the purpose there exists
an entity
such that
the entity
is an
instance
of
manufacture
and
the entity
is
located
at
the physical
(=>
(
instance
?PRODUCT
Product
)
(
exists
(?MANUFACTURE)
(
and
(
instance
?MANUFACTURE
Manufacture
)
(
result
?MANUFACTURE ?PRODUCT))))
Merge.kif 15695-15700
If
an entity
is an
instance
of
product
,
then there exists
a process
such that
the process
is an
instance
of
manufacture
and
the entity
is a
result
of
the process
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