Hi Peter,
That's true. I need to do another pass at all the ontologies to make
sure that SUMO is self-contained and MILO depends only on SUMO. It's true
that's not the case at the moment. (01)
Adam (02)
At 01:45 PM 3/14/2005, Peter Denno wrote:
>On Monday 14 March 2005 16:13, Adam Pease wrote:
> > Hi Peter,
> > See
> > http://newell.cim3.com:4010/sigma/Graph.jsp?kb=SUMO&lang=en&relation=subcla
> >ss&term=Paper&up=7&down=1&view=text&submit=submit
>
>But that is in MILO, not SUMO. SUMO just has:
>
>(=>
> (instance ?BILL CurrencyBill)
> (exists (?PAPER)
> (and
> (instance ?PAPER Paper)
> (part ?PAPER ?BILL))))
>
>And no other references to the term.
>
>
> >
> > Adam
> >
> > At 01:10 PM 3/14/2005, Peter Denno wrote:
> > >On Sunday 13 March 2005 16:23, Adam Pease wrote:
> > > > Many thanks for your continued work on this. I think the path to
> > > > Entity check still has a problem. For example
> > > >
> > > > Entity
> > > > Abstract
> > > > SetOrClass
> > > > Class
> > > > InheritableRelation
> > >
> > >Fixed, I think. Now I get:
> > >
> > > *** Test: Every class hierarchy terminates with Entity...
> > >Warning: Class hierarchy from Paper does not lead to Entity. Complete
> > >path is
> > >NIL.
> > >Warning: Class hierarchy from House does not lead to Entity. Complete
> > >path is
> > >NIL.
> > >
> > >
> > >--
> > >Best Regards,
> > > - Peter
> >
> > ----------------------------
> > Adam Pease
> > http://www.ontologyportal.org - Free ontologies and tools
>
>--
>Best Regards,
> - Peter (03)
----------------------------
Adam Pease
http://www.ontologyportal.org - Free ontologies and tools (04)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-dev/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-dev/
Shared Files: http://ontolog.cim3.net/file/work/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-dev@xxxxxxxxxxxxxxxx (05)
|