Changes

Jump to navigation Jump to search
No change in size ,  13:09, 27 August 2018
Line 144: Line 144:  
* 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.
 
  Class: Butter  
 
  Class: Butter  
     Facts contains Butterfat  
+
     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