d out that KIF and CGs have been brought up for ISO
&gt; consideration off and on for at least 10 years with never enough help
&gt; available for the editing.  Other members had questions about
&gt; proliferation, redundancy, and whether there is an industrial
&gt; requirement for interoperability that warrants an ISO standard.
&gt; 
&gt; If the Common Logic part of the standard comes together, however,
&gt; this standard may be viewed as a way of managing proliferation of
&gt; logic-related standards, rath