Two Types of Ontological Frame and Gödel's Ontological Proof