KIF is unintelligible to all but a few cognoscenti,

Well, I do feel obligated to point out that KIF has been treated as a 
kind of standard by almost everyone in the entire ontology research 
community for about a decade, and is in any case only conventional 
first-order logic written in (an admittedly somewhat messy) LISP-like 
syntax, so this 'few cognoscenti' is rather a large percentage of the 
world's active workers in this area.

Pat Hayes

------------------------------------------------------------