3id.org/owlstar/folMapping">'for&nbsp;mapping'</a>&nbsp;<span class='Annotation Property active-entity'>dcterms:description</span> <span class='literal'>"An owlstar mapping from an RDF* structure to an FOL axiom. TBD: Prover9 syntax vs CL"</span>&nbsp;</li>
<li class="asserted"><a href="interpretation___-1622974479.html" class='Annotation Property' title="http://w3id.org/owlstar/interpretation">'logical&nbsp;interpretation&nbsp;modifier'</a>&nbsp;<a href="../objectproperties/interpretation___-1622974479.htm