disjuncte formule met hoogstens een niet-genegeerde literal

het in de urine voorkomende gonadotrophine bij zwangerschap en andere toestanden, waarbij hormoonproducerende cellen van chorionale oorsprong in het lichaam aanwezig zijn

disjuncte formule met hoogstens een niet-genegeerde literal

Horologium (Klok) is een zuidelijk sterrenbeeld, dicht bij de ecliptica, dicht bij de melkweg. De officiële afkorting is Hor.

Informatie (feiten, regels en vragen) wordt in PROLOG met behulp van het formalisme van de Horn-clause gerepresenteerd. Een Horn-clause heeft de volgende vorm: B: A1,…..,An

ho – ro` scoop, («Grieks), de -woord (mannelijk), horoscopen,

klompvoet

afschuwelijk, ijselijk, vreselijk

afgrijzen, afschuw, gruwel

afkeer voor de vorming van autolysine;term van Ehrlich om aan te duiden dat het dierlijke organisme geen lysinen bereidt om eigen lichaamscellen tot oplossing te brengen