documenting disjointness axioms product

See obophenotype/ncbitaxon#13
OBOFoundry · Jul 30, 2018 · d5b97f2 · d5b97f2
1 parent 37709be
commit d5b97f2
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/ontology/ncbitaxon.md b/ontology/ncbitaxon.md
@@ -34,6 +34,9 @@ products:
   - id: ncbitaxon/subsets/taxslim.owl
     title: taxslim
     page: https://github.com/obophenotype/ncbitaxon/blob/master/subsets/README.md
+  - id: ncbitaxon/subsets/taxslim-disjoint-over-in-taxon.owl
+    title: taxslim disjointness axioms
+    page: https://github.com/obophenotype/ncbitaxon/blob/master/subsets/README.md
 ---
 
 The NCBITaxon ontology is an automatic translation of the [NCBI taxonomy database](http://www.ncbi.nlm.nih.gov/taxonomy) into obo/owl.