Removed the SKOS import, and the subsumption triples that linked its terms to BFO.