d eine Fehlermeldung ausgegeben.  
Ansonsten wird <code>unknown</code> zur&uuml;ckgegeben.
</p>
<p>Siehe auch <code><a href="#assume">assume</a></code>, <code><a href="#facts">facts</a></code> und <code><a href="#maybe">maybe</a></code>.
</p>
<p>Beispiele:
</p>
<p><code>is</code> wertet Aussagen aus.
</p>
<pre class="example">(%i1) %pi &gt; %e;
(%o1)                       %pi &gt; %e
(%i2) is (%pi &gt; %e);
(%o2)                         true
</pre>
<p><code>is</code> versucht Aussagen anhand der Aussagen un