Re: SEM: comprehensive entailments without dark triples

> >
> > By way of trying to relate this to some use case
> > or requirement, here's an attempt at a sort of
> > natural-language translation:
> >
> >   If John has a child, then John is in the class
> >   of things that have children that are in this
> >   class I'm talking about.
> >

How about (for a similar example):

"A person is a thing that has two parents each of which is a person"

Jonathan

Received on Monday, 22 April 2002 14:17:12 UTC