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

jumalatõestus, mille kohaselt peaks täiuslik objekt ehk jumal eksisteerima

ILI-3.0 relation(s)

eq_be_in_state

ILI-1.5 relation(s)

eq_be_in_state
eq_has_hyperonym

ILI-1.5 relation(s)

eq_be_in_state
eq_has_hyperonym

PWN-3.0 relation(s)

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