Deductions
- political philosophy has part ontology ⇐ (political philosophy is subclass of philosophy), (philosophy has part ontology)
- social philosophy has part ontology ⇐ (social philosophy is subclass of philosophy), (philosophy has part ontology)
- ontology has quality class ⇐ (existence is a class), (ontology has quality existence)
- ontology is part of theoretical philosophy ⇐ (ontology is part of metaphysics), (metaphysics is part of theoretical philosophy), (is part of is a transitive relation)
- ontology has quality entity ⇐ (similarity is subclass of entity), (ontology has quality similarity)
- entity is for example ontology ⇐ (ontology is a entity), (is a is inverse of is for example)
- ontology has quality existence ⇐ (ontology is a entity), (entity has quality existence)
- ontology is a entity ⇐ (field of study is subclass of entity), (ontology is a field of study)
- ontology has part technical term ⇐ (ABox is a technical term), (ontology has part ABox)
- knowledge system is for example ontology ⇐ (ontology is a knowledge system), (is a is inverse of is for example)
- field of study is for example ontology ⇐ (ontology is a field of study), (is a is inverse of is for example)
- ontology is subclass of data set ⇐ (ontology is subclass of knowledge base), (knowledge base is subclass of data set), (is subclass of is a transitive relation)
- ontology is subclass of database ⇐ (ontology is subclass of knowledge base), (knowledge base is subclass of database), (is subclass of is a transitive relation)
- ontology is a field of study ⇐ (field of study is subclass of field of study), (ontology is a field of study)
- ontology is a knowledge system ⇐ (field of study is subclass of knowledge system), (ontology is a field of study)
- ontology has quality relation ⇐ (similarity is subclass of relation), (ontology has quality similarity)
- Template:Infobox person\/Wikidata has quality ontology ⇐ (Wikidata data model is subclass of ontology), (Template:Infobox person\/Wikidata has quality Wikidata data model)