Deductions
- single person has quality existence ⇐ (single person is a entity), (entity has quality existence)
- single person has quality class ⇐ (single person is a entity), (entity has quality class)
- single person has quality degree of kinship ⇐ (single person is a kinship), (kinship has quality degree of kinship)
- entity is for example single person ⇐ (single person is a entity), (is a is inverse of is for example)
- kinship is for example single person ⇐ (single person is a kinship), (is a is inverse of is for example)
- single person is a kinship ⇐ (affinity is subclass of kinship), (single person is a affinity)
- single person is a entity ⇐ (affinity is subclass of entity), (single person is a affinity)
- property is for example single person ⇐ (single person is a property), (is a is inverse of is for example)
- single person is a property ⇐ (affinity is subclass of property), (single person is a affinity)
- single person is subclass of significant other ⇐ (spouse is subclass of significant other), (spouse is opposite of single person)
- legal status is for example single person ⇐ (single person is a legal status), (is a is inverse of is for example)
- single person is a legal status ⇐ (marital status is subclass of legal status), (single person is a marital status)
- marital status is for example single person ⇐ (single person is a marital status), (is a is inverse of is for example)
- affinity is for example single person ⇐ (single person is a affinity), (is a is inverse of is for example)
- single person is subclass of individual ⇐ (single person is subclass of person), (person is subclass of individual), (is subclass of is a transitive relation)
- single person is a affinity ⇐ (spouse is a affinity), (spouse is opposite of single person)