abstract class AddClausesToKb: SetClausesOfKb Fields Name Description open onTop: Boolean Constructors <init> constructor(clauses: Iterable<Clause>, onTop: Boolean) Parameters Name Description clauses: Iterable<Clause> onTop: Boolean