Mahlzeit! Für mich stellt sich das so dar: Ponore sind generell in Karstgebieten häufig und ein gewisser Prozentsatz dürfte daher auch auf Dolinen zurückgehen. Von daher kann man sagen, dass eine (Einsturz-)Doline, in der ein Bach verschwindet, ein Ponor ist bzw. ein Ponor, der durch Einsturz des Deckgebirges entstanden ist, auch gleichzeitig eine Doline ist. Der oben von dir zitierte englische Satz ist daher m.E. falsch, weil er diese Doppelidentität (das eine ist ein gewässerkundlicher Begriff, das andere ein Begriff aus der Geologie/Geomorphologie/Physischen Geographie - beide Begriffe können sich daher garnicht automatisch gegenseitig ausschließen) nicht zulässt.