|  John Sowa's famous example of an inference gone wrong is as follows:
|
|  Clyde is an elephant, elephant is a species, therefore Clyde is a species
|
|  Here's how to avoid the wrong inference by being careful about what each statement means to a human reader
|
|        You can run these rules in a browser, using the Internet Business Logic system
|                          at  www.reengineeringllc.com
|
|  For background, please see the "Semantic Web Presentation" at www.reengineeringllc.com





some-item is a member of the set some-set
that-set is a named subset of the set some-superset
--------------------------------------------------------
that-item is a member of a named subset of that-superset


this-item is a member of the set this-set
============================================
 Clyde                         The Elephants


this-item is a named subset of the set this-set
================================================
The Elephants             All Species Of Animals