Property information
S never_in_taxon T iff: S SubClassOf in_taxon only not T.
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.
definition source
http://www.ncbi.nlm.nih.gov/pubmed/20973947
http://www.ncbi.nlm.nih.gov/pubmed/17921072
expand assertion to
?X DisjointWith RO_0002162 some ?Y
Class: <http://www.w3.org/2002/07/owl#Nothing> EquivalentTo: ?X and (RO_0002162 some ?Y)