Class ALGA

A chiefly aquatic plant that contains chlorophyll, but does not form embryos during development and lacks vascular tissue.
Subclass-Of: Plant
Problem: (1) <lives-in> needs a special axiomatization: it involves the localization in a region-type, the biological necessity, the notion of life, and an interactional notion. (2) <component> with substances should be interpreted as a mass-componency; see theory:meronymy
Axioms:
(Slot-Value-Type Alga Component Incoherent)

(Slot-Value-Type Alga Developmental-Form Incoherent)

(=> (Alga ?Self)
    (And (Exists (?A) (And (Lives-In ?Self ?A) (Water ?A)))
         (Exists (?B) (And (Component ?Self ?B) (Chlorophyll ?B)))))