Deductions
- similarity has quality class ⇐ (quality is a class), (similarity has quality quality)
- similarity has quality abstract entity ⇐ (type is a abstract entity), (similarity has quality type)
- similarity has quality entity ⇐ (taxonomic rank is a entity), (similarity has quality taxonomic rank)
- similarity has quality existence ⇐ (similarity is subclass of entity), (entity has quality existence)
- similarity is subclass of difference ⇐ (difference is subclass of difference), (difference is opposite of similarity)
- similarity has quality class ⇐ (type of property is a class), (similarity has quality type of property)
- type of relation is for example similarity ⇐ (similarity is a type of relation), (is a is inverse of is for example)
- type is for example similarity ⇐ (similarity is a type), (is a is inverse of is for example)
- difference is opposite of similarity ⇐ similarity is opposite of difference
- similarity has quality quality ⇐ (similarity has quality type of relation), (type of relation has quality quality), (has quality is a transitive relation)
- similarity has quality property ⇐ (similarity has quality type of relation), (type of relation has quality property), (has quality is a transitive relation)
- similarity has quality criterion ⇐ (similarity has quality type of relation), (type of relation has quality criterion), (has quality is a transitive relation)
- similarity is subclass of property ⇐ (similarity is subclass of relation), (relation is subclass of property), (is subclass of is a transitive relation)
- similarity is subclass of abstract entity ⇐ (similarity is subclass of relation), (relation is subclass of abstract entity), (is subclass of is a transitive relation)
- similarity is subclass of entity ⇐ (similarity is subclass of relation), (relation is subclass of entity), (is subclass of is a transitive relation)
- similarity is a type ⇐ (type of relation is subclass of type), (similarity is a type of relation)
- similarity has quality taxonomic rank ⇐ (superclass is a taxonomic rank), (similarity has quality superclass)
- similarity has quality type ⇐ (type of relation is subclass of type), (similarity has quality type of relation)
- similarity has quality type of relation ⇐ (similarity is subclass of relation), (relation has quality type of relation)
- similarity has quality superclass ⇐ (similarity is subclass of relation), (relation has quality superclass)
- similarity has quality type of property ⇐ (similarity is subclass of relation), (relation has quality type of property)
- Wikidata data model has quality similarity ⇐ (Wikidata data model is subclass of ontology), (ontology has quality similarity)