Figure 3From: Logic-based assessment of the compatibility of UMLS ontology sourcesUnsatisfiability due to inherent incompatibilities between FMA and NCIBack to article page