Deductions
- fatherland has quality superclass ⇐ (fatherland is a class), (class has quality superclass)
- fatherland has quality taxonomic rank ⇐ (fatherland is a class), (class has quality taxonomic rank)
- fatherland has quality entity ⇐ (fatherland is a class), (class has quality entity)
- fatherland has quality existence ⇐ (fatherland is a class), (class has quality existence)
- class is for example fatherland ⇐ (fatherland is a class), (is a is inverse of is for example)
- fatherland is a class ⇐ (abstract entity is subclass of class), (fatherland is a abstract entity)
- concept is for example fatherland ⇐ (fatherland is a concept), (is a is inverse of is for example)
- abstract entity is for example fatherland ⇐ (fatherland is a abstract entity), (is a is inverse of is for example)
- entity is for example fatherland ⇐ (fatherland is a entity), (is a is inverse of is for example)
- fatherland is a entity ⇐ (abstract entity is subclass of entity), (fatherland is a abstract entity)
- fatherland is a abstract entity ⇐ (concept is subclass of abstract entity), (fatherland is a concept)