Javadoc
If passed concept is a trait, return it unmodified; else if the concept is
observable, return the abstract trait corresponding to the observability of the
concept and ensure that its superclass and negation exist in the knowledge base. If
the concept is not observable, return null.