SetClausesOfKb

fun SetClausesOfKb(clauses: Iterable<<ERROR CLASS>>)