Deductions
- knowledge representation has quality class ⇐ (quality is a class), (knowledge representation has quality quality)
- knowledge representation has quality abstract entity ⇐ (type is a abstract entity), (knowledge representation has quality type)
- knowledge representation has quality entity ⇐ (taxonomic rank is a entity), (knowledge representation has quality taxonomic rank)
- class is for example knowledge representation ⇐ (knowledge representation is a class), (is a is inverse of is for example)
- abstract entity is for example knowledge representation ⇐ (knowledge representation is a abstract entity), (is a is inverse of is for example)
- entity is for example knowledge representation ⇐ (knowledge representation is a entity), (is a is inverse of is for example)
- knowledge representation has quality type of property ⇐ (knowledge representation has quality artificiality), (artificiality has quality type of property), (has quality is a transitive relation)
- knowledge representation has quality superclass ⇐ (knowledge representation has quality artificiality), (artificiality has quality superclass), (has quality is a transitive relation)
- knowledge representation has quality taxonomic rank ⇐ (knowledge representation has quality artificiality), (artificiality has quality taxonomic rank), (has quality is a transitive relation)
- knowledge representation has quality property ⇐ (knowledge representation has quality genre), (genre has quality property), (has quality is a transitive relation)
- knowledge representation has quality quality ⇐ (knowledge representation has quality genre), (genre has quality quality), (has quality is a transitive relation)
- knowledge representation has quality criterion ⇐ (knowledge representation has quality genre), (genre has quality criterion), (has quality is a transitive relation)
- knowledge representation is subclass of artificial object ⇐ (knowledge representation is subclass of work), (work is subclass of artificial object), (is subclass of is a transitive relation)
- knowledge representation is subclass of entity ⇐ (knowledge representation is subclass of work), (work is subclass of entity), (is subclass of is a transitive relation)
- knowledge representation is subclass of object ⇐ (knowledge representation is subclass of work), (work is subclass of object), (is subclass of is a transitive relation)
- knowledge representation is a entity ⇐ (abstract entity is subclass of entity), (knowledge representation is a abstract entity)
- knowledge representation is a abstract entity ⇐ (class is subclass of abstract entity), (knowledge representation is a class)
- knowledge representation is a class ⇐ (class is subclass of class), (knowledge representation is a class)
- knowledge representation has quality type ⇐ (type of object is subclass of type), (knowledge representation has quality type of object)
- knowledge representation has quality class ⇐ (genre is subclass of class), (knowledge representation has quality genre)
- knowledge representation has quality genre ⇐ (knowledge representation is subclass of work), (work has quality genre)
- knowledge representation has quality artificiality ⇐ (knowledge representation is subclass of work), (work has quality artificiality)
- knowledge representation has quality existence ⇐ (knowledge representation is subclass of work), (work has quality existence)
- knowledge representation has quality type of object ⇐ (knowledge representation is subclass of work), (work has quality type of object)