class_docstr: Base class for all knowledge bases
class_docstr_tok: ["Base","class","for","all","knowledge","bases"]
code: def ask(self, query):
      raise NotImplementedError
  
imports: from sympy.logic.boolalg import And, Not, conjuncts, to_cnf, BooleanFunction
  from sympy.core.sorting import ordered
  from sympy.core.sympify import sympify
  from sympy.external.importtools import import_module
label_desc: Use image node_id 3 for calling the KB obj's underlying member method code with example usage: obj.ask(query) without return types