Semantics of instance-of

--===============1666892136==
Content-Type: multipart/alternative; boundary=000e0cd676628e5b09048100262a

--000e0cd676628e5b09048100262a
Content-Type: text/plain; charset=ISO-8859-1

Hi,

I'm trying to understand the semantics of PowerLoom's instance-of relation.
 Sepcifically, I'd like to know the difference between asserting an instance
of a concept using the unary concept relation and using the binary
instance-of relation.  PowerLoom appears to treat the two differently as
demonstrated by the following session transcript:

PL-USER |= (defconcept Person)
|c|PERSON

PL-USER |= (assert (Person Sam))
|P|(PERSON SAM)

PL-USER |= (ask (Person Sam))
TRUE

PL-USER |= (assert (instance-of Sally Person))
|P|(INSTANCE-OF SALLY PERSON)

PL-USER |= (ask (instance-of Sally Person))
TRUE

PL-USER |= (ask (Person Sally))
UNKNOWN


Cheers,
Cameron.

--000e0cd676628e5b09048100262a
Content-Type: text/html; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable

Hi,<div><br></div><div>I&#39;m trying to understand the semantics of PowerL=
oom&#39;s instance-of relation. =A0Sepcifically, I&#39;d like to know the d=
ifference between asserting an instance of a concept using the unary concep=
t relation and using the binary instance-of relation. =A0PowerLoom appears =
to treat the two differently as demonstrated by the following session trans=
cript:</div>
<div>
<div><br></div><div>PL-USER |=3D (defconcept Person)</div><div>|c|PERSON</d=
iv><div><div><br></div><div>PL-USER |=3D (assert (Person Sam))</div><div>|P=
|(PERSON SAM)</div><div><br></div><div><div>PL-USER |=3D (ask (Person Sam))=
</div>
<div>TRUE</div><div><br></div><div>PL-USER |=3D (assert (instance-of Sally =
Person))</div><div>|P|(INSTANCE-OF SALLY PERSON)</div><div><div><br></div><=
div>PL-USER |=3D (ask (instance-of Sally Person))</div><div>TRUE</div><div>
<br></div><div>PL-USER |=3D (ask (Person Sally))</div><div>UNKNOWN</div></d=
iv></div><div><br></div><div><br></div><div>Cheers,</div><div>Cameron.</div=
></div></div>

--000e0cd676628e5b09048100262a--

--===============1666892136==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
powerloom-forum mailing list
[email protected]
http://mailman.isi.edu/mailman/listinfo/powerloom-forum

--===============1666892136==--