Fact Type Creation - FEKL
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’.