Closed matentzn closed 4 years ago
Thought we'd cleaned up all Typedef axioms in FBbt apart from id, name, xref.
We removed it, but then many inferences got lost; Its easy to remove, but dont you want to be sure that it comes in from RO first before we get rid of it? :P I dont mind either way.
Sorry - had forgotten that. It absolutely needs to be in RO. Quite shocking it's not.
Does the obo syntax correspond to overlaps o part of subroleof: overlaps
?
(OBO syntax question sorry :P should know these things; just wanna be sure.
We need to remember to remove this once RO has had a new release
Currently in fbbt-edit.obo: