class_docstr: A simple propositional knowledge base relying on compiled inference rules.
docstr: Add fact k=v to the knowledge base.
  
  Returns True if the KB has actually been updated, False otherwise.
docstr_tok: ["Add","fact","k=v","to","the","knowledge","base",".","Returns","True","if","the","KB","has","actually","been","updated",",","False","otherwise","."]
code: def _tell(self, k, v):
      """Add fact k=v to the knowledge base.
  
      Returns True if the KB has actually been updated, False otherwise.
      """
      if k in self and self[k] is not None:
          if self[k] == v:
              return False
          else:
              raise InconsistentAssumptions(self, k, v)
      else:
          self[k] = v
          return True
  
imports: from collections import defaultdict
  from typing import Iterator
  from .logic import Logic, And, Or, Not
label_desc: Use image node_id 3 for calling the FactKB obj's underlying member method code with example usage: obj._tell(k, v) and returns: True, False