Animal
(animal)
No TPTP formula. May not be expressible in strict first order.
Economy.kif 4035-4040
If
an entity
is an
instance
of a
dead
cereal grain
,
then there exists
a kind of self connected object
such that
the entity
is an
instance
of
a kind of self connected object
and
the kind of self connected object
is
equal
to
food
for
animal
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 11691-11701
If
an object
is an
instance
of
exoskeleton
,
then there exists
another object
such that
the other object
is an
instance
of
animal
and
the object
is a
part
of
the other object
and there doesn't exist
a third object
such that
the third object
is a
proper
part
of
the other object
and
the third object
is
outside
to
the object
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