(the ontological paradigm) and 
this will involve hard choices then I do not see how we can expect to 
amalgamate the lower level theories.

Regards
Chris


-----Original Message-----
From:	Ian Niles [SMTP:iniles@teknowledge.com]
Sent:	Tuesday, December 05, 2000 5:14 PM
To:	Standard-Upper-Ontology (E-mail)
Subject:	SUO: More KIF-ified Ontology Content

 &lt;&lt; File: Holes.kif &gt;&gt;
Hi All,

	Attached is a SUO-KIF formalization (done by Chris Menzel) of Casati
and Varzi's formal theory of holes, outline