es the entailment through the various entailment rules, 
and the statement of explicit assertion refines the results of earlier 
entailing.</p>
<p><a id="SWCLOSdefIndividual" name="SWCLOSdefIndividual"/>
<div class="titlebar">
<div class="defname">defIndividual <i>name (role1 filler1) ... </i></div>
<div class="deftype">[Macro]</div></div>
<div class="defdescribe"><i>name</i> is a QName symbol or unexported lisp symbol of this 
  individual, and <i>role</i> is a property name (symbol) including rdf:type 
  