mke database: cyc   opencyc/latest   google   sos   sumo   tabrasa   tap   usecs   yahoo

mke option: --input   --database   --version   --help
        --verbs   --commands   --control   --prepositions   --quantifiers   --structures   --NotImplemented

mKR proposition: set current concept regular expression search synonym search subhierarchy superhierarchy wholes parts attributes binary relations actions interactions mke option assertion other mKR proposition