Deductions
- object is for example Elma ⇐ (Elma is a object), (is a is inverse of is for example)
- spatio-temporal entity is for example Elma ⇐ (Elma is a spatio-temporal entity), (is a is inverse of is for example)
- Elma is a spatio-temporal entity ⇐ (independent continuant is subclass of spatio-temporal entity), (Elma is a independent continuant)
- Elma is a object ⇐ (independent continuant is subclass of object), (Elma is a independent continuant)
- independent continuant is for example Elma ⇐ (Elma is a independent continuant), (is a is inverse of is for example)
- Elma is a independent continuant ⇐ (person or organization is subclass of independent continuant), (Elma is a person or organization)
- person or organization is for example Elma ⇐ (Elma is a person or organization), (is a is inverse of is for example)
- continuant is for example Elma ⇐ (Elma is a continuant), (is a is inverse of is for example)
- Elma is a person or organization ⇐ (publishing company is subclass of person or organization), (Elma is a publishing company)
- Elma is a continuant ⇐ (publishing company is subclass of continuant), (Elma is a publishing company)
- publisher is for example Elma ⇐ (Elma is a publisher), (is a is inverse of is for example)
- publishing company is for example Elma ⇐ (Elma is a publishing company), (is a is inverse of is for example)
- Elma is a publisher ⇐ (publishing company is subclass of publisher), (Elma is a publishing company)