Figure 3
From: Logic-based assessment of the compatibility of UMLS ontology sources

Unsatisfiability due to inherent incompatibilities between FMA and NCI
From: Logic-based assessment of the compatibility of UMLS ontology sources
Unsatisfiability due to inherent incompatibilities between FMA and NCI