OBO: 1.3 Whiteboard
This page is intended to be a scratch pad for OBO 1.3 features and proposals.
Changes to Relations
The following new Typedef tags should be supported in OBO 1.3...
- transitive_under
- always_implies_inverse
- transitive_under* means that if X -