A logical analysis of disease concepts.