Common Logic is an ISO standard framework for a family of first-order logic languages intended for rule exchange.
Seems comparable to RIF, LKIF, etc.
Evolved out of the Knowledge Interchange Format (KIF) of which Michael Genesereth was a principal designer.