Ontologies are becoming more and more popular as background knowledge
for intelligent applications.
Up to now, there has been a schism between manually assembled, highly
and large, automatically constructed knowledge bases.
This report discusses how the two worlds can be brought together by
combining the high-level axiomatizations from
the Standard Upper Merged Ontology (SUMO) with the extensive world
knowledge of the YAGO ontology.
On the theoretical side, it analyses the differences between the
knowledge representation in YAGO and SUMO.
On the practical side, this report explains how the two resources can
be merged. This yields a new
large-scale formal ontology, which provides information about millions
of entities such as people, cities,
organizations, and companies. This report is the detailed version of
our paper at ICTAI 2008.