On Monday 14 March 2005 16:49, Adam Pease wrote:
> 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)
That gave me the idea to run SUMO+MILO. After I commented out this (which
causes an error), (02)
;; POD
;(=>
; (instance ?SADDLE Saddle)
; (capability
; (KappaFn ?RIDE
; (and
; (exists (?HUMAN ?HORSE)
; (instance ?RIDE Carrying)
; (patient ?RIDE ?HUMAN)
; (instance ?HUMAN Human)
; (agent ?RIDE ?HORSE)
; (instance ?HORSE Horse)))) instrument ?SADDLE)) (03)
I get this (I am only running the 3 test that seem to be meaningful at this
point): (04)
*** Test: Everything is an instance of something...
Warning: agreementMember is not an instance of anything.
Warning: customer is not an instance of anything.
Warning: chiefOfState is not an instance of anything. (05)
*** Test: Every class hierarchy terminates with Entity...
Warning: Class hierarchy from LegislativeOrganization does not lead to
Entity. Complete path is NIL.
Warning: Class hierarchy from Clay does not lead to Entity. Complete path is
NIL.
Warning: Class hierarchy from CommunicationDevice does not lead to Entity.
Complete path is NIL.
Warning: Class hierarchy from Radio does not lead to Entity. Complete path is
NIL.
Warning: Class hierarchy from Television does not lead to Entity. Complete
path is NIL.
Warning: Class hierarchy from Antenna does not lead to Entity. Complete path
is (CommunicationDevice).
Warning: Class hierarchy from Entity does not lead to Entity. Complete path
is NIL.
Warning: Class hierarchy from Zinc does not lead to Entity. Complete path is
NIL.
Warning: Class hierarchy from Copper does not lead to Entity. Complete path
is NIL.
Warning: Class hierarchy from Iron does not lead to Entity. Complete path is
NIL.
Warning: Class hierarchy from StageCoach does not lead to Entity. Complete
path is (Trailer).
Warning: Class hierarchy from Soil does not lead to Entity. Complete path is
NIL.
Warning: Class hierarchy from Oxygen does not lead to Entity. Complete path
is NIL.
Warning: Class hierarchy from Hydrogen does not lead to Entity. Complete path
is NIL.
Warning: Class hierarchy from Chlorine does not lead to Entity. Complete path
is NIL.
Warning: Class hierarchy from Sodium does not lead to Entity. Complete path
is NIL.
Warning: Class hierarchy from Carbon does not lead to Entity. Complete path
is NIL.
Warning: Class hierarchy from PoliticalParty does not lead to Entity.
Complete path is NIL.
Warning: Class hierarchy from Agriculture does not lead to Entity. Complete
path is NIL.
Warning: Class hierarchy from Watercraft does not lead to Entity. Complete
path is NIL.
Warning: Class hierarchy from LandVehicle does not lead to Entity. Complete
path is NIL.
Warning: Class hierarchy from Aircraft does not lead to Entity. Complete path
is NIL.
Warning: Class hierarchy from BotanicalTree does not lead to Entity. Complete
path is NIL.
Warning: Class hierarchy from StormFront does not lead to Entity. Complete
path is (AtmosphericRegion).
Warning: Class hierarchy from Train does not lead to Entity. Complete path is
NIL.
Warning: Class hierarchy from Fodder does not lead to Entity. Complete path
is NIL.
Warning: Class hierarchy from Hay does not lead to Entity. Complete path is
(Fodder).
Warning: Class hierarchy from AtmosphericRegion does not lead to Entity.
Complete path is NIL.
Warning: Class hierarchy from Contract does not lead to Entity. Complete path
is NIL. (06)
*** Test: the use of proper arity everywhere.
Warning: domainSubclass has arity 3 but (domainSubclass 2 Text)
>
> Adam
>
> 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=su
> > >bcla 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
>
> ----------------------------
> Adam Pease
> http://www.ontologyportal.org - Free ontologies and tools (07)
--
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 (08)
|