[Attempto] inverse names of relations

[Nagarjuna G]

On Thu, Sep 1, 2011 at 2:25 PM, Norbert E. Fuchs <fuchs at ifi.uzh.ch> wrote:

>
> On 1 Sep 2011, at 10:00, Nagarjuna G wrote:
>
> > Is there a way how I can tell the inference engine to handle the
> following situation:
> >
> > "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.
> >
> > If this query is already handled in ACE literature, just a pointer will
> do.
>
> Hi
>
> 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.
>

I assumed them to be.  Aren't they?

Which inference engine are you talking about?
>
>
RACE.

thanks
--
GN
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20110901/111315f3/attachment.html>