developing ANSI
&gt; and ISO standards for KIF and CGs have been merged into a project
&gt; for developing a common model-theoretic semantics for KIF, CGs,
&gt; and other notations, including the traditional infix notation for
&gt; predicate calculus.  Members of the CL (Common Logic) project have
&gt; have also been working with other groups to bring other logic-based
&gt; or logic-like notations, such as RDF, under the same semantic umbrella.
&gt; 
&gt; Users and developers of each notation will determine