Deductions
- core concept has quality type ⇐ (core concept has quality class), (class has quality type), (has quality is a transitive relation)
- core concept has quality type of property ⇐ (core concept has quality class), (class has quality type of property), (has quality is a transitive relation)
- core concept has quality criterion ⇐ (core concept has quality class), (class has quality criterion), (has quality is a transitive relation)
- core concept has quality quality ⇐ (core concept has quality class), (class has quality quality), (has quality is a transitive relation)
- core concept has quality property ⇐ (core concept has quality class), (class has quality property), (has quality is a transitive relation)
- core concept has quality class ⇐ (set is a class), (core concept has quality set)
- core concept has quality class ⇐ (core concept has quality quality), (quality has quality class), (has quality is a transitive relation)
- core concept has quality type ⇐ (core concept has quality class), (class has quality type), (has quality is a transitive relation)
- core concept has quality type of property ⇐ (core concept has quality class), (class has quality type of property), (has quality is a transitive relation)
- core concept has quality criterion ⇐ (core concept has quality class), (class has quality criterion), (has quality is a transitive relation)
- core concept has quality quality ⇐ (core concept has quality class), (class has quality quality), (has quality is a transitive relation)
- core concept has quality property ⇐ (core concept has quality class), (class has quality property), (has quality is a transitive relation)
- core concept has quality class ⇐ (set is a class), (core concept has quality set)
- core concept has quality abstract entity ⇐ (set is a abstract entity), (core concept has quality set)
- core concept has quality existence ⇐ (core concept has quality entity), (entity has quality existence), (has quality is a transitive relation)
- core concept has quality entity ⇐ (taxonomic rank is a entity), (core concept has quality taxonomic rank)
- recognition has part core concept ⇐ (perception is a core concept), (recognition has part perception)
- core concept has quality mathematical property ⇐ (core concept is subclass of concept), (concept has quality mathematical property)
- core concept has quality taxonomic rank ⇐ (core concept is subclass of concept), (concept has quality taxonomic rank)
- core concept has quality extension of a concept ⇐ (core concept is subclass of concept), (concept has quality extension of a concept)
- core concept has quality class ⇐ (core concept is subclass of concept), (concept has quality class)
- core concept has quality mathematical object ⇐ (core concept is subclass of concept), (concept has quality mathematical object)
- core concept has quality superclass ⇐ (core concept is subclass of concept), (concept has quality superclass)
- core concept has quality set ⇐ (core concept is subclass of concept), (concept has quality set)
- core concept has quality relation ⇐ (core concept is subclass of concept), (concept has quality relation)
- observation has part core concept ⇐ (perception is a core concept), (observation has part perception)
- core concept is for example perception ⇐ (perception is a core concept), (is a is inverse of is for example)