Hüperonüümid:
jumalatõestus 1(n)
esimese liigutaja argument 1(n), liikumatu liigutaja argument 1(n)

jumalatõestus, mis samastab jumala esimese liigutajaga kõikide liikujate ahelas

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