at describes things and events in the world in logical terms that computers can reason about. Its purpose is to provide a shared vocabulary for Web applications, allowing them to automatically reason about, and integrate, the content of web sites and web services. The OpenCyc ontology and knowledge base goes beyond tag-sets, taxonomies, and other reference vocabularies, because it has been designed and extensively tested for use in automated reasoning. As </span><a style="font-family: times new roman;" href