Re: SUO: Re: Foundations for Ontology
From: "John F. Sowa" <sowa@bestweb.net>
> In the partial ordering of the lattice, a more generalized
> theory T1 (closer to the top) is implied by any theory T2
> that is more specialized than T1; i.e., every proposition
> in T1 is implied by the collection of axioms in T2. Also,
> every model of T2 is also a model of T1.
>
> This is all spelled out in my KR book.
Is that
http://www.amazon.com/exec/obidos/ASIN/0534949657/ ?
... cause if it is, you just sold me the book .. even if it is $70
Seth Russell