:- style_check(-discontiguous).

label("onweer_cumulonimbus_aardatmosfeer | Cumulonimbus | Meteorologie | EDAG").
edag(onweer_cumulonimbus_aardatmosfeer,"./onweer_cumulonimbus_aardatmosfeer/onweer_cumulonimbus_aardatmosfeer.svg").
url("https://nl.wikipedia.org/wiki/Waterkringloop").
url("https://nl.wikipedia.org/wiki/Condensatiekern").
url("https://scied.ucar.edu/learning-zone/storms/thunderstorms").
url("https://nl.wikipedia.org/wiki/Cumulonimbus").
url("https://nl.wikipedia.org/wiki/Wolkbreuk").
url("https://nl.wikipedia.org/wiki/Onweersbui").
url("https://nl.wikipedia.org/wiki/Sneeuwstorm").
url("https://nl.wikipedia.org/wiki/Sneeuw").
url("https://nl.wikipedia.org/wiki/Hagel_(neerslag)").
url("https://nl.wikipedia.org/wiki/Overstromingen_in_Europa_in_juli_2021").
text("Lucht koelt af tot het dauwpunt.").
ltext("De waterdamp klontert samen rond microscopisch kleine deeltjes in de lucht, zoals stof of zoutkristallen, die als condensatiekernen dienen.").
ltext("De hoeveelheid waterdamp die de lucht maximaal kan bevatten, neemt exponentieel toe met de temperatuur, zo ongeveer met 7% per graad Celsius stijging. Dit betekent dat warme lucht aanzienlijk meer vocht kan opnemen dan koude lucht.").
verzadiging(lucht,"relatieve vochtigheid = 100%").
droplets(aanvankelijk,"gemiddeld 20 μm").
ltext("Onweersbuien ontstaan door de snelle opwaartse beweging van warme, vochtige lucht. Wanneer het vocht condenseert, komt er energie vrij die bekend staat als latente condensatiewarmte, waardoor het opstijgende luchtpakket minder afkoelt dan de koelere omringende lucht, waardoor de wolk blijft stijgen.").
ltext("Als er voldoende instabiliteit in de atmosfeer aanwezig is, zal dit proces lang genoeg doorgaan om cumulonimbuswolken te vormen en bliksem en onweer te produceren.").
ltext("De noodzakelijke componenten voor een Cumulonimbus zijn:").
ltext("1. Een hoge luchtvochtigheid;").
ltext("2. Een massa van warme, onstabiele lucht;").
ltext("3. Een bron van energie die warme lucht snel omhoog stuwt.").
ltext("Meestal vormen deze wolken zich langs een koufront, langs oceanen waar de zeewind energie levert aan de opstijgende lucht, of bij bergen waar de lucht omhoog geduwd wordt.").
hoogte("2.000 tot 15.000 m").
ltext("Men kan een bui onderscheiden van aanhoudende regen door de intensiteitsverschillen. Aanhoudende regen zal een constante intensiteit aanhouden. Buien zijn afwisselend en vaak heviger van intensiteit.").
ltext("Het verschil tussen aanhoudende regen en een bui is niet de duur, maar het weersysteem dat erachter zit. Aanhoudende regen zal vooral voorkomen bij een horizontaal en vlak wolkendek, bij frontvorming. Buien ontstaan daarentegen bij een verticale bewolking met een een hoge top, cumulus, cumulonimbus.").
temperatuur(onweersbui,"Onder wolkenbasis > 0° C.").
ltext("Sneeuwwolken ontstaan wanneer vocht in de atmosfeer afkoelt tot onder het vriespunt, waardoor waterdamp direct verandert in ijskristallen rond kleine deeltjes die ijskernen worden genoemd.").
ltext("Deze eerste ijskristallen worden vervolgens groter door meer waterdamp op te nemen en tegen andere ijskristallen en onderkoelde waterdruppels in de wolk aan te botsen. Naarmate ze zich ophopen en zwaarder worden, worden ze sneeuwvlokken die zwaar genoeg zijn om uit de wolk te vallen.").
ltext("Van een sneeuwstorm is sprake bij een combinatie van sneeuwval en windkracht 8 of meer. Voorafgaand is er meestal sprake van sneeuwjacht.").
ltext("Een sneeuwstorm, in veel landen blizzard genoemd, kan het openbare leven ontwrichten en soms hele dorpen isoleren. In geval van een sneeuwstorm wordt ontraden om de weg op te gaan als het niet strikt noodzakelijk is.").
temperatuur(sneeuwbui,"boven wolkenbasis < -5°C").
temperatuur(sneeuwbui,"onder wolkenbasis < 0°C").
ltext("Hagel ontstaat als gevolg van de instabiliteit van de lucht, waar krachtige opwaartse luchtstromen die zeer vochtige lucht snel naar omhoog stuwen. Daar condenseert de waterdamp en bevriest vervolgens na snelle afkoeling tijdens het opstijgen. De hagelstenen dalen vervolgens af naar de rand van de cumulonimbus en beginnen te smelten wanneer ze tot onder de nulgradenisotherm dalen.").
ltext("Dalende en stijgende luchtbewegingen in de wolk jagen ijsdeeltjes door niveaus met veel onderkoeld water. Zo komen ze in botsing met andere onderkoelde druppels en ijs. De onderkoelde druppels zetten zich af op de ijskristallen, die groeien om ten slotte als hagel uit de wolk vallen.").
diameter(korrel,"tussen 5 mm en 15 cm").
temperatuur(bodem,"T > 0°C").
img("Onweerswolk.png").
img("Wolken.png").
img("Cumulonimbus.png").
img("Regenstorm.png").
img("Sneeuwstorm.png").
img("Hagelstorm.png").
prove :-
    wolkvorming(wolkelementen,onweerswolken),
    vorming(cumulonimbus,wolk),
    xor(cumulonimbus,stortregenen),
    xor(cumulonimbus,sneeuwstorm),
    xor(cumulonimbus,hagelen),
    afvloeien(stortregen,wadis,grachten,riolen),
    smelten(sneeuwstorm,wadis,grachten,riolen),
	smelten(hagelstorm,wadis,grachten,riolen).
condensaat(stijgende,waterdamp,atmosfeer) :-
    url("https://nl.wikipedia.org/wiki/Condensatiekern"),
	text("Lucht koelt af tot het dauwpunt."),
	ltext("De waterdamp klontert samen rond microscopisch kleine deeltjes in de lucht, zoals stof of zoutkristallen, die als condensatiekernen dienen."),
	ltext("De hoeveelheid waterdamp die de lucht maximaal kan bevatten, neemt exponentieel toe met de temperatuur, zo ongeveer met 7% per graad Celsius stijging. Dit betekent dat warme lucht aanzienlijk meer vocht kan opnemen dan koude lucht."),
	    verzadiging(lucht,"relatieve vochtigheid = 100%"),
	    droplets(aanvankelijk,"gemiddeld 20 μm"),
    img("Wolken.png").
wolkvorming(wolkelementen,onweerswolken) :-
    url("https://nl.wikipedia.org/wiki/Waterkringloop"),
    condensaat(stijgende,waterdamp,atmosfeer),
    vorming(onweerswolken,lading).
vorming(onweerswolken,lading) :-
    url("https://scied.ucar.edu/learning-zone/storms/thunderstorms"),
	ltext("Onweersbuien ontstaan door de snelle opwaartse beweging van warme, vochtige lucht. Wanneer het vocht condenseert, komt er energie vrij die bekend staat als latente condensatiewarmte, waardoor het opstijgende luchtpakket minder afkoelt dan de koelere omringende lucht, waardoor de wolk blijft stijgen."),
	ltext("Als er voldoende instabiliteit in de atmosfeer aanwezig is, zal dit proces lang genoeg doorgaan om cumulonimbuswolken te vormen en bliksem en onweer te produceren."),
    img("Onweerswolk.png").
vorming(cumulonimbus,wolk) :-
    url("https://nl.wikipedia.org/wiki/Cumulonimbus"),
    vorming(onweerswolken,lading),
    wolk(cumulonimbus).
wolk(cumulonimbus) :-
    url("https://nl.wikipedia.org/wiki/Cumulonimbus"),
	ltext("De noodzakelijke componenten voor een Cumulonimbus zijn:"),
	ltext("1. Een hoge luchtvochtigheid;"),
	ltext("2. Een massa van warme, onstabiele lucht;"),
	ltext("3. Een bron van energie die warme lucht snel omhoog stuwt."),
	ltext("Meestal vormen deze wolken zich langs een koufront, langs oceanen waar de zeewind energie levert aan de opstijgende lucht, of bij bergen waar de lucht omhoog geduwd wordt."),
	    hoogte("2.000 tot 15.000 m"),
    img("Cumulonimbus.png").
xor(cumulonimbus,stortregenen) :-
    url("https://nl.wikipedia.org/wiki/Wolkbreuk"),
    wolk(cumulonimbus),
    onweersbui(bodem,planten,constructies).
onweersbui(bodem,planten,constructies) :-
    url("https://nl.wikipedia.org/wiki/Onweersbui"),
	ltext("Men kan een bui onderscheiden van aanhoudende regen door de intensiteitsverschillen. Aanhoudende regen zal een constante intensiteit aanhouden. Buien zijn afwisselend en vaak heviger van intensiteit."),
	ltext("Het verschil tussen aanhoudende regen en een bui is niet de duur, maar het weersysteem dat erachter zit. Aanhoudende regen zal vooral voorkomen bij een horizontaal en vlak wolkendek, bij frontvorming. Buien ontstaan daarentegen bij een verticale bewolking met een een hoge top, cumulus, cumulonimbus."),
	    temperatuur(onweersbui,"Onder wolkenbasis > 0° C."),
    img("Regenstorm.png").
xor(cumulonimbus,sneeuwstorm) :-
    url("https://nl.wikipedia.org/wiki/Sneeuw"),
    wolk(cumulonimbus),
    sneeuwbui(bodem,planten,constructies).
sneeuwbui(bodem,planten,constructies) :-
    url("https://nl.wikipedia.org/wiki/Sneeuwstorm"),
	ltext("Sneeuwwolken ontstaan wanneer vocht in de atmosfeer afkoelt tot onder het vriespunt, waardoor waterdamp direct verandert in ijskristallen rond kleine deeltjes die ijskernen worden genoemd."),
	ltext("Deze eerste ijskristallen worden vervolgens groter door meer waterdamp op te nemen en tegen andere ijskristallen en onderkoelde waterdruppels in de wolk aan te botsen. Naarmate ze zich ophopen en zwaarder worden, worden ze sneeuwvlokken die zwaar genoeg zijn om uit de wolk te vallen."),
	ltext("Van een sneeuwstorm is sprake bij een combinatie van sneeuwval en windkracht 8 of meer. Voorafgaand is er meestal sprake van sneeuwjacht."),
	ltext("Een sneeuwstorm, in veel landen blizzard genoemd, kan het openbare leven ontwrichten en soms hele dorpen isoleren. In geval van een sneeuwstorm wordt ontraden om de weg op te gaan als het niet strikt noodzakelijk is."),
	    temperatuur(sneeuwbui,"boven wolkenbasis < -5°C"),
	    temperatuur(sneeuwbui,"onder wolkenbasis < 0°C"),
    img("Sneeuwstorm.png").
xor(cumulonimbus,hagelen) :-
    url("https://nl.wikipedia.org/wiki/Hagel_(neerslag)"),
    wolk(cumulonimbus),
    hagelbui(bodem,planten,constructies).
hagelbui(bodem,planten,constructies) :-
    url("https://nl.wikipedia.org/wiki/Hagel_(neerslag)"),
	ltext("Hagel ontstaat als gevolg van de instabiliteit van de lucht, waar krachtige opwaartse luchtstromen die zeer vochtige lucht snel naar omhoog stuwen. Daar condenseert de waterdamp en bevriest vervolgens na snelle afkoeling tijdens het opstijgen. De hagelstenen dalen vervolgens af naar de rand van de cumulonimbus en beginnen te smelten wanneer ze tot onder de nulgradenisotherm dalen."),
	ltext("Dalende en stijgende luchtbewegingen in de wolk jagen ijsdeeltjes door niveaus met veel onderkoeld water. Zo komen ze in botsing met andere onderkoelde druppels en ijs. De onderkoelde druppels zetten zich af op de ijskristallen, die groeien om ten slotte als hagel uit de wolk vallen."),
	    diameter(korrel,"tussen 5 mm en 15 cm"),
    img("Hagelstorm.png").
afvloeien(stortregen,wadis,grachten,riolen) :-
	onweersbui(bodem,planten,constructies),
	opvang(onweer,wadis,grachten,riolen).
opvang(onweer,wadis,grachten,riolen) :-
	url("https://nl.wikipedia.org/wiki/Overstromingen_in_Europa_in_juli_2021"),
		temperatuur(bodem,"T > 0°C").
smelten(sneeuwstorm,wadis,grachten,riolen) :-
	sneeuwbui(bodem,planten,constructies),
	opvang(onweer,wadis,grachten,riolen).
smelten(hagelstorm,wadis,grachten,riolen) :-
	hagelbui(bodem,planten,constructies),
	opvang(onweer,wadis,grachten,riolen).