Deductions
- baryonic matter is for example oxygen ⇐ (oxygen is a baryonic matter), (is a is inverse of is for example)
- baryonic matter is for example phlogiston ⇐ (phlogiston is a baryonic matter), (is a is inverse of is for example)
- baryonic matter is for example mercury ⇐ (mercury is a baryonic matter), (is a is inverse of is for example)
- mercury is a baryonic matter ⇐ (chemical element is subclass of baryonic matter), (mercury is a chemical element)
- phlogiston is a baryonic matter ⇐ (chemical element is subclass of baryonic matter), (phlogiston is a chemical element)
- oxygen is a baryonic matter ⇐ (chemical element is subclass of baryonic matter), (oxygen is a chemical element)
- chemical element is subclass of baryonic matter ⇐ (chemical anti-element is subclass of baryonic matter), (chemical anti-element is opposite of chemical element)
- chemical anti-element is subclass of baryonic matter ⇐ (chemical anti-element is subclass of ordinary matter), (ordinary matter is subclass of baryonic matter), (is subclass of is a transitive relation)
- baryonic matter is subclass of matter ⇐ (exotic matter is subclass of matter), (exotic matter is opposite of baryonic matter)
- exotic matter is opposite of baryonic matter ⇐ baryonic matter is opposite of exotic matter
- chemical entity is subclass of baryonic matter ⇐ (chemical entity is subclass of ordinary matter), (ordinary matter is subclass of baryonic matter), (is subclass of is a transitive relation)