ical goal 
of our enterprise would remain mainly the same if we adopt a broader 
perspective, replacing "an upper ontology" with something like "A 
framework of carefully crafted foundational ontologies". In practice, 
such a framework would be a set of logical theories ordered according 
to a theory-inclusion relationship, as proposed (I believe) by Chris 
Menzel. The formal structure would be similar to that of the Stanford 
Ontology Library, or to the ONIONS ontology. Differently from these 
approaches, 