Changes

Jump to navigation Jump to search
10 bytes removed ,  13:09, 27 August 2018
Line 143: Line 143:  
In addition one could one or more axioms that define the ingredient in relation to other ingredients. For instance:
 
In addition one could one or more axioms that define the ingredient in relation to other ingredients. For instance:
 
* 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.
 
* 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.
  ObjectPropertyAssertion( :contains :Butter :Butterfat )
+
  Class: Butter
 +
    Facts contains Butterfat  
 
* 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.
 
* 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.
 
  ObjectPropertyAssertion( :isDerivedFrom :Butter :Cream )
 
  ObjectPropertyAssertion( :isDerivedFrom :Butter :Cream )
3,393

edits

Navigation menu