First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images