Question: Extract the minimal support axioms for the conclusion: Melnick-Fraser syndrome (disorder) is a subclass of Hereditary nephropathy (disorder)

Melnick-Fraser syndrome (disorder) is a subclass of Autosomal dominant hereditary disorder (disorder) and Hearing loss (disorder) and Multiple malformation syndrome with facial defects as major feature (disorder) that Role group (attribute)  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Kidney structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Branchial arch structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Face structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of auditory system (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and something that Interprets (attribute) Hearing, function (observable entity)

Neonatal diabetes, congenital hypothyroidism, congenital glaucoma, hepatic fibrosis, polycystic kidney syndrome (disorder) is a subclass of Autosomal recessive hereditary disorder (disorder) that Role group (attribute)  something that Associated morphology (attribute) Polycystic change (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Kidney structure (body structure)

Melnick-Needles syndrome (disorder) is a subclass of Multiple malformation syndrome with facial defects as major feature (disorder) and Otopalatodigital syndrome spectrum disorder (disorder) that Role group (attribute)  something that Associated morphology (attribute) Dysplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Face structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Autosomal dominant hereditary disorder (disorder) is a subclass of Autosomal hereditary disorder (disorder)

Autosomal hereditary disorder (disorder) is a subclass of Hereditary disease (disorder)

Autosomal dominant progressive nephropathy with hypertension (disorder) is a subclass of Autosomal dominant hereditary disorder (disorder) and Hypertensive renal disease (disorder)

Hereditary diffuse endocapillary proliferative glomerulonephritis (disorder) is a subclass of Diffuse endocapillary proliferative glomerulonephritis (disorder) and Hereditary nephritis (disorder)

Hereditary nephropathy (disorder) is equivalent to Hereditary disease (disorder) that Role group (attribute) something that Finding site (attribute) Kidney structure (body structure)


Question: Extract the minimal support axioms for the conclusion: Removal of thrombus from vein (procedure) is a subclass of Procedure on vein (procedure)

Procedure on vein (procedure) is equivalent to Procedure (procedure) that Role group (attribute) something that Procedure site (attribute) Venous structure (body structure)

Thrombectomy with catheter of subclavian vein by arm incision (procedure) is a subclass of Removal of thrombus from vein (procedure) that Role group (attribute)  something that Method (attribute) Removal - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Structure of subclavian vein (body structure) and Using device (attribute) Vascular catheter (physical object)

Thrombectomy with catheter of subclavian vein by neck incision (procedure) is a subclass of Removal of thrombus from vein (procedure) that Role group (attribute)  something that Method (attribute) Removal - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Structure of subclavian vein (body structure) and Using device (attribute) Vascular catheter (physical object)

Removal of thrombus of bovine graft (procedure) is a subclass of Thrombectomy of vascular graft (procedure) that Role group (attribute)  something that Method (attribute) Removal - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Blood vessel structure (body structure)

Removal of thrombus from vein (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Removal - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Venous structure (body structure)

Procedure site - Indirect (attribute) is a sub-property of Procedure site (attribute)


Question: Extract the minimal support axioms for the conclusion: Substance with tyrosine 3-monooxygenase inhibitor mechanism of action (substance) is a subclass of Substance with enzyme inhibitor mechanism of action (substance)

Tyrosine 3-monooxygenase inhibitor (disposition) is a subclass of Enzyme inhibitor (disposition)

Substance with enzyme inhibitor mechanism of action (substance) is equivalent to Substance (substance) that Has disposition (attribute) Enzyme inhibitor (disposition)

Tyrosine 3-monooxygenase kinase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Transferase (disposition)

Substance with protein-tyrosine kinase inhibitor mechanism of action (substance) is equivalent to Substance (substance) that Has disposition (attribute) Protein-tyrosine kinase inhibitor (disposition)

Substance with tryptophan hydroxylase inhibitor mechanism of action (substance) is equivalent to Substance (substance) that Has disposition (attribute) Tryptophan hydroxylase inhibitor (disposition)

Substance with tyrosine 3-monooxygenase inhibitor mechanism of action (substance) is equivalent to Drug or medicament (substance) that Has disposition (attribute) Tyrosine 3-monooxygenase inhibitor (disposition)

Drug or medicament (substance) is a subclass of Substance (substance)

Tyrosine 3-monooxygenase (substance) is a subclass of Monooxygenase (substance)


Question: Extract the minimal support axioms for the conclusion: Proxymetacaine poisoning (disorder) is a subclass of Poisoning caused by anesthetic agent (disorder)

Accidental proxymetacaine poisoning (disorder) is equivalent to Poisoning (disorder) that Role group (attribute) something that Causative agent (attribute) Proxymetacaine (substance) and something that Due to (attribute) Accidental event (event)

Local anesthetic (substance) is a subclass of Anesthetic (substance)

Proxymetacaine poisoning (disorder) is equivalent to Poisoning (disorder) that Role group (attribute) something that Causative agent (attribute) Proxymetacaine (substance)

Accidental proxymetacaine overdose (disorder) is equivalent to Overdose (disorder) that Role group (attribute) something that Causative agent (attribute) Proxymetacaine (substance) and something that Due to (attribute) Accidental event (event)

Proxymetacaine (substance) is a subclass of Benzoic acid ester and/or benzoic acid ester derivative (substance) and Local anesthetic (substance)

Proxymetacaine overdose (disorder) is equivalent to Overdose (disorder) that Role group (attribute) something that Causative agent (attribute) Proxymetacaine (substance)

Poisoning caused by anesthetic agent (disorder) is equivalent to Poisoning (disorder) that Role group (attribute) something that Causative agent (attribute) Anesthetic (substance)

Intentional proxymetacaine poisoning (disorder) is equivalent to Poisoning (disorder) that Role group (attribute) something that Causative agent (attribute) Proxymetacaine (substance) and something that Due to (attribute) Intentional event (event)


Question: Extract the minimal support axioms for the conclusion: Temporo-auro-mandibular dysostosis (disorder) is a subclass of Congenital anomaly of mandible (disorder)

Dysostosis (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Dysplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Congenital anomaly of mandible (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of mandible (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Congenital horizontal mandibular hyperplasia (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hyperplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of mandible (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Dysostosis of bone of skull (disorder) is equivalent to Dysostosis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Dysplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of cranium (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Growth alteration (morphologic abnormality) is a subclass of Morphologically abnormal structure (morphologic abnormality)

Dysplasia (morphologic abnormality) is a subclass of Lesion (morphologic abnormality) and Growth alteration (morphologic abnormality)

Hypomandibular faciocranial dysostosis (disorder) is a subclass of Dysostosis of bone of skull (disorder) and Multiple malformation syndrome with facial defects as major feature (disorder) and Autosomal recessive hereditary disorder (disorder) that Role group (attribute)  something that Associated morphology (attribute) Dysplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of cranium (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of mandible (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Intermandibular dysostosis (disorder) is a subclass of Dysostosis of bone of skull (disorder) that Role group (attribute)  something that Associated morphology (attribute) Dysplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of mandible (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Congenital horizontal mandibular hypoplasia (disorder) is a subclass of Anomaly of jaw size (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hypoplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of mandible (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Temporo-auro-mandibular dysostosis (disorder) is a subclass of Dysostosis of bone of skull (disorder) that Role group (attribute)  something that Associated morphology (attribute) Dysplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Temporal bone structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Dysplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of mandible (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Ear structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Otomandibular dysostosis (disorder) is a subclass of Dysostosis of bone of skull (disorder) and First arch syndrome (disorder) that Role group (attribute)  something that Associated morphology (attribute) Dysplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of mandible (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Ear structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Congenital transverse mandibular hypoplasia (disorder) is a subclass of Anomaly of jaw size (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hypoplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of mandible (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Cut of skin of left lower leg (disorder) is a subclass of Cut of lower leg (disorder)

Cut of lower leg (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Incised wound - morphology (morphologic abnormality) and Finding site (attribute) Skin structure of lower leg (body structure) and something that Due to (attribute) Traumatic event (event)

Cut of skin of left lower leg (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Incised wound - morphology (morphologic abnormality) and Finding site (attribute) Skin structure of left lower leg (body structure) and something that Due to (attribute) Traumatic event (event)

Cut of skin of left lower limb (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Incised wound - morphology (morphologic abnormality) and Finding site (attribute) Skin structure of left lower limb (body structure) and something that Due to (attribute) Traumatic event (event)

Carcinoma in situ of skin of upper arm (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Carcinoma in situ (morphologic abnormality) and Finding site (attribute) Skin structure of upper arm (body structure)

Skin structure of left lower leg (body structure) is equivalent to Skin structure of lower leg (body structure) that Laterality (attribute) Left (qualifier value)

Abrasion of skin of left lower leg (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion (morphologic abnormality) and Finding site (attribute) Skin structure of left lower leg (body structure) and something that Due to (attribute) Traumatic event (event)


Question: Extract the minimal support axioms for the conclusion: Able to get on to toilet (finding) is a subclass of Able to get on and off toilet (finding)

Able to get off toilet (finding) is equivalent to Finding related to ability to get off toilet (finding) that Role group (attribute)  something that Has interpretation (attribute) Able (qualifier value) and Interprets (attribute) Ability to get off toilet (observable entity)

Unable to get on and off toilet (finding) is equivalent to Finding related to ability to get on and off toilet (finding) that Role group (attribute)  something that Has interpretation (attribute) Unable (qualifier value) and Interprets (attribute) Ability to get on and off toilet (observable entity)

Does get on and off toilet (finding) is equivalent to Finding related to ability to get on and off toilet (finding) that Role group (attribute)  something that Has interpretation (attribute) Does (qualifier value) and Interprets (attribute) Ability to get on and off toilet (observable entity)

Able to get on and off toilet (finding) is equivalent to Finding related to ability to get on and off toilet (finding) that Role group (attribute)  something that Has interpretation (attribute) Able (qualifier value) and Interprets (attribute) Ability to get on and off toilet (observable entity)

Finding related to ability to get on and off toilet (finding) is equivalent to Finding related to ability to mobilize indoors (finding) that Role group (attribute) something that Interprets (attribute) Ability to get on and off toilet (observable entity)

Ability to get on to toilet (observable entity) is a subclass of Ability to get on and off toilet (observable entity)

Finding related to ability to get on to toilet (finding) is equivalent to Finding related to ability to get on and off toilet (finding) that Role group (attribute) something that Interprets (attribute) Ability to get on to toilet (observable entity)

Able to get on to toilet (finding) is equivalent to Finding related to ability to get on to toilet (finding) that Role group (attribute)  something that Has interpretation (attribute) Able (qualifier value) and Interprets (attribute) Ability to get on to toilet (observable entity)


Question: Extract the minimal support axioms for the conclusion: Plain film of head (procedure) is a subclass of Radiography of head (procedure)

Specific plain X-ray investigations (procedure) is a subclass of Plain radiography (procedure)

Cephalogram (procedure) is a subclass of Radiography of head (procedure)

Plain film of cavities of head (procedure) is a subclass of Radiography of head (procedure) that Role group (attribute)  something that Method (attribute) Plain X-ray imaging - action (qualifier value) and Procedure site - Direct (attribute) Bone structure of cranium (body structure)

Radiography of head (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Radiographic imaging - action (qualifier value) and Procedure site - Direct (attribute) Head structure (body structure)

Ophthalmic plain film (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Plain X-ray imaging - action (qualifier value) and Procedure site - Direct (attribute) Head structure (body structure)

Plain film of body region (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Plain X-ray imaging - action (qualifier value) and Procedure site - Direct (attribute) Body region structure (body structure)

Plain X-ray imaging - action (qualifier value) is a subclass of Radiographic imaging - action (qualifier value)

Plain film of head (procedure) is equivalent to Plain film of body region (procedure) that Role group (attribute)  something that Method (attribute) Plain X-ray imaging - action (qualifier value) and Procedure site - Direct (attribute) Head structure (body structure)


Question: Extract the minimal support axioms for the conclusion: Cyst of mesentery (disorder) is a subclass of Soft tissue lesion (disorder)

Mesentery structure (body structure) is a subclass of Structure of peritoneal fold (body structure) and Structure of intestine and/or mesentery (body structure) and Structure of organ within abdominopelvic cavity (body structure)

Cystic inflammation (morphologic abnormality) is a subclass of Inflammatory lesion (morphologic abnormality)

Sarcoma of mesentery (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Sarcoma (morphologic abnormality) and Finding site (attribute) Mesentery structure (body structure)

Soft tissue tumor AND/OR sarcoma (morphologic abnormality) is a subclass of Neoplasm (morphologic abnormality)

Structure of soft tissues of trunk (body structure) is a subclass of Trunk structure (body structure) and Structure of soft tissue (body structure)

Universal mesentery (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Congenital non-attachment (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of mesentery of small intestine (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Embryonic cyst of mesentery (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Embryonic cyst (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Mesentery structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Structure of soft tissue of abdomen (body structure) is a subclass of Structure of soft tissues of trunk (body structure) and Structure of abdominopelvic cavity and/or content of abdominopelvic cavity and/or anterior abdominal wall (body structure)

Cyst (morphologic abnormality) is a subclass of Mass (morphologic abnormality) and Mechanical lesion (morphologic abnormality)

Peritoneum (serous membrane) structure (body structure) is a subclass of Peritoneal sac structure (body structure) and Serous membrane structure (body structure) and Structure of soft tissue of abdomen (body structure)

Mechanical lesion (morphologic abnormality) is a subclass of Mechanical abnormality (morphologic abnormality) and Lesion (morphologic abnormality)

Disorder of soft tissue of abdominal cavity (disorder) is a subclass of Disorder of soft tissue of body cavity (disorder) that Role group (attribute) something that Finding site (attribute) Structure of soft tissue of abdomen (body structure)

Mesothelial cyst (morphologic abnormality) is a subclass of Cyst (morphologic abnormality)

Soft tissue lesion (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Lesion (morphologic abnormality) and Finding site (attribute) Structure of soft tissue (body structure)

Cyst of mesentery (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Cyst (morphologic abnormality) and Finding site (attribute) Mesentery structure (body structure)

Structure of peritoneal fold (body structure) is a subclass of Serous membrane part (body structure) and Peritoneum (serous membrane) structure (body structure)

Soft tissue mass (morphologic abnormality) is a subclass of Mass (morphologic abnormality)

Mesenteric pseudocyst (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Pseudocyst (morphologic abnormality) and Finding site (attribute) Mesentery structure (body structure)


Question: Extract the minimal support axioms for the conclusion: Non-traumatic intraventricular hemorrhage grade 3 during early neonatal period (disorder) is a subclass of Early neonatal non-traumatic intraventricular hemorrhage (disorder)

Non-traumatic intraventricular hemorrhage grade 3 during early neonatal period (disorder) is equivalent to Non-traumatic intraventricular hemorrhage grade 3 during neonatal period (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hemorrhage (morphologic abnormality) and Occurrence (attribute) Early neonatal period (qualifier value) and Finding site (attribute) Brain ventricle structure (body structure)

Non-traumatic intraventricular hemorrhage grade 2 during early neonatal period (disorder) is equivalent to Non-traumatic intraventricular hemorrhage grade 2 during neonatal period (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hemorrhage (morphologic abnormality) and Occurrence (attribute) Early neonatal period (qualifier value) and Finding site (attribute) Brain ventricle structure (body structure)

Non-traumatic intraventricular hemorrhage grade 4 during intrapartum and/or early neonatal period (disorder) is a subclass of Nontraumatic injury (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hemorrhage (morphologic abnormality) and Occurrence (attribute) Fetal intrapartum and/or early neonatal period (qualifier value) and Finding site (attribute) Brain ventricle structure (body structure)

Early neonatal non-traumatic intraventricular hemorrhage (disorder) is equivalent to Nontraumatic injury (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hemorrhage (morphologic abnormality) and Occurrence (attribute) Early neonatal period (qualifier value) and Finding site (attribute) Brain ventricle structure (body structure)

Non-traumatic intraventricular hemorrhage grade 3 during fetal period (disorder) is a subclass of Nontraumatic injury (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hemorrhage (morphologic abnormality) and Occurrence (attribute) Fetal period (qualifier value) and Finding site (attribute) Brain ventricle structure (body structure)

Non-traumatic intraventricular hemorrhage grade 3 during neonatal period (disorder) is a subclass of Nontraumatic injury (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hemorrhage (morphologic abnormality) and Occurrence (attribute) Neonatal (qualifier value) and Finding site (attribute) Brain ventricle structure (body structure)


Question: Extract the minimal support axioms for the conclusion: X-linked intellectual disability Siderius type (disorder) is a subclass of Developmental hereditary disorder (disorder)

X-linked hereditary disease (disorder) is a subclass of Sex-linked hereditary disorder (disorder)

X-linked recessive hereditary disease (disorder) is a subclass of X-linked hereditary disease (disorder)

Developmental hereditary disorder (disorder) is equivalent to Hereditary disease (disorder) that Role group (attribute) something that Pathological process (attribute) Pathological developmental process (qualifier value)

X-linked recessive intellectual disability and macrocephaly with ciliary dysfunction syndrome (disorder) is a subclass of Intelligence finding (finding) and X-linked recessive hereditary disease (disorder) and Neurodevelopmental disorder (disorder) that Role group (attribute)  something that Associated morphology (attribute) Enlargement (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Head structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Intellectual ability (observable entity) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Adaptation behavior (observable entity) and  something that Has interpretation (attribute) Above reference range (qualifier value) and Interprets (attribute) Head circumference (observable entity)

X-linked intellectual disability Siderius type (disorder) is a subclass of Intelligence finding (finding) and X-linked recessive hereditary disease (disorder) and Multiple malformation syndrome with facial defects as major feature (disorder) and Neurodevelopmental disorder (disorder) that Role group (attribute)  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Face structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Intellectual ability (observable entity) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Adaptation behavior (observable entity)

X-linked intellectual disability, hypotonia, movement disorder syndrome (disorder) is a subclass of Intelligence finding (finding) and X-linked dominant hereditary disease (disorder) and Neurodevelopmental disorder (disorder) that Role group (attribute)  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Intellectual ability (observable entity) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Adaptation behavior (observable entity) and something that Pathological process (attribute) Pathological developmental process (qualifier value)

X-linked intellectual disability, craniofacioskeletal syndrome (disorder) is a subclass of Intelligence finding (finding) and X-linked hereditary disease (disorder) and Neurodevelopmental disorder (disorder) and Multiple system malformation syndrome (disorder) that Role group (attribute)  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Intellectual ability (observable entity) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Adaptation behavior (observable entity)

Chloride voltage-gated channel 4-related X-linked intellectual disability syndrome (disorder) is a subclass of Intelligence finding (finding) and X-linked dominant hereditary disease (disorder) and Neurodevelopmental disorder (disorder) that Role group (attribute)  something that Finding site (attribute) Structure of nervous system (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Intellectual ability (observable entity) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Adaptation behavior (observable entity)

Sex-linked hereditary disorder (disorder) is a subclass of Hereditary disease (disorder)

X-linked intellectual disability, macrocephaly, macroorchidism syndrome (disorder) is a subclass of Intelligence finding (finding) and X-linked recessive hereditary disease (disorder) and Neurodevelopmental disorder (disorder) that Role group (attribute)  something that Associated morphology (attribute) Enlargement (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Head structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Intellectual ability (observable entity) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Adaptation behavior (observable entity) and  something that Has interpretation (attribute) Above reference range (qualifier value) and Interprets (attribute) Head circumference (observable entity)


Question: Extract the minimal support axioms for the conclusion: White blood cell disorder (disorder) is a subclass of Disorder of immune function (disorder)

Disorder of cellular component of blood (disorder) is a subclass of Finding of blood, lymphatics and immune system (finding) and Disease (disorder)

Lymphocyte disorder (disorder) is a subclass of White blood cell disorder (disorder) that Role group (attribute) something that Pathological process (attribute) Abnormal immune process (qualifier value)

Disorder of basophils (disorder) is a subclass of White blood cell disorder (disorder)

B lymphocyte disorder (disorder) is a subclass of Lymphocyte disorder (disorder) that Role group (attribute) something that Pathological process (attribute) Abnormal immune process (qualifier value)

Disorder of immune function (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Pathological process (attribute) Abnormal immune process (qualifier value)

White blood cell disorder (disorder) is a subclass of Disorder of cellular component of blood (disorder) that Role group (attribute) something that Pathological process (attribute) Abnormal immune process (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Protein disulfide-isomerase (substance) is a subclass of Substance with isomerase mechanism of action (substance)

5-methylthioribose-1-phosphate isomerase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Isomerase (disposition)

Protein (substance) is a subclass of Polypeptide (substance)

Chalcone isomerase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Isomerase (disposition)

Substance with isomerase mechanism of action (substance) is equivalent to Substance (substance) that Has disposition (attribute) Isomerase (disposition)

Ribose isomerase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Isomerase (disposition)

Prostaglandin-H>2< D-isomerase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Isomerase (disposition)

Polypeptide (substance) is a subclass of Biological substance (substance) and Substituted amide (substance)

Protein disulfide-isomerase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Isomerase (disposition)

Biological substance (substance) is a subclass of Substance (substance)

Thiocyanate isomerase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Isomerase (disposition)


Question: Extract the minimal support axioms for the conclusion: Deoxynucleotide 3'-phosphatase (substance) is a subclass of Substance with phosphoric monoester hydrolase mechanism of action (substance)

Polypeptide (substance) is a subclass of Biological substance (substance) and Substituted amide (substance)

Biological substance (substance) is a subclass of Substance (substance)

3-phosphoglycerate phosphatase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Phosphoric monoester hydrolase (disposition)

Phosphoserine phosphatase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Phosphoric monoester hydrolase (disposition)

3'-phosphoadenylylsulfate 3'-phosphatase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Phosphoric monoester hydrolase (disposition)

Substance with phosphoric monoester hydrolase mechanism of action (substance) is equivalent to Substance (substance) that Has disposition (attribute) Phosphoric monoester hydrolase (disposition)

Polynucleotide 3'-phosphatase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Phosphoric monoester hydrolase (disposition)

Protein (substance) is a subclass of Polypeptide (substance)

Deoxynucleotide 3'-phosphatase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Phosphoric monoester hydrolase (disposition)

Polynucleotide 5'-phosphatase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Phosphoric monoester hydrolase (disposition)


Question: Extract the minimal support axioms for the conclusion: Arthrotomy with biopsy of sacroiliac joint (procedure) is a subclass of Biopsy of joint structure (procedure)

Arthrotomy with biopsy of sacroiliac joint (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Sacroiliac joint structure (body structure) and  something that Method (attribute) Biopsy - action (qualifier value) and Procedure site - Direct (attribute) Sacroiliac joint structure (body structure)

Biopsy of neuromuscular junction (procedure) is a subclass of Biopsy (procedure)

Biopsy (procedure) is equivalent to Procedure (procedure) that Role group (attribute) something that Method (attribute) Biopsy - action (qualifier value)

Sacroiliac joint structure (body structure) is a subclass of Structure of half of trunk lateral to midsagittal plane (body structure) and Structure of joint of pelvic ring (body structure) and Structure of posterior arch of pelvic ring (body structure)

Arthrotomy of wrist joint for synovectomy (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Joint structure of wrist region (body structure) and  something that Method (attribute) Excision - action (qualifier value) and Procedure site - Direct (attribute) Structure of synovial membrane of radiocarpal joint (body structure)

Joint structure of pelvis or upper leg (body structure) is a subclass of Joint structure of body region (body structure)

Structure of joint of pelvic wall (body structure) is a subclass of Joint structure of pelvis or upper leg (body structure) and Pelvic wall structure (body structure)

Arthrotomy of wrist joint for biopsy (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Joint structure of wrist region (body structure) and  something that Method (attribute) Biopsy - action (qualifier value) and Procedure site - Direct (attribute) Joint structure of wrist region (body structure)

Deep biopsy of muscle (procedure) is a subclass of Biopsy of muscle (procedure)

Arthrotomy of wrist joint with exploration and biopsy (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Structure of capsule of radiocarpal joint (body structure) and  something that Method (attribute) Biopsy - action (qualifier value) and Procedure site - Direct (attribute) Joint structure of wrist region (body structure) and  something that Method (attribute) Exploration - action (qualifier value) and Procedure site - Direct (attribute) Joint structure of wrist region (body structure)

Biopsy of joint structure (procedure) is equivalent to Biopsy (procedure) that Role group (attribute)  something that Method (attribute) Biopsy - action (qualifier value) and Procedure site - Direct (attribute) Joint structure (body structure)

Structure of joint of pelvic ring (body structure) is a subclass of Structure of joint of pelvic wall (body structure) and Structure of pelvic ring (body structure)

Arthrotomy with biopsy of hip joint (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Hip joint structure (body structure) and  something that Method (attribute) Biopsy - action (qualifier value) and Procedure site - Direct (attribute) Hip joint structure (body structure)

Colotomy for biopsy (procedure) is a subclass of Colotomy (procedure)

Joint structure of body region (body structure) is a subclass of Structure of regional musculoskeletal system (body structure) and Joint structure (body structure)

Arthrotomy for synovial biopsy of glenohumeral joint (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Structure of capsule of shoulder joint (body structure) and  something that Method (attribute) Biopsy - action (qualifier value) and Procedure site - Direct (attribute) Structure of synovial membrane of glenohumeral joint (body structure)


Question: Extract the minimal support axioms for the conclusion: Dextran adverse reaction (disorder) is a subclass of Adverse reaction caused by biological substance (disorder)

Dextranomer (substance) is a subclass of Polysaccharide (substance)

Adverse reaction (disorder) is a subclass of Disease (disorder)

Adverse reaction caused by biological substance (disorder) is equivalent to Adverse reaction (disorder) that Role group (attribute) something that Causative agent (attribute) Biological substance (substance)

Parenteral potassium adverse reaction (disorder) is a subclass of Adverse reaction (disorder) that Role group (attribute) something that Causative agent (attribute) Potassium (substance)

Dextran (substance) is a subclass of Plasma expander (substance) and Macromolecular blood substitute (substance) and Polysaccharide (substance)

Carbohydrate (substance) is a subclass of Nutrients (substance) and Organic compound (substance)

Nutrients (substance) is a subclass of Biological substance (substance)

Complex carbohydrate (substance) is a subclass of Carbohydrate (substance)

Adverse reaction to immunoglobulin constituent (disorder) is a subclass of Adverse reaction (disorder)

Dextran adverse reaction (disorder) is equivalent to Adverse reaction (disorder) that Role group (attribute) something that Causative agent (attribute) Dextran (substance)

Enteral and supplement feeds adverse reaction (disorder) is a subclass of Adverse reaction (disorder) that Role group (attribute) something that Causative agent (attribute) Edible substance (substance)

Polysaccharide (substance) is a subclass of Complex carbohydrate (substance)

Adverse reaction to antiserum constituent (disorder) is a subclass of Adverse reaction (disorder)

Dextran 1 (substance) is a subclass of Dextran (substance)


Question: Extract the minimal support axioms for the conclusion: Arthrotomy of hip joint with exploration (procedure) is a subclass of Examination of hip joint (procedure)

Synovial joint structure (body structure) is a subclass of Joint structure (body structure)

Arthrotomy of knee with joint exploration (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Structure of capsule of knee joint (body structure) and  something that Method (attribute) Exploration - action (qualifier value) and Procedure site - Direct (attribute) Knee joint structure (body structure)

Hip joint structure (body structure) is a subclass of Hip region structure (body structure) and Joint structure of lower extremity (body structure) and Structure of spheroidal joint (body structure)

Examination of joint (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Examination - action (qualifier value) and Procedure site - Direct (attribute) Joint structure (body structure)

Operative examination of joint (procedure) is a subclass of Examination of joint (procedure)

Arthrotomy with exploration of tarsometatarsal joint (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Structure of tarsometatarsal joint (body structure) and  something that Method (attribute) Exploration - action (qualifier value) and Procedure site - Direct (attribute) Structure of tarsometatarsal joint (body structure)

Examination of hip joint (procedure) is equivalent to Examination of joint (procedure) that Role group (attribute)  something that Method (attribute) Examination - action (qualifier value) and Procedure site - Direct (attribute) Hip joint structure (body structure)

Exploration of spinal fusion (procedure) is a subclass of Exploration of spine (procedure)

Exploration - action (qualifier value) is a subclass of Examination - action (qualifier value)

Structure of spheroidal joint (body structure) is a subclass of Synovial joint structure (body structure)

Test of the hip (procedure) is a subclass of Motor testing (procedure)

Arthrotomy of hip joint with exploration (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Hip joint structure (body structure) and  something that Method (attribute) Exploration - action (qualifier value) and Procedure site - Direct (attribute) Hip joint structure (body structure)

Arthrotomy of wrist joint with joint exploration (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Structure of capsule of radiocarpal joint (body structure) and  something that Method (attribute) Exploration - action (qualifier value) and Procedure site - Direct (attribute) Joint structure of wrist region (body structure)

Surgical exploration of scrotum (procedure) is a subclass of Operation on scrotum (procedure) and Exploration of scrotum (procedure)


Question: Extract the minimal support axioms for the conclusion: Patch repair of inferior mesenteric artery (procedure) is a subclass of Branches of abdominal aorta operations (procedure)

Structure of mesenteric artery (body structure) is a subclass of Structure of ventral branch of abdominal aorta (body structure) and Structure of blood vessel of intestine (body structure) and Structure of peripheral artery (body structure)

Patch repair of inferior mesenteric artery (procedure) is equivalent to Repair of artery with patch graft (procedure) that Role group (attribute)  something that Method (attribute) Closure - action (qualifier value) and Procedure site - Direct (attribute) Structure of inferior mesenteric artery (body structure) and Using device (attribute) Surgical patch (physical object)

Repair - action (qualifier value) is a subclass of Surgical action (qualifier value)

Endarterectomy of aorta with patch graft (procedure) is a subclass of Repair of blood vessel with patch graft (procedure) and Endarterectomy of aorta (procedure)

Arterial structure (body structure) is a subclass of Arterial system structure (body structure) and Blood vessel structure (body structure)

Structure of inferior mesenteric artery (body structure) is a subclass of Structure of mesenteric artery (body structure)

Flush ligation of inferior mesenteric artery (procedure) is a subclass of Ligation of inferior mesenteric artery (procedure)

Vascular surgery procedure (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Blood vessel structure (body structure)

Repair of aorta with subclavian flap (procedure) is a subclass of Patch repair of aorta (procedure) and Repair of aorta (procedure) that Role group (attribute)  something that Method (attribute) Grafting - action (qualifier value) and Procedure site - Direct (attribute) Aortic structure (body structure) and Using device (attribute) Surgical patch (physical object)

Branches of abdominal aorta operations (procedure) is equivalent to Vascular surgery procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Structure of branch of abdominal aorta (body structure)

Closure - action (qualifier value) is a subclass of Repair - action (qualifier value)

Structure of ventral branch of abdominal aorta (body structure) is a subclass of Structure of abdominal visceral artery (body structure) and Structure of branch of abdominal aorta (body structure)

Aneurysmorrhaphy by wrapping (procedure) is a subclass of Repair of artery (procedure)

Vein patch repair of artery (procedure) is a subclass of Repair of artery with patch graft (procedure)

Repair of artery with patch graft (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Direct device (attribute) Surgical patch (physical object) and Procedure site - Direct (attribute) Arterial structure (body structure)

Procedure site - Direct (attribute) is a sub-property of Procedure site (attribute)

Patch repair of superior mesenteric artery (procedure) is equivalent to Repair of artery with patch graft (procedure) that Role group (attribute)  something that Method (attribute) Closure - action (qualifier value) and Procedure site - Direct (attribute) Superior mesenteric artery structure (body structure) and Using device (attribute) Surgical patch (physical object)

Endarterectomy and patch repair of inferior mesenteric artery (procedure) is equivalent to Endarterectomy and repair (procedure) and Patch repair of inferior mesenteric artery (procedure) that Role group (attribute)  something that Method (attribute) Excision - action (qualifier value) and Direct morphology (attribute) Atheroma (morphologic abnormality) and Procedure site - Indirect (attribute) Structure of inferior mesenteric artery (body structure) and  something that Method (attribute) Closure - action (qualifier value) and Procedure site - Direct (attribute) Structure of inferior mesenteric artery (body structure) and Using device (attribute) Surgical patch (physical object)

Bypass of segment of abdominal aorta by anastomosis of aorta to aorta (procedure) is a subclass of Bypass of segment of aorta (procedure)

Gas endarterectomy with patch graft (procedure) is a subclass of Repair of blood vessel with patch graft (procedure) and Gas endarterectomy (procedure) that Role group (attribute)  something that Method (attribute) Grafting - action (qualifier value) and Procedure site - Direct (attribute) Blood vessel structure (body structure)

Repair of blood vessel of abdomen with tissue patch graft (procedure) is a subclass of Repair of blood vessel with patch graft (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Structure of blood vessel of abdomen (body structure) and Using device (attribute) Surgical patch (physical object)

Patching of aortopulmonary window (procedure) is a subclass of Vascular surgery procedure (procedure)


Question: Extract the minimal support axioms for the conclusion: Abrasion and/or friction burn of scrotum without infection (disorder) is a subclass of Abrasion and/or friction burn of skin (disorder)

Abrasion and/or friction burn of scapular region without infection (disorder) is equivalent to Superficial injury without infection (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and Finding site (attribute) Skin structure of scapular region of back (body structure) and something that Due to (attribute) Traumatic event (event)

Skin structure of male perineum (body structure) is a subclass of Male perineal structure (body structure) and Skin structure of perineum (body structure)

Friction burn (morphologic abnormality) is a subclass of Abrasion and/or friction burn (morphologic abnormality)

Abrasion and/or friction burn of vulva without infection (disorder) is equivalent to Superficial injury without infection (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and Finding site (attribute) Structure of skin and/or mucosa of vulva (body structure) and something that Due to (attribute) Traumatic event (event)

Skin of part of male external genitalia (body structure) is a subclass of Skin structure of male genitalia (body structure) and Skin of part of genitalia (body structure)

Abrasion and/or friction burn of hand without infection (disorder) is equivalent to Superficial injury without infection (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and Finding site (attribute) Skin structure of hand (body structure) and something that Due to (attribute) Traumatic event (event)

Skin of part of pelvic region (body structure) is a subclass of Skin structure of pelvis (body structure)

Abrasion and/or friction burn of scrotum without infection (disorder) is equivalent to Superficial injury without infection (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and Finding site (attribute) Skin structure of scrotum (body structure) and something that Due to (attribute) Traumatic event (event)

Skin part (body structure) is a subclass of Skin structure (body structure) and Organ part (body structure)

Abrasion and/or friction burn of lower leg without infection (disorder) is equivalent to Superficial injury without infection (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and Finding site (attribute) Skin structure of lower leg (body structure) and something that Due to (attribute) Traumatic event (event)

Superficial injury without infection (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Associated morphology (attribute) Superficial injury (morphologic abnormality) and something that Due to (attribute) Traumatic event (event)

Abrasion and/or friction burn without infection (disorder) is equivalent to Superficial injury without infection (disorder) that Role group (attribute) something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and something that Due to (attribute) Traumatic event (event)

Skin of part of trunk (body structure) is a subclass of Skin structure of trunk (body structure)

Abrasion and/or friction burn of groin without infection (disorder) is equivalent to Superficial injury without infection (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and Finding site (attribute) Skin structure of inguinal region (body structure) and something that Due to (attribute) Traumatic event (event)

Abrasion and/or friction burn of thigh without infection (disorder) is equivalent to Superficial injury without infection (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and Finding site (attribute) Skin structure of thigh (body structure) and something that Due to (attribute) Traumatic event (event)

Skin structure of lower trunk (body structure) is a subclass of Skin of part of trunk (body structure) and Structure of abdominopelvic segment of trunk (body structure)

Skin structure of perineum (body structure) is a subclass of Skin of part of pelvic region (body structure) and Skin and/or subcutaneous tissue structure of perineum (body structure)

Skin structure of scrotum (body structure) is a subclass of Skin of part of male external genitalia (body structure) and Skin and subcutaneous tissue structure of scrotum (body structure)

Skin structure of trunk (body structure) is a subclass of Structure of skin region (body structure) and Skin and/or subcutaneous tissue structure of trunk (body structure)

Skin structure of male genitalia (body structure) is a subclass of Skin structure of male perineum (body structure) and Skin structure of external genitalia (body structure) and Male external genitalia structure (body structure)

Abrasion (morphologic abnormality) is a subclass of Abrasion and/or friction burn (morphologic abnormality) and Open wound (morphologic abnormality)

Abrasion and/or friction burn of scrotum with infection (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and Finding site (attribute) Skin structure of scrotum (body structure) and Pathological process (attribute) Infectious process (qualifier value) and something that Due to (attribute) Traumatic event (event)

Skin structure of pelvis (body structure) is a subclass of Skin and/or subcutaneous tissue structure of pelvis (body structure) and Skin structure of lower trunk (body structure)

Structure of skin region (body structure) is a subclass of Skin part (body structure)

Abrasion and/or friction burn of back without infection (disorder) is equivalent to Superficial injury without infection (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and Finding site (attribute) Skin structure of back (body structure) and something that Due to (attribute) Traumatic event (event)

Abrasion and/or friction burn of skin (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and Finding site (attribute) Skin structure (body structure) and something that Due to (attribute) Traumatic event (event)

Abrasion and/or friction burn (morphologic abnormality) is a subclass of Superficial injury (morphologic abnormality) and Friction injury (morphologic abnormality)

Abrasion and/or friction burn of lower limb without infection (disorder) is equivalent to Superficial injury without infection (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and Finding site (attribute) Skin structure of lower limb (body structure) and something that Due to (attribute) Traumatic event (event)

Drug-delivery iontophoresis system electrode, active (physical object) is a subclass of Electrode, device (physical object)

Abrasion and/or friction burn of penis without infection (disorder) is equivalent to Superficial injury without infection (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abrasion and/or friction burn (morphologic abnormality) and Finding site (attribute) Skin structure of penis (body structure) and something that Due to (attribute) Traumatic event (event)


Question: Extract the minimal support axioms for the conclusion: Congenital short bowel syndrome (disorder) is a subclass of Congenital anomaly of small intestine (disorder)

Abnormally short growth (morphologic abnormality) is a subclass of Abnormal shortening (morphologic abnormality) and Growth alteration (morphologic abnormality)

Congenital malabsorptive diarrhea due to paucity of enteroendocrine cells (disorder) is a subclass of Chronic diarrhea of infants AND/OR young children (disorder) and Malabsorption syndrome (disorder) and Autosomal recessive hereditary disorder (disorder) that Role group (attribute)  something that Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Gastrointestinal tract structure (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Shaft of cilium or flagellum, not bacterial (cell structure) is a subclass of Cell surface AND/OR associated structure (cell structure) and Subcellular structure (cell structure)

Congenital short bowel syndrome (disorder) is equivalent to Short bowel syndrome (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abnormally short growth (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Entire small intestine (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Congenital anomaly of small intestine (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of small intestine (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Congenital functional disorders of the small intestine (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of small intestine (body structure)

Congenital microvillous atrophy (disorder) is a subclass of Malabsorption syndrome (disorder) that Role group (attribute)  something that Associated morphology (attribute) Microvillus alteration (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of small intestine (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Congenital neurogenic ileus syndrome (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Obstruction (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of lumen of intestine (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Malabsorption syndrome (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Finding site (attribute) Gastrointestinal tract structure (body structure)

Congenital anomaly of fixation of intestine (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Congenital non-attachment (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Intestinal structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Short bowel syndrome (disorder) is a subclass of Malabsorption syndrome (disorder) that Role group (attribute) something that Finding site (attribute) Structure of small intestine (body structure)

Entire small intestine (body structure) is a subclass of Entire hollow viscus (body structure) and Structure of digestive system subdivision (body structure) and Entire digestive organ (body structure) and Structure of small intestine (body structure) and Entire viscus of abdomen proper (body structure)

Congenital dysmotility of small intestine (disorder) is equivalent to Congenital functional disorders of the small intestine (disorder) and Generalized congenital intestinal dysmotility (disorder) that Role group (attribute)  something that Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of small intestine (body structure) and  something that Has interpretation (attribute) Abnormal (qualifier value) and Interprets (attribute) Small bowel motility, function (observable entity)

Growth alteration (morphologic abnormality) is a subclass of Morphologically abnormal structure (morphologic abnormality)


Question: Extract the minimal support axioms for the conclusion: Turbid urine (finding) is a subclass of Finding of urine appearance (finding)

Finding of urine appearance (finding) is equivalent to Clinical finding (finding) that Role group (attribute) something that Interprets (attribute) Urine appearance (observable entity)

Turbid urine (finding) is a subclass of Finding of turbidity of fluid (finding) that Role group (attribute) something that Interprets (attribute) Urine appearance (observable entity)

Urine looks pale (finding) is a subclass of Finding of urine appearance (finding)

Detection of fibrinogen (procedure) is a subclass of Laboratory test related to hemostasis (procedure) that Role group (attribute) something that Component (attribute) Coagulation factor I (substance) and something that Method (attribute) Measurement - action (qualifier value)

Slightly cloudy urine (finding) is a subclass of Finding of turbidity of fluid (finding) that Role group (attribute) something that Interprets (attribute) Turbidity of fluid (observable entity)

Macroscopic specimen observation (finding) is a subclass of Evaluation finding (finding)

Evaluation finding (finding) is equivalent to Clinical finding (finding) that Role group (attribute) something that Interprets (attribute) Evaluation procedure (procedure)

Urine finding (finding) is a subclass of Clinical finding (finding)

Urine looks clear (finding) is a subclass of Finding of urine appearance (finding) and Finding of turbidity of fluid (finding)

Finding of turbidity of fluid (finding) is a subclass of Macroscopic specimen observation (finding) that Role group (attribute) something that Interprets (attribute) Turbidity of fluid (observable entity)


Question: Extract the minimal support axioms for the conclusion: Open fracture of orbit (disorder) is a subclass of Open fracture of naso orbital ethmoid (disorder)

Endoscopic harvesting of saphenous vein (procedure) is equivalent to Harvesting of donor material (procedure) that Role group (attribute)  something that Method (attribute) Harvesting - action (qualifier value) and Procedure site - Direct (attribute) Saphenous vein structure (body structure) and Using access device (attribute) Endoscope, device (physical object)

Closed fracture of naso orbital ethmoid (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture, closed (morphologic abnormality) and Finding site (attribute) Structure of nasal-orbit bony complex (body structure) and something that Due to (attribute) Traumatic event (event)

Closed fracture of left naso orbital ethmoid (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture, closed (morphologic abnormality) and Finding site (attribute) Ethmoid bone structure (body structure) and  something that Associated morphology (attribute) Fracture, closed (morphologic abnormality) and Finding site (attribute) Structure of left nasal-orbit bony complex (body structure) and something that Due to (attribute) Traumatic event (event)

Bony orbit structure (body structure) is a subclass of Structure of nasal-orbit bony complex (body structure) and Orbital wall structure (body structure)

Open fracture of orbit (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture, open (morphologic abnormality) and Finding site (attribute) Bony orbit structure (body structure) and something that Due to (attribute) Traumatic event (event)

Open fracture of naso orbital ethmoid (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture, open (morphologic abnormality) and Finding site (attribute) Structure of nasal-orbit bony complex (body structure) and something that Due to (attribute) Traumatic event (event)


Question: Extract the minimal support axioms for the conclusion: Measurement of Shigella boydii antibody (procedure) is a subclass of Measurement of bacterial antibody (procedure)

Listeria antibody measurement (procedure) is a subclass of Measurement of bacterial antibody (procedure)

Procedure to identify antibody (procedure) is a subclass of In-vitro immunologic test (procedure) that Role group (attribute) something that Component (attribute) Antibody (substance) and something that Method (attribute) Measurement - action (qualifier value)

Measurement of bacterial antibody (procedure) is equivalent to In-vitro immunologic test (procedure) that Role group (attribute) something that Component (attribute) Anti bacterial antibody (substance) and something that Method (attribute) Measurement - action (qualifier value)

Bacterial antibody titer measurement (procedure) is a subclass of Measurement of bacterial antibody (procedure)

Pneumococcal antibody measurement (procedure) is a subclass of Measurement of bacterial antibody (procedure)

Measurement of Shigella boydii antibody (procedure) is equivalent to Measurement of Shigella species antibody (procedure) and Procedure to identify antibody (procedure) that Role group (attribute) something that Component (attribute) Shigella boydii antibody (substance) and something that Method (attribute) Measurement - action (qualifier value)

Shigella species antibody (substance) is a subclass of Anti bacterial antibody (substance)

Measurement of Shigella dysenteriae antibody (procedure) is equivalent to Measurement of Shigella species antibody (procedure) and Procedure to identify antibody (procedure) that Role group (attribute) something that Component (attribute) Shigella dysenteriae antibody (substance) and something that Method (attribute) Measurement - action (qualifier value)

Measurement of Shigella flexneri antibody (procedure) is equivalent to Measurement of Shigella species antibody (procedure) and Procedure to identify antibody (procedure) that Role group (attribute) something that Component (attribute) Shigella flexneri antibody (substance) and something that Method (attribute) Measurement - action (qualifier value)

Measurement of Shigella species antibody (procedure) is equivalent to Bacterial serologic study (procedure) that Role group (attribute) something that Component (attribute) Shigella species antibody (substance) and something that Method (attribute) Measurement - action (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Palatal infiltration of local anesthetic (procedure) is a subclass of Procedure on palate (procedure)

Structure of palatine mucous membrane (body structure) is a subclass of Oral mucous membrane structure (body structure) and Palatal structure (body structure)

Palatal infiltration of local anesthetic (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Infiltration - action (qualifier value) and Direct substance (attribute) Local anesthetic (substance) and Procedure site - Indirect (attribute) Structure of palatine mucous membrane (body structure)

Operative local anesthesia (procedure) is a subclass of Local anesthesia (procedure)

Regional anesthesia (procedure) is a subclass of Local anesthesia (procedure)

Procedure site - Indirect (attribute) is a sub-property of Procedure site (attribute)

Procedure on palate (procedure) is equivalent to Procedure (procedure) that Role group (attribute) something that Procedure site (attribute) Palatal structure (body structure)

Anesthesia for intraoral procedure (procedure) is a subclass of Administration of anesthesia for procedure (procedure) that Role group (attribute) something that Has focus (attribute) Procedure on mouth (procedure)

Diagnostic local anesthesia infiltration (procedure) is a subclass of Administration of anesthesia (procedure)


Question: Extract the minimal support axioms for the conclusion: Psychologically abused woman (finding) is a subclass of Adult victim of abuse (finding)

Psychologically abused woman (finding) is a subclass of Victim of other person's behavior (finding) that Role group (attribute) something that Occurrence (attribute) Adulthood (qualifier value) and something that Due to (attribute) Psychological abuse of adult (event)

Victim of psychological trauma (finding) is a subclass of Victim of trauma (finding)

Adult victim of physical abuse by female partner (finding) is a subclass of Victim of other person's behavior (finding) that Role group (attribute) something that Occurrence (attribute) Adulthood (qualifier value) and something that Due to (attribute) Abuse of partner (event) and something that Due to (attribute) Physical abuse of adult (event)

Victim of domestic violence (finding) is a subclass of Victim of abuse (finding)

Victim of violent environment (finding) is a subclass of Victim of abuse (finding)

Adult abuse (event) is equivalent to Abuse (event) that Role group (attribute) something that Occurrence (attribute) Adulthood (qualifier value)

Psychological abuse (event) is a subclass of Abuse (event)

Psychological abuse of adult (event) is equivalent to Psychological abuse (event) that Role group (attribute) something that Occurrence (attribute) Adulthood (qualifier value)

Victim of physical assault (finding) is a subclass of Victim of abuse (finding)

Adult victim of abuse (finding) is equivalent to Victim of other person's behavior (finding) that Role group (attribute) something that Occurrence (attribute) Adulthood (qualifier value) and something that Due to (attribute) Adult abuse (event)


Question: Extract the minimal support axioms for the conclusion: Chronic diarrhea with villous atrophy syndrome (disorder) is a subclass of Chronic metabolic disorder (disorder)

Villous atrophy of intestine (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hyperplasia (morphologic abnormality) and Finding site (attribute) Structure of intestinal villus (body structure)

Metabolic disease (disorder) is a subclass of Disease (disorder)

Chronic diarrhea with villous atrophy syndrome (disorder) is a subclass of Mitochondrial cytopathy (disorder) and Chronic diarrhea of infants AND/OR young children (disorder) and Villous atrophy of intestine (disorder) and Genetic disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hyperplasia (morphologic abnormality) and Finding site (attribute) Structure of intestinal villus (body structure) and  something that Has interpretation (attribute) Altered (qualifier value) and Interprets (attribute) Bowel action (observable entity) and something that Clinical course (attribute) Chronic (qualifier value)

Mitochondrial cytopathy (disorder) is a subclass of Metabolic disease (disorder)

Localized metabolic disorder (disorder) is a subclass of Metabolic disease (disorder)

Chronic metabolic disorder (disorder) is equivalent to Metabolic disease (disorder) that Role group (attribute) something that Clinical course (attribute) Chronic (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Muscle ecchymosis (finding) is a subclass of Muscle finding (finding)

Absent muscle function (finding) is a subclass of Muscle finding (finding)

Muscle twitch (finding) is a subclass of Muscle finding (finding)

Decreased muscle function (finding) is a subclass of Muscle finding (finding)

Muscle ecchymosis (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Associated morphology (attribute) Ecchymosis (morphologic abnormality) and Finding site (attribute) Skeletal muscle structure (body structure)

Muscle finding (finding) is equivalent to Clinical finding (finding) that Role group (attribute) something that Finding site (attribute) Skeletal and/or smooth muscle structure (body structure)

Skeletal muscle structure (body structure) is a subclass of Skeletal muscle and/or tendon structure (body structure) and Skeletal and/or smooth muscle structure (body structure) and Structure of striated muscle (body structure) and Structure of soft tissue (body structure)


Question: Extract the minimal support axioms for the conclusion: Open reduction of closed clavicular fracture (procedure) is a subclass of Operative procedure on shoulder region (procedure)

Open reduction of closed clavicular fracture (procedure) is equivalent to Open reduction of fracture (procedure) that Role group (attribute)  something that Method (attribute) Open reduction - action (qualifier value) and Direct morphology (attribute) Fracture, closed (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure of clavicle (body structure)

Open reduction of open clavicular fracture (procedure) is equivalent to Open reduction of fracture (procedure) that Role group (attribute)  something that Method (attribute) Open reduction - action (qualifier value) and Direct morphology (attribute) Fracture, open (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure of clavicle (body structure)

Open reduction of fracture (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Open reduction - action (qualifier value) and Direct morphology (attribute) Fracture (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure (body structure)

Open reduction of open acromioclavicular dislocation, chronic (procedure) is a subclass of Open reduction of open shoulder dislocation (procedure) that Role group (attribute)  something that Method (attribute) Open reduction - action (qualifier value) and Direct morphology (attribute) Open dislocation (morphologic abnormality) and Procedure site - Direct (attribute) Acromioclavicular joint structure (body structure)

Open reduction of closed acromioclavicular dislocation, chronic (procedure) is a subclass of Open reduction of closed shoulder dislocation (procedure) that Role group (attribute)  something that Method (attribute) Open reduction - action (qualifier value) and Direct morphology (attribute) Closed dislocation (morphologic abnormality) and Procedure site - Direct (attribute) Acromioclavicular joint structure (body structure)

Surgical reduction - action (qualifier value) is a subclass of Surgical action (qualifier value) and Reduction - action (qualifier value)

Clavicular region structure (body structure) is a subclass of Shoulder region structure (body structure) and Structure of half of thorax lateral to midsagittal plane (body structure) and Anterior chest wall structure (body structure)

Bone structure of clavicle (body structure) is a subclass of Clavicular region structure (body structure) and Bone structure of shoulder girdle (body structure) and Bone structure of rib, sternum and/or clavicle (body structure) and Bone structure of clavicle and/or scapula and/or humerus (body structure) and Structure of long bone of upper limb (body structure)

Manual reduction of closed fracture of clavicle (procedure) is equivalent to Reduction of closed fracture (procedure) that Role group (attribute)  something that Method (attribute) Closed manual reduction - action (qualifier value) and Direct morphology (attribute) Fracture, closed (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure of clavicle (body structure)

Procedure site - Direct (attribute) is a sub-property of Procedure site (attribute)

Preventing infection of immunocompromised patient (procedure) is a subclass of Infection control procedure (procedure)

Open reduction - action (qualifier value) is a subclass of Surgical reduction - action (qualifier value)

Open reduction of closed acromioclavicular dislocation, acute (procedure) is a subclass of Open reduction of closed shoulder dislocation (procedure) that Role group (attribute)  something that Method (attribute) Open reduction - action (qualifier value) and Direct morphology (attribute) Closed dislocation (morphologic abnormality) and Procedure site - Direct (attribute) Acromioclavicular joint structure (body structure)

Open reduction of closed sternoclavicular dislocation, chronic (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Open reduction - action (qualifier value) and Direct morphology (attribute) Closed dislocation (morphologic abnormality) and Procedure site - Direct (attribute) Sternoclavicular joint structure (body structure)

Operative procedure on shoulder region (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Shoulder region structure (body structure)

Anesthesia for radical surgery on clavicle and/or scapula (procedure) is a subclass of Anesthesia for procedure on clavicle and/or scapula (procedure) that Role group (attribute) something that Has focus (attribute) Operative procedure on upper extremity (procedure)


Question: Extract the minimal support axioms for the conclusion: Product containing toremifene (medicinal product) is a subclass of Product containing selective estrogen receptor modulator (product)

Antineoplastic agent (substance) is a subclass of Drug or medicament (substance)

Selective estrogen receptor modulator (substance) is equivalent to Drug or medicament (substance) that Has disposition (attribute) Selective estrogen receptor modulator (disposition)

Product containing regorafenib (medicinal product) is a subclass of Medicinal product (product) that Plays role (attribute) Antineoplastic therapeutic role (role)

Toremifene (substance) is a subclass of Substance with ether structure (substance) and Antineoplastic agent (substance) and Amine (substance) and Chlorine compound (substance) and Substance with stilbene structure (substance) that Has disposition (attribute) Estrogen receptor antagonist (disposition) and Selective estrogen receptor modulator (disposition)

Product containing toremifene in oral dose form (medicinal product form) is equivalent to Medicinal product (product) that Has manufactured dose form (attribute) Oral dose form (dose form) and Role group (attribute) something that Has active ingredient (attribute) Toremifene (substance)

Product containing toremifene (medicinal product) is equivalent to Medicinal product (product) that Role group (attribute) something that Has active ingredient (attribute) Toremifene (substance)

Selective estrogen receptor modulator (disposition) is a subclass of Disposition (disposition)

Clomifene (substance) is a subclass of Drug or medicament (substance) and Amine (substance) and Substance with stilbene structure (substance) that Has disposition (attribute) Estrogen receptor antagonist (disposition) and Selective estrogen receptor modulator (disposition)

Product containing selective estrogen receptor modulator (product) is equivalent to Medicinal product (product) that Role group (attribute) something that Has active ingredient (attribute) Selective estrogen receptor modulator (substance)

Ospemifene (substance) is a subclass of Drug or medicament (substance) and Organic hydride (substance) and Substance with stilbene structure (substance) that Has disposition (attribute) Selective estrogen receptor modulator (disposition)


Question: Extract the minimal support axioms for the conclusion: Kidney excision (procedure) is a subclass of Kidney operation (procedure)

Extracorporeal bench surgery of kidney (procedure) is a subclass of Procedure on kidney (procedure)

Excision - action (qualifier value) is a subclass of Surgical removal - action (qualifier value)

Kidney - local excision (procedure) is a subclass of Partial nephrectomy (procedure)

Nephrectomy with excision of perirenal tissue (procedure) is a subclass of Total nephrectomy (procedure)

Local excision of renal parenchymal tumor (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Excision - action (qualifier value) and Direct morphology (attribute) Neoplasm (morphologic abnormality) and Procedure site - Direct (attribute) Structure of parenchyma of kidney (body structure)

Surgical removal - action (qualifier value) is a subclass of Surgical action (qualifier value) and Removal - action (qualifier value)

Decortication of kidney (procedure) is a subclass of Kidney operation (procedure)

Procedure by method (procedure) is equivalent to Procedure (procedure) that Role group (attribute) something that Method (attribute) Action (qualifier value)

Excision (procedure) is equivalent to Procedure by method (procedure) that Role group (attribute) something that Method (attribute) Excision - action (qualifier value)

Partial pelvectomy of kidney (procedure) is a subclass of Kidney excision (procedure) that Role group (attribute)  something that Method (attribute) Excision - action (qualifier value) and Procedure site - Direct (attribute) Part of renal pelvis structure (body structure)

Kidney operation (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Kidney structure (body structure)

Procedure site - Direct (attribute) is a sub-property of Procedure site (attribute)

Excision of rejected transplanted kidney (procedure) is a subclass of Transplant nephrectomy (procedure) that Role group (attribute)  something that Method (attribute) Excision - action (qualifier value) and Procedure site - Direct (attribute) Structure of transplanted kidney (body structure)

Kidney excision (procedure) is equivalent to Excision (procedure) that Role group (attribute)  something that Method (attribute) Excision - action (qualifier value) and Procedure site - Direct (attribute) Kidney structure (body structure)


Question: Extract the minimal support axioms for the conclusion: Bone structure of distal phalanx of right little finger (body structure) is a subclass of Bone structure of distal phalanx of finger of right hand (body structure)

Bone structure of distal phalanx of finger of right hand (body structure) is equivalent to Bone structure of distal phalanx of finger (body structure) that Laterality (attribute) Right (qualifier value)

Bone structure of distal phalanx of hand (body structure) is a subclass of Structure of distal phalanx (body structure) and Bone structure of phalanx of hand (body structure)

Bone structure of distal phalanx of finger (body structure) is a subclass of Bone structure of phalanx of finger (body structure) and Bone structure of distal phalanx of hand (body structure)

Microbial culture finding (finding) is equivalent to Evaluation finding (finding) that Role group (attribute) something that Interprets (attribute) Microbial culture (procedure)

Structure of distal phalanx of little finger (body structure) is a subclass of Structure of phalanx of little finger (body structure) and Bone structure of distal phalanx of finger (body structure)

Bone structure of distal phalanx of right little finger (body structure) is equivalent to Structure of distal phalanx of little finger (body structure) that Laterality (attribute) Right (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Rheumatoid arthritis of ankle (disorder) is a subclass of Rheumatoid arthritis of ankle and/or foot (disorder)

Localized, secondary osteoarthritis of the ankle and/or foot (disorder) is a subclass of Localized, secondary osteoarthritis (disorder) that Role group (attribute) something that Finding site (attribute) Joint structure of ankle and/or foot (body structure)

Rheumatoid arthritis of ankle and/or foot (disorder) is equivalent to Rheumatoid arthritis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Joint structure of ankle and/or foot (body structure) and Pathological process (attribute) Autoimmune process (qualifier value)

Arthropathy in Behcet's syndrome of the ankle and/or foot (disorder) is a subclass of Arthropathy in Behcet's syndrome (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Joint structure of ankle and/or foot (body structure)

Rheumatoid arthritis of ankle (disorder) is equivalent to Rheumatoid arthritis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Ankle joint structure (body structure) and Pathological process (attribute) Autoimmune process (qualifier value)

Rheumatoid arthritis of foot (disorder) is equivalent to Rheumatoid arthritis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of joint of foot (body structure) and Pathological process (attribute) Autoimmune process (qualifier value)

Ankle joint structure (body structure) is a subclass of Joint structure of ankle and/or foot (body structure) and Ankle region structure (body structure)


Question: Extract the minimal support axioms for the conclusion: Anchoring of tendon of biceps (procedure) is a subclass of Fixation of tendon (procedure)

Structure of tendon of biceps brachii (body structure) is a subclass of Structure of tendon within upper limb (body structure) and Biceps brachii muscle and/or tendon structure (body structure)

Tenodesis for rupture of long tendon of biceps (procedure) is a subclass of Anchoring of tendon of biceps (procedure) that Role group (attribute)  something that Method (attribute) Anchoring - action (qualifier value) and Procedure site - Direct (attribute) Structure of tendon of long head of biceps brachii (body structure)

Anchoring - action (qualifier value) is a subclass of Fixation - action (qualifier value)

Repair of tendon to bone using fixation (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Fixation - action (qualifier value) and Procedure site - Direct (attribute) Tendon structure (body structure) and  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Tendon structure (body structure)

Kidd blood group (procedure) is a subclass of Blood group typing, minor blood group (procedure)

Fixation of tendon (procedure) is equivalent to Operation on tendon (procedure) that Role group (attribute)  something that Method (attribute) Fixation - action (qualifier value) and Procedure site - Direct (attribute) Tendon structure (body structure)

Anchoring of tendon of biceps (procedure) is equivalent to Operation on tendon (procedure) that Role group (attribute)  something that Method (attribute) Anchoring - action (qualifier value) and Procedure site - Direct (attribute) Structure of tendon of long head of biceps brachii (body structure)

Structure of tendon of long head of biceps brachii (body structure) is a subclass of Structure of tendon of biceps brachii (body structure) and Structure of tendon within upper arm (body structure) and Structure of tendon within shoulder region (body structure)

Suture of fascia to skeletal attachment (procedure) is a subclass of Suture of fascia (procedure)

Structure of tendon within upper limb (body structure) is a subclass of Tendon structure (body structure) and Musculoskeletal structure of upper limb (body structure) and Structure of tendon and/or tendon sheath within upper limb (body structure)

Tenodesis for rupture of biceps tendon at elbow (procedure) is a subclass of Anchoring of tendon of biceps (procedure)

Fusion-stabilization and immobilization (procedure) is a subclass of Stabilization (procedure) and Fixation (procedure)


Question: Extract the minimal support axioms for the conclusion: Primary undifferentiated carcinoma of nasal sinus (disorder) is a subclass of Primary malignant neoplasm of accessory sinus (disorder)

Primary undifferentiated carcinoma of nasal sinus (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Carcinoma, undifferentiated (morphologic abnormality) and Finding site (attribute) Nasal sinus structure (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Primary squamous cell carcinoma of accessory sinus (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Squamous cell carcinoma (morphologic abnormality) and Finding site (attribute) Nasal sinus structure (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Primary undifferentiated carcinoma of nasopharynx (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Carcinoma, undifferentiated (morphologic abnormality) and Finding site (attribute) Nasopharyngeal structure (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Undifferentiated carcinoma of nasal sinus (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Carcinoma, undifferentiated (morphologic abnormality) and Finding site (attribute) Nasal sinus structure (body structure)

Malignant epithelial neoplasm (morphologic abnormality) is a subclass of Epithelial neoplasm (morphologic abnormality) and Malignant neoplasm (morphologic abnormality)

Carcinoma, undifferentiated (morphologic abnormality) is a subclass of Malignant epithelial neoplasm (morphologic abnormality)

Primary carcinoma of accessory sinus (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Carcinoma (morphologic abnormality) and Finding site (attribute) Nasal sinus structure (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Primary malignant neoplasm of accessory sinus (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant neoplasm (morphologic abnormality) and Finding site (attribute) Nasal sinus structure (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Azelastine adverse reaction (disorder) is a subclass of Adverse reaction caused by drug (disorder)

Adverse reaction caused by drug (disorder) is equivalent to Adverse reaction (disorder) that Role group (attribute) something that Causative agent (attribute) Drug or medicament (substance)

Adverse reaction caused by drug primarily acting on nutrition (disorder) is a subclass of Adverse reaction (disorder) that Role group (attribute) something that Causative agent (attribute) Drug or medicament (substance)

Homeopathic medicine adverse reaction (disorder) is a subclass of Adverse reaction (disorder) that Role group (attribute) something that Causative agent (attribute) Drug or medicament (substance)

Azelastine adverse reaction (disorder) is equivalent to Adverse reaction (disorder) that Role group (attribute) something that Causative agent (attribute) Azelastine (substance)

Azelastine (substance) is a subclass of Phthalazinone derivative (substance) that Has disposition (attribute) Histamine H1 receptor antagonist (disposition)

Phthalazinone derivative (substance) is a subclass of Drug or medicament (substance) that Has disposition (attribute) Histamine receptor antagonist (disposition)

Adverse reaction (disorder) is a subclass of Disease (disorder)

Adverse reaction caused by mouthwash (disorder) is a subclass of Adverse reaction (disorder)


Question: Extract the minimal support axioms for the conclusion: Urinary tract pain (finding) is a subclass of Pain of truncal structure (finding)

Structure of subregion of trunk (body structure) is a subclass of Trunk structure (body structure)

Structure of urinary tract proper (body structure) is a subclass of Urinary system structure (body structure) and Structure of genitourinary tract (body structure)

Localized pain (finding) is a subclass of Pain (finding)

Urinary system structure (body structure) is a subclass of Structure of genitourinary system (body structure)

Radiating pain (finding) is a subclass of Pain (finding)

Urinary tract pain (finding) is equivalent to Pain (finding) that Role group (attribute) something that Finding site (attribute) Structure of urinary tract proper (body structure)

Ureteric pain (finding) is equivalent to Pain (finding) that Role group (attribute) something that Finding site (attribute) Ureteric structure (body structure)

Structure of genitourinary system (body structure) is a subclass of Structure of abdominopelvic segment of trunk (body structure) and Body system structure (body structure)

Renal pain (finding) is a subclass of Urinary tract pain (finding) that Role group (attribute) something that Finding site (attribute) Kidney structure (body structure)

Pain associated with defecation (finding) is a subclass of Pain (finding)

Structure of abdominopelvic segment of trunk (body structure) is a subclass of Chest and/or abdomen and/or pelvis structure (body structure) and Structure of subregion of trunk (body structure) and Lower body part structure (body structure)

Pain of truncal structure (finding) is equivalent to Pain (finding) that Role group (attribute) something that Finding site (attribute) Trunk structure (body structure)

Squeezing pain (finding) is a subclass of Pain (finding)

Pain (finding) is a subclass of Pain / sensation finding (finding)