CYC(2): (apropos "WORLD") LOAD-WORLD unbound CYC-BUILD-WORLD-VERIFY [function] (REQ-0 REQ-1) LOAD-WORLD [function] (REQ-0) WRITE-WORLD [function] (REQ-0 &OPTIONAL OPT-1) T