Currently the artifacts present in OBO point to https://github.com/BFO-ontology/BFO, which has fewer terms than https://github.com/BFO-ontology/BFO-2020; specifically - BFO:0000117 (has occurrent part) - BFO:0000167 (has participant at all times) Are both present in other ontologies in OBO but not in our linked OWL for BFO. (https://github.com/BFO-ontology/BFO-2020/blob/12ac8c8b0924ebe5bb049c2173e89f23fc0ad6ad/src/owl/profiles/temporal%20extensions/temporalized%20relations/owl/bfo-temporalized-relations.owl#L771)