OpenCyc
4/11/02 9 - OpenCyc 0.6.0 released this week on sourceforge. If you don't want toinstall the 40M download, you can browse the opencyc ontology via oneof the OpenCyc servers, such ashttp://opencyc250.homelinux.org:3603/cg?cb-start.
Firm aims to 'computerize' common sense
4/11/02 9 - "Austin, Texas-based Cycorp claims to be "the leading supplier of formalized common sense." CEO and founder Doug Lenat has labored 17 years to codify facts such as "Once people die, they stop buying things." He uses a form of symbolic logic called "predicate calculus" to classify and show the properties of information in a standard way...." (CNN.COM)