O standardization effort for CGs, KIF and a
&gt; common semantics for them and other representations of logic.
&gt; 
&gt; Attached are two files.  One is an rtf file &quot;ISO WG2 Common Logic&quot;
&gt; derived from the powerpoint slides I used to support a case for adoption
&gt; of a Common Logic/CG/KIF New Work Item at the ISO/IEC TC1 SC32 meeting
&gt; in Seoul in April.  The other is the current draft of the NWI Proposal,
&gt; which I hope you will review.  The NWI proposal is for a 3 part
&gt; standard