This mentions an SKF format for knowledge representation... but looking it up, I'm assuming it was invented just for this project?

Which is fine, but is there a description of the format distinct from this particular use? (I'm playing around with these same knowledge representation and compression ideas but for a different domain, so I'm curious about the ideas behind this format)