1. Binary Fact Type creation

 The following are examples of Binary Fact Type creation statements written in FEKL:

 

2. N-Ary Fact Type creation

The following are examples of n-Ary Fact Type creation statements written in FEKL:

 

NB The ‘IS WHERE’ statement above defines the name of the Fact Type, ‘Stocked Item’ and two Fact Type Readings for the ternary Fact Type, ‘Part is in Bin in Warehouse’ and ‘Warehouse houses Part in Bin’.