[Heartlogic-dev] Re: perspectives or pronoun KIF model

[Joshua N Pritikin]

On Sat, Jan 03, 2004 at 01:32:34PM -0600, William L. Jarrold wrote:
> On Sat, 3 Jan 2004, Joshua N Pritikin wrote:
> > Alone, it is like a type declaration.  If you use it
> > in defconcept then you get the above inference.
> >
> > (defconcept Foobar-Specific (?fb Foobar))
> 
> Ah.  So it seems like...
> 
> (defconcept Foobar-Specific (?fg Foobar))
> 
> ...is similar to (and maybe even equivalent to)...
> 
> (#$genls #$Foobar-Specific #$Foobar)
> 
> ...in CycL.  Or in KM, it would be like so...
> 
> (Foobar-Specific has
>       (superclases (Foobar))

Yes.  That looks correct.

> Tho, I would LOVE to learn PowerLoom, I have an even
> stronger desire to focus my energies until I finish my
> clinical internship.  Therefore, I suppose I would prefer
> that.

OK, although I feel we are making satisfactory progress just talking
about goals & parameterization.

-- 
Victory to the Divine Mother!!         after all,
  http://sahajayoga.org                  http://why-compete.org