that have a :forward direction. Most interfaces that assert formulas into the KB adhere to the default that implication statements (rules) are backward and GAFs are forward. </span></p>
 </div></div></div>  <div id="book-navigation-332" class="book-navigation">
    
        <div class="page-links clearfix">
              <a href="/documentation/inferencing-cyc" class="page-previous" title="Go to previous page">‹ Inferencing in Cyc</a>
                    <a href="/documentation/introduction-cyc-inferencin