Taxonomic structure
\A x . Elephant(x) -> Mammal(x)
\A x . Elephant(x) -> color(x) = gray
\A x . Penguin(x) -> Bird(x) /\ \neg CanFly(x)
slide
:
Taxonomies and predicate logic
