1.IKL a logic for interoperation Pat Hayes Florida IHMC ONTOLOG invited presentation 2006-10-26 2. IKL, CL, CLIF, KIF, etc. CL (Common Logic) is a draft ISO standard framework…
