Class VERTEBRATE

An animal which has a spinal column.
Subclass-Of: Animal
Subclass-Partition: {
Amphibian, Reptile, Fish, Bird, Mammal}
Axioms:
(=> (Vertebrate ?Self)
    (Exists (?A) (And (Component ?Self ?A) (Spinal-Column ?A))))