Is there a way how I can tell the inference engine to handle the following situation: <br><br>"x is a part of y" and "y consists of x" are alternative propositional transformations saving the truth value. How to tell that the predicate "part of" and "consists of" are inverse to each other.  <br>
<br>If this query is already handled in ACE literature, just a pointer will do.<br><br>Thanks<br>--<br>GN<br><br>