Deductions
- sexuality has quality class ⇐ (existence is a class), (sexuality has quality existence)
- sexuality has quality entity ⇐ (taxonomic rank is a entity), (sexuality has quality taxonomic rank)
- sexuality is for example non-heterosexuality ⇐ (non-heterosexuality is a sexuality), (is a is inverse of is for example)
- sexuality has quality existence ⇐ (sexuality is subclass of abstract entity), (abstract entity has quality existence)
- sexuality has quality superclass ⇐ (sexuality is subclass of abstract entity), (abstract entity has quality superclass)
- sexuality has quality taxonomic rank ⇐ (sexuality is subclass of abstract entity), (abstract entity has quality taxonomic rank)
- sexual orientation has part sexuality ⇐ (heterosexuality is a sexuality), (sexual orientation has part heterosexuality)
- non-heterosexuality is a sexuality ⇐ (heterosexuality is a sexuality), (heterosexuality is opposite of non-heterosexuality)
- sexuality is for example heterosexuality ⇐ (heterosexuality is a sexuality), (is a is inverse of is for example)
- sexuality is for example homosexuality ⇐ (homosexuality is a sexuality), (is a is inverse of is for example)
- sexuality is subclass of abstract entity ⇐ (sexuality is subclass of behavior), (behavior is subclass of abstract entity), (is subclass of is a transitive relation)
- sexuality is subclass of entity ⇐ (sexuality is subclass of behavior), (behavior is subclass of entity), (is subclass of is a transitive relation)
- sexuality is subclass of regularity ⇐ (sexuality is subclass of pattern), (pattern is subclass of regularity), (is subclass of is a transitive relation)
- sexuality is subclass of pattern ⇐ (sexuality is subclass of behavior), (behavior is subclass of pattern), (is subclass of is a transitive relation)
- homosexuality is a sexuality ⇐ (sexual orientation is subclass of sexuality), (homosexuality is a sexual orientation)
- heterosexuality is a sexuality ⇐ (sexual orientation is subclass of sexuality), (heterosexuality is a sexual orientation)