AGROVOC

Igneous rocks are rocks formed from magma , either erupted from a volcano or cooled below ground in an intrusion. (The Geological Society of London Glossary of Terms. https://www.geolsoc.org.uk/ks3/gsl/education/resources/rockcycle/page3451.html#i)