This link shows the starting screens for the "-owl" option of MKE 7.3.
http://mKRmKE.org/homepage/owl.screenshot.jpg
The first hierarchy is a high-level Subject-Predicate-Object view,
including all input/output files.
The second hierarchy includes all Classes & Properties from the
W3C OWL language definition. The MKE + OWL knowledge base
includes domain & range info. and descriptive comments.
Dick McCullough
knowledge := man do identify od existent done;
knowledge haspart proposition list;
http://mKRmKE.org/