Deductions
- instance of has quality class ⇐ (set is a class), (instance of has quality set)
- gravitational force instance of fundamental interaction ⇐ (non-gravitational force instance of fundamental interaction), (non-gravitational force opposite of gravitational force)
- non-gravitational force instance of fundamental interaction ⇐ (gravity instance of fundamental interaction), (gravity opposite of non-gravitational force)
- astronomical object instance of geographic region ⇐ (outer space instance of geographic region), (outer space opposite of astronomical object)
- Philipp von Zesen instance of organism ⇐ (human subclass of organism), (Philipp von Zesen instance of human)
- instance of has quality class ⇐ (abstract entity is a class), (instance of has quality abstract entity)
- instance of has quality class ⇐ (set is a class), (instance of has quality set)
- instance of has quality abstract entity ⇐ (set is a abstract entity), (instance of has quality set)
- instance of has quality entity ⇐ (taxonomic rank is a entity), (instance of has quality taxonomic rank)
- proposition is for example instance of ⇐ (instance of is a proposition), (is a is inverse of is for example)
- abstract entity is for example instance of ⇐ (instance of is a abstract entity), (is a is inverse of is for example)
- mathematical object is for example instance of ⇐ (instance of is a mathematical object), (is a is inverse of is for example)
- entity is for example instance of ⇐ (instance of is a entity), (is a is inverse of is for example)
- instance of has quality mathematical property ⇐ (instance of is a mathematical object), (mathematical object has quality mathematical property)
- instance of has quality superclass ⇐ (instance of is a mathematical object), (mathematical object has quality superclass)
- instance of has quality set ⇐ (instance of is a mathematical object), (mathematical object has quality set)
- instance of has quality relation ⇐ (instance of is a mathematical object), (mathematical object has quality relation)
- instance of has quality taxonomic rank ⇐ (instance of is a mathematical object), (mathematical object has quality taxonomic rank)
- instance of has quality existence ⇐ (instance of is a entity), (entity has quality existence)
- instance of is a abstract entity ⇐ (property constraint is subclass of abstract entity), (instance of is a property constraint)
- instance of is a entity ⇐ (property constraint is subclass of entity), (instance of is a property constraint)
- instance of is a mathematical object ⇐ (property constraint is subclass of mathematical object), (instance of is a property constraint)
- instance of is a proposition ⇐ (property constraint is subclass of proposition), (instance of is a property constraint)
- property constraint is for example instance of ⇐ (instance of is a property constraint), (is a is inverse of is for example)
- relation of type constraint is for example instance of ⇐ (instance of is a relation of type constraint), (is a is inverse of is for example)
- Wikidata property definition is for example instance of ⇐ (instance of is a Wikidata property definition), (is a is inverse of is for example)
- instance of is subclass of definition ⇐ (instance of is subclass of relation of type constraint), (relation of type constraint is subclass of definition), (is subclass of is a transitive relation)
- instance of is subclass of proposition ⇐ (instance of is subclass of relation of type constraint), (relation of type constraint is subclass of proposition), (is subclass of is a transitive relation)
- instance of is subclass of property constraint ⇐ (instance of is subclass of relation of type constraint), (relation of type constraint is subclass of property constraint), (is subclass of is a transitive relation)
- instance of is subclass of Wikidata property definition ⇐ (instance of is subclass of relation of type constraint), (relation of type constraint is subclass of Wikidata property definition), (is subclass of is a transitive relation)
- instance of is a Wikidata property definition ⇐ (property constraint is subclass of Wikidata property definition), (instance of is a property constraint)
- instance of is a property constraint ⇐ (relation of type constraint is subclass of property constraint), (instance of is a relation of type constraint)