Tools for adding knowledge to the CYC LSKB | IEEE Conference Publication | IEEE Xplore