Rename to be in line with what is in MONDO:includedEntryInOMIM
Thoughts
Slight inconsistency: There is a small discrepancy between MONDO:includedEntryInOMIM and new MONDO:omimFormerly in that the latter is "OMIM-namespaced" (OMIM comes first), and the former isn't. Personally I would like them to be both be in the "namespaced order", but It would be a bit much to bother changing it to MONDO:omimIncludedEntry now.
Note: MONDO:omimFormerly is new in currently in-progress #132 and the rename for that is in #168 (a PR on that PR).
Changes
MONDO:includedEntryInOMIMThoughts
Slight inconsistency: There is a small discrepancy between
MONDO:includedEntryInOMIMand newMONDO:omimFormerlyin that the latter is "OMIM-namespaced" (OMIM comes first), and the former isn't. Personally I would like them to be both be in the "namespaced order", but It would be a bit much to bother changing it toMONDO:omimIncludedEntrynow.Note:
MONDO:omimFormerlyis new in currently in-progress #132 and the rename for that is in #168 (a PR on that PR).