"Véase": CycL, inteligencia artificial, lógica, WordNet, Web semántica