Deductions
- chemical element has quality superclass ⇐ (chemical element has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- chemical element is subclass of baryonic matter ⇐ (chemical anti-element is subclass of baryonic matter), (chemical anti-element is opposite of chemical element)
- chemical element has quality class ⇐ (quality is a class), (chemical element has quality quality)
- chemical element has quality superclass ⇐ (chemical element has quality abstract entity), (abstract entity has quality superclass), (has quality is a transitive relation)
- chemical element has quality taxonomic rank ⇐ (chemical element has quality abstract entity), (abstract entity has quality taxonomic rank), (has quality is a transitive relation)
- chemical element has quality abstract entity ⇐ (type is a abstract entity), (chemical element has quality type)
- phlogiston has part chemical element ⇐ (phlogiston is subclass of group 16), (group 16 has part chemical element)
- chemical element has quality entity ⇐ (type is a entity), (chemical element has quality type)
- entity is for example chemical element ⇐ (chemical element is a entity), (is a is inverse of is for example)
- chemical element is subclass of antimatter ⇐ (chemical anti-element is subclass of antimatter), (chemical anti-element is opposite of chemical element)
- chemical element has quality existence ⇐ (chemical element is a entity), (entity has quality existence)
- chemical element is a entity ⇐ (second-order class is subclass of entity), (chemical element is a second-order class)
- chemical element has quality class ⇐ (type of property is a class), (chemical element has quality type of property)
- water has part chemical element ⇐ (oxygen is a chemical element), (water has part oxygen)
- (R)-amygdalin has part chemical element ⇐ (oxygen is a chemical element), ((R)-amygdalin has part oxygen)
- fixed-order class is for example chemical element ⇐ (chemical element is a fixed-order class), (is a is inverse of is for example)
- chemical element is for example mercury ⇐ (mercury is a chemical element), (is a is inverse of is for example)
- second-order class is for example chemical element ⇐ (chemical element is a second-order class), (is a is inverse of is for example)
- chemical element is for example oxygen ⇐ (oxygen is a chemical element), (is a is inverse of is for example)
- chemical element is for example phlogiston ⇐ (phlogiston is a chemical element), (is a is inverse of is for example)
- chemical anti-element is opposite of chemical element ⇐ chemical element is opposite of chemical anti-element
- chemical element has quality property ⇐ (chemical element has quality type), (type has quality property), (has quality is a transitive relation)
- chemical element has quality quality ⇐ (chemical element has quality type), (type has quality quality), (has quality is a transitive relation)
- chemical element has quality criterion ⇐ (chemical element has quality type), (type has quality criterion), (has quality is a transitive relation)
- chemical element has quality type of property ⇐ (chemical element has quality type), (type has quality type of property), (has quality is a transitive relation)
- chemical element is subclass of ordinary matter ⇐ (chemical element is subclass of chemical entity), (chemical entity is subclass of ordinary matter), (is subclass of is a transitive relation)
- chemical element is subclass of chemical entity ⇐ (chemical element is subclass of chemical substance), (chemical substance is subclass of chemical entity), (is subclass of is a transitive relation)
- chemical element is a fixed-order class ⇐ (second-order class is subclass of fixed-order class), (chemical element is a second-order class)
- chemical element has quality type ⇐ (type of chemical entity is subclass of type), (chemical element has quality type of chemical entity)
- phlogiston is a chemical element ⇐ (oxygen is a chemical element), (oxygen is opposite of phlogiston)