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

eq_involved

first cause _1(n), prime mover _1(n), primum mobile _1(n) an agent that is the cause of all things but does not itself have a cause

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

eq_involved

first cause _1(n), prime mover _1(n), primum mobile _1(n) an agent that is the cause of all things but does not itself have a cause