This version of OLS (OLS3) is no longer updated and will be replaced by OLS4 on 30th October 2023.

Help us test the new version of OLS, with updated versions of ontologies and lots of new features!

Property information


x only in taxon y if and only if x is in taxon y, and there is no other organism z such that y!=z a and x is in taxon z.

definition source

editor note

The original intent was to treat this as a macro that expands to 'in taxon' only ?Y - however, this is not necessary if we instead have supplemental axioms that state that each pair of sibling tax have a disjointness axiom using the 'in taxon' property - e.g. 'in taxon' some Eukaryota DisjointWith 'in taxon' some Eubacteria

example of usage

lactation SubClassOf 'only in taxon' some 'Mammalia'

has curation status


term editor

Chris Mungall

Property relations