African Wildlide Ontology, Semantic Web Primer, 4.3.1 pages 119-133
MK downloaded this file from http://www.iro.umontreal.ca/~lapalme/ift6281/OWL/AfricanWildlifeOntology.xml, changed the extension to .owl and appended the name with Web. This ontology gives a load error in protege due to the use of Collection in the definition of Herbivore (this comment was added with a text editor), so the AfricanWildlifeOntology0.owl has that piece removed
Plants are disjoint from animals.
Trees are a type of plant.
Branches are parts of trees.
Leaves are parts of branches.
Carnivores are exactly those animals that eat also animals.
Herbivores are exactly those animals that eat only plants or parts of plants
Giraffes are herbivores, and they eat only leaves.
Lions are animals that eat only herbivores.
Plants eaten both by herbivores and carnivores