Re: SUO: Re: Foundations for Ontology
From: "John F. Sowa" <email@example.com>
> 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.
... cause if it is, you just sold me the book .. even if it is $70