Deductions
- taxon has quality class ⇐ (existence is a class), (taxon has quality existence)
- entity is for example taxon ⇐ (taxon is a entity), (is a is inverse of is for example)
- taxon has quality existence ⇐ (taxon is a entity), (entity has quality existence)
- taxon is a entity ⇐ (second-order class is subclass of entity), (taxon is a second-order class)
- taxon is for example Maloideae ⇐ (Maloideae is a taxon), (is a is inverse of is for example)
- taxon is for example Giant panda ⇐ (Giant panda is a taxon), (is a is inverse of is for example)
- taxon is for example animal ⇐ (animal is a taxon), (is a is inverse of is for example)
- taxon is for example wood thrush ⇐ (wood thrush is a taxon), (is a is inverse of is for example)
- taxon is for example Bald Eagle ⇐ (Bald Eagle is a taxon), (is a is inverse of is for example)
- second-order class is for example taxon ⇐ (taxon is a second-order class), (is a is inverse of is for example)
- taxon is for example Acanthopterygii ⇐ (Acanthopterygii is a taxon), (is a is inverse of is for example)
- taxon is for example Meleagris ⇐ (Meleagris is a taxon), (is a is inverse of is for example)
- taxon is for example Malus ⇐ (Malus is a taxon), (is a is inverse of is for example)
- taxon is for example Syngnathiformes ⇐ (Syngnathiformes is a taxon), (is a is inverse of is for example)
- taxon is for example mammal ⇐ (mammal is a taxon), (is a is inverse of is for example)
- taxon is for example Gerbera jamesonii ⇐ (Gerbera jamesonii is a taxon), (is a is inverse of is for example)
- taxon is for example Hominidae ⇐ (Hominidae is a taxon), (is a is inverse of is for example)
- fixed-order class is for example taxon ⇐ (taxon is a fixed-order class), (is a is inverse of is for example)
- taxon is for example sturgeon ⇐ (sturgeon is a taxon), (is a is inverse of is for example)
- taxon is for example Homo ⇐ (Homo is a taxon), (is a is inverse of is for example)
- taxon is for example Homo sapiens ⇐ (Homo sapiens is a taxon), (is a is inverse of is for example)
- taxon is for example Malus sylvestris ⇐ (Malus sylvestris is a taxon), (is a is inverse of is for example)
- taxon is for example plant ⇐ (plant is a taxon), (is a is inverse of is for example)
- taxon is subclass of class ⇐ (taxon is subclass of group or class of organisms), (group or class of organisms is subclass of class), (is subclass of is a transitive relation)
- taxon is a fixed-order class ⇐ (second-order class is subclass of fixed-order class), (taxon is a second-order class)
- taxon has quality word or phrase ⇐ (name is subclass of word or phrase), (taxon has quality name)
- taxon has quality name ⇐ (scientific name is subclass of name), (taxon has quality scientific name)