The Suggested Upper Merged Ontology: A Large Ontology for the Semantic Web and its Applications
Mereotopology: a theory of parts and boundaries