astro:point_source id="IRAS1234+00"
instr:imagedBy instr:IRAS;
misc:name "IRAS1234+00";
phys:hasMeasurement astro:pt_flux3;
owl:sameAs id="Spitzer1234+00".
and
astro:extended_source id="Spitzer1234+00"
instr:imagedBy instr:Spitzer_IRAC"
misc:name "IRAS1234+00";
phys:hasMeasurement astro:extended_flux6;
owl:sameAs id="IRAS1234+00".
I think I got it right now.
Ed