In addition one could one or more axioms that define the ingredient in relation to other ingredients. For instance:
+
In addition one could associate one or more axioms that defines how the ingredient relates to other ingredients.
−
* Component axioms - these axioms define the components of an ingredient. These component ingredients are probably mostly base ingredients that can nog longer be broken down. The axioms also have an inverse axiom.
* Derivation axioms - these axioms define how one ingredient has been transformed into another ingredient. Not sure if these (or all of these) have an inverse axiom.