Class
FAT-SUBSTANCE
Subclass-Of
:
Organic-chemical
Axioms:
(=> (
Fat-Substance
?Self) (Exists (?A) (And (
Derivative-Of
?Self ?A) (
Glycerol
?A))))
Defined in theory:
Substances
Source code:
Substances.lisp