ke [-rdf|-owl|-cyc] [mkrfile]

The new options are implemented in the current version (Feb/2/2007) of MKE.
Here's a suggestion for getting acquainted with MKE.

    $ ke -q -m -owl
    ke$ Thing isc* ?;
    ke$ ClassSet isall* ?;
    ke$ exit;

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

Received on Friday, 2 February 2007 23:31:08 UTC