Deductions
- fictional human has quality class ⇐ (quality is a class), (fictional human has quality quality)
- fictional human has quality abstract entity ⇐ (type is a abstract entity), (fictional human has quality type)
- fictional human has quality entity ⇐ (type is a entity), (fictional human has quality type)
- entity is for example fictional human ⇐ (fictional human is a entity), (is a is inverse of is for example)
- class of fictional entities is for example fictional human ⇐ (fictional human is a class of fictional entities), (is a is inverse of is for example)
- class is for example fictional human ⇐ (fictional human is a class), (is a is inverse of is for example)
- fictional human has quality type ⇐ (fictional human is a class), (class has quality type)
- fictional human has quality property ⇐ (fictional human is a class), (class has quality property)
- fictional human has quality quality ⇐ (fictional human is a class), (class has quality quality)
- fictional human has quality criterion ⇐ (fictional human is a class), (class has quality criterion)
- fictional human has quality existence ⇐ (fictional human is a class), (class has quality existence)
- fictional human is a entity ⇐ (class is subclass of entity), (fictional human is a class)
- fictional human is a class ⇐ (class of fictional entities is subclass of class), (fictional human is a class of fictional entities)
- fictional human is for example Arthur Dent ⇐ (Arthur Dent is a fictional human), (is a is inverse of is for example)
- fictional human is for example Irina Nikolayevna Arkadina ⇐ (Irina Nikolayevna Arkadina is a fictional human), (is a is inverse of is for example)
- fictional human is for example Jack Bauer ⇐ (Jack Bauer is a fictional human), (is a is inverse of is for example)