In particular, the collection Chemical-CompoundTypeByChemicalSpecies is known to be a specialization of the collection ExistingStuffType, via the transitive properties of genls.
by virtue of being an instance of ChemicalCompound-TypeByChemicalSpecies, Water is known to be an instance of ExistingStuffType.