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;
http://mKRmKE.org/