In particular, the collection Chemical-CompoundTypeByChemicalSpecies is known to be a specialization of the collection ExistingStuffType, via the transitive properties of genls.
a subset of the Cyc KB including parts of the English lexicon has been made freely available as part of OpenCyc (www.opencyc.org).