The contents you are looking for have moved to http://www.numenity.org/pkb