Here's a simple example (from my ongoing work on Cyc Upper Ontology)
of how to use mKE/mKR to edit your hierarchy.
$ ke -q -m -cyc
...
ke$ Entity isa* ?;
Entity
\ SomethingExisting
\\ TemporalThing
\\\ Individual
\\\\ Thing
\\ TemporalStuffType
\\\ StuffType
ke$ do delete od SomethingExisting from TemporalStuffType done;
ke$ SomethingExisting ismem TemporalStuffType;
ke$ Entity isa* ?;
Entity
\ SomethingExisting
\\ TemporalThing
\\\ Individual
\\\\ Thing
ke$ Entity ismem ?;
Entity ismem Class;
ke$ SomethingExisting ismem ?;
SomethingExisting ismem [Class,TemporalStuffType];
ke$ ! vi myCyc.mkr done;
ke$ exit;
##### exit #####
$
In my last command, I used Linux "vi" to make the changes "permanent"
in the source file knowledge/cyc/myCyc.mkr.
Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/