Incorrect Display of Possibly Faulty Axioms (KB)

Not every axiom is displayed because of an older, incorrect implementation.