A collection of collections. Each instance of intermediate vocab term type by module is a spec of Cyc intermediate vocabulary term for which at least one Cyc-related program has been defined. In CycL, this means that for any instance INS, there is some program PROG such that (Type Used With Cyc Module INS PROG).