never in taxon x never in taxon T if and only if T is a class, and x does not instantiate the class expression "in taxon some T". Note that this is a shortcut relation, and should be used as a hasValue restriction in OWL. ?X DisjointWith RO_0002162 some ?Y Chris Mungall tooth SubClassOf 'never in taxon' value 'Aves' taxonomic class assertion