<br><br><div class="gmail_quote">On Thu, Sep 1, 2011 at 2:25 PM, Norbert E. Fuchs <span dir="ltr"><<a href="mailto:fuchs@ifi.uzh.ch">fuchs@ifi.uzh.ch</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div><div></div><div class="h5"><br>
On 1 Sep 2011, at 10:00, Nagarjuna G wrote:<br>
<br>
> 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>
</div></div>Hi<br>
<br>
Are "part of" and "consists of" really inverse to each other? Though an engine is a part of a car the car does not consist of the engine.<br></blockquote><div><br>I assumed them to be.  Aren't they? <br>
<br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Which inference engine are you talking about?<br>
<br></blockquote><div><br>RACE. <br><br>thanks<br>--<br>GN<br><br> </div></div>