曹阳坑

又名曹阳墟、七里涧。即曹阳。在今河南灵宝市东北。《水经·河水注》： “河水又东得七里涧，涧在陕城西七里，故因名焉。亦谓之南山通河。亦谓之曹阳坑。” 即此。 即“七里谷(1)”。