<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Reification (knowledge representation) - Page 2 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Reification_(knowledge_representation)&amp;p=1">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Reification_%28knowledge_representation%29&amp;p=3">3.Next</a>
</p>
<p>statement "Mary reports that John is six feet tall" defers such commitment to Mary. In this way, the statements can be incompatible without creating <a href="page.php?w=contradiction">contradiction</a>s in <a href="page.php?w=reasoning">reasoning</a>. For example, the statements "John is six feet tall" and "John is five feet tall" are <a href="page.php?w=mutually_exclusive">mutually exclusive</a> (and thus incompatible), but the statements "Mary reports that John is six feet tall" and "Paul reports that John is five feet tall" are not incompatible,</p><p>
<a accesskey="1" href="page.php?w=Reification_(knowledge_representation)&amp;p=1">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Reification_%28knowledge_representation%29&amp;p=3">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
