Changes

Jump to navigation Jump to search
192 bytes added ,  12:46, 26 August 2018
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 ====
3,393

edits

Navigation menu