Class ANIMAL

An organism with eukaryotic cells, and lacking stiff cell walls, plastids and photosynthetic pigments. The children of this type in the network are 'Invertebrate', and 'Vertebrate'.
Subclass-Of: Organism
Subclass-Partition: {Vertebrate, Invertebrate}
Axioms:
(Slot-Value-Type Animal Component Incoherent)

(Slot-Value-Type Animal Component Incoherent)

(=> (Animal ?Self)
    (And (Exists (?A) (And (Exhibits ?Self ?A) (Behavior ?A)))
         (Exists (?B)
                 (And (Finer-Grain-Component ?Self ?B)
                      (Eukaryotic-Cell-With-Non-Rigid-Cell-Wall ?B)))))