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 (01)
But that is in MILO, not SUMO. SUMO just has: (02)
(=>
(instance ?BILL CurrencyBill)
(exists (?PAPER)
(and
(instance ?PAPER Paper)
(part ?PAPER ?BILL)))) (03)
And no other references to the term. (04)
>
> 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 (05)
--
Best Regards,
- Peter
_________________________________________________________________
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 (06)
|