only_in_taxon
U only_in_taxon T: U is a feature found in only in organisms of species of taxon T. The feature cannot be found in an organism of any species outside of (not subsumed by) that taxon. Down-propagates in U hierarchy, up-propagates in T hierarchy (species taxonomy). Implies applicable_to_taxon.
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.
S only_in_taxon T iff: S SubClassOf in_taxon only T
Synonyms: never_outside_taxon, specific_to, specific_to_taxon
Property info
Down-propagates. The original name for this in the paper is 'specific_to'. Applicable to genes because some genes are lost in sub-species (strains) of a species.
RO:0002160
http://www.ncbi.nlm.nih.gov/pubmed/20973947,http://www.ncbi.nlm.nih.gov/pubmed/17921072
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
lactation SubClassOf 'only in taxon' some 'Mammalia'
http://purl.obolibrary.org/obo/IAO_0000125
uberon,protein
only_in_taxon
false
https://github.com/obophenotype/uberon/wiki/Taxon-constraints
only_in_taxon
Chris Mungall