A descriptive semantic formalism for medicine | IEEE Conference Publication | IEEE Xplore