/****************************************************************
* This file is part of CLKR - www.fernuni-hagen.de/wbs/clkr/
* 
* File       : med0033_HIV5.cl
* Type       : KB
* Domain     : Medical
* Date       : 2023-12-06
* Version    : v1.0
* 
* Details    : Signature size        : 4
*              #Conditionals per KB  : 5
* 
* Refs       : [Osi20] A. Osiak (2020). Anwendungsbeispiele aus dem biomedizinischen Bereich für die Verarbeitung unsicheren Wissens mit qualitativen Konditionalen, Bachelor Thesis, Univ. of Hagen, Germany.
*
* Comments   : h => HIV-infected humans, v => to be HIV-positive, c => to have functional CCR5-receptor, r => a rare HIV-virus, using CXCR4-receptor as entry
* 
****************************************************************/

signature
 	h,v,c,r	

conditionals
HIV5{
	(c|h),
	(v|h),
	(v|c),
	(!v|!c),
	(v|h,r,!c)
}