JSON

only_in_taxon

^ http://purl.obolibrary.org/obo/RO_0002160


S only_in_taxon T iff: S SubClassOf in_taxon only T.

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.

Property info

definition source

http://www.ncbi.nlm.nih.gov/pubmed/20973947,http://www.ncbi.nlm.nih.gov/pubmed/17921072

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

http://purl.obolibrary.org/obo/IAO_0000125

id

only_in_taxon

imported from

http://purl.obolibrary.org/obo/uberon.owl,http://purl.obolibrary.org/obo/cl.owl

see also

https://github.com/obophenotype/uberon/wiki/Taxon-constraints

shorthand

only_in_taxon

term editor

Chris Mungall,https://orcid.org/0000-0002-6601-2165

Property relations

Parents