Copy
import file
A subset ontology module that is intended to be imported from another ontology.
TODO: add axioms that indicate this is the output of a module extraction process.
import ontology module
http://robot.obolibrary.org/extract