Fig. 7From: A multipurpose TNM stage ontology for cancer registriesSubsumption schema of the GCI axioms in which the boxed axioms are subsumed by the circled classesBack to article page