claim: Bill Graham Civic Auditorium was built as part of an exposition.
evidence: In formal ontology , a branch of metaphysics , and in ontological computer science , mereotopology is a first-order theory , embodying mereological and topological concepts , of the relations among wholes , parts , parts of parts , and the boundaries between parts .. formal ontology. formal ontology. metaphysics. metaphysics. ontological computer science. ontology ( computer science ). first-order theory. first-order theory. mereological. mereology. topological. topological. boundaries. boundary ( topology )