Hüperonüümid:
jumalatõestus 1(n)
transtsendentaalne jumalatõestus 1(n)

jumalatõestus, mis võtab eelduseks, et jumal on olemasolevate asjade võimalikkuse tingimus

ILI-1.5 relation(s)

eq_has_hyperonym

PWN-3.0 relation(s)

eq_has_hyperonym
proof 6(n) a formal series of statements showing that if one thing is true something else necessarily follows from it