function MKB = gen_MonsterKB


KB = [];
MKB = ProbKB();

KB = BR_gen_Stenches(KB);
KB = BR_gen_ad_hocADJ(KB);

vars = BR_Wumpus_vars(KB);


i = length(KB);

for j = 1:i
    k = KB(j).clauses;
    k2 = convertCharsToStrings(k);
    nk2 = split(k2);
    
    MKB.tellClause(nk2, 1);
end
    



end