Line 106: |
Line 106: |
| | | |
| ===== Axioms ===== | | ===== Axioms ===== |
| + | In addition one could one or more axioms that define the ingredient in relation to other ingredients. For instance: |
| + | * Component axioms |
| + | ObjectPropertyAssertion( :contains :Butter :Butterfat ) |
| | | |
| ==== Super classes ==== | | ==== Super classes ==== |