The metaontology of abstraction