(self, sentence)
Add the sentence's clauses to the KB

        Examples
        ========

        >>> from sympy.logic.inference import PropKB
        >>> from sympy.abc import x, y
        >>> l = PropKB()
        >>> l.clauses
        []

        >>> l.tell(x | y)
        >>> l.clauses
        [Or(x, y)]

        >>> l.tell(y)
        >>> l.clauses
        [Or(x, y), y]
Add the sentence's clauses to the KB
Add the sentence s clauses to the KB
def tell(self, sentence):
        """Add the sentence's clauses to the KB

        Examples
        ========

        >>> from sympy.logic.inference import PropKB
        >>> from sympy.abc import x, y
        >>> l = PropKB()
        >>> l.clauses
        []

        >>> l.tell(x | y)
        >>> l.clauses
        [Or(x, y)]

        >>> l.tell(y)
        >>> l.clauses
        [Or(x, y), y]
        """
        for c in conjuncts(to_cnf(sentence)):
            if not c in self.clauses:
                self.clauses.append(c)
def tell ( self , sentence ) : for c in conjuncts ( to_cnf ( sentence ) ) : if not c in self . clauses : self . clauses . append ( c )