A compound consisting of carbon, hydrogen, and oxygen in which the hydrogen/oxygen ratio is the same as in water, and in which repeating units are joined through oxygen linkages. Carbohydrates are generally characterized as sugars and include mono-, di-, oligo-, and polysaccharides, glycosides, glycans, and starches. Included here are sugar phosphates. Excluded are glycolipids.
(=> (Carbohydrate ?Self)
(And (Exists (?A) (And (Prime-Component ?Self ?A) (Carbon ?A)))
(Exists (?B) (And (Prime-Component ?Self ?B) (Hydrogen ?B)))
(Exists (?C) (And (Prime-Component ?Self ?C) (Oxygen ?C)))
(Exists (?D)
(And (Part ?Self ?D)
(Atomic-Unit ?D)
(Exists (?E)
(And (Interconnected-By ?D ?E)
(Oxygen-Linkage ?E)))))))