Matters

A Semantics for the Knowledge Interchange Format
"Abstract
We give a precise semantics for a proposed revised version of the Knowledge Interchange Format. We show that quantification over relations is possible in a first-order logic, but sequence variables take the language beyond first-order."