TAP KB Class structure & errors

Hi Rob

I assume you're really busy working on TAP 1.0.

I just wanted to emphasize that the little tidbits
of info. I'm sending you (from MKE) are intended
to provide insight into the Class structure and
to help find any inconsistency/error in the KB.

For example, MKE says

$ ke
...
# clock <2003/08/19 08:56:42> # finished user initialization script
# INFO: kbmode = mke
# INFO: kbdata = http://panic.stanford.edu/data/
# INFO: kbfile = &null

##### ready for new knowledge #####
##### use <do menu done;> for MKE input menu #####
##### use <exit;> or <EOF> to exit ke #####
##### parse_file &input  KFORMAT <ku> #####
ke$ set echo=off,kbmode=tap;
# assignment <set echo = off;>
ke$ Property isa* ?;
Property
\  Class
\\    Resource
# WARNING: get_primitive: ignoring (string[19]) <Resource type Class>
# WARNING: get_primitive: ignoring(string[16]) <Class type Class>
ke$

which shows that the statement
    Property subClassOf Resource
is missing in the "new" panic KB.

The same error exists in the "next" KB 
    tapkb-1.0pre.tar.gz
which resides (unzipped) on my Linux system
# INFO: kbdata = http://rhm586/data/

Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;

Received on Saturday, 23 August 2003 06:18:14 UTC