Question: Extract the minimal support axioms for the conclusion: Soft tissue lesion of wrist and hand (disorder) is a subclass of Disorder of hand (disorder)

Lesion of ligament of wrist and/or hand (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Lesion (morphologic abnormality) and Finding site (attribute) Structure of ligament of wrist and/or hand (body structure)

Injury of radial artery at wrist and hand level (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Damage (morphologic abnormality) and Finding site (attribute) Structure of radial artery (body structure)

Hand part (body structure) is a subclass of Hand structure (body structure)

Severe multi tissue damage hand (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Damage (morphologic abnormality) and Finding site (attribute) Hand structure (body structure) and something that Due to (attribute) Traumatic event (event)

Soft tissue lesion of wrist and hand (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 of wrist region (body structure) and  something that Associated morphology (attribute) Lesion (morphologic abnormality) and Finding site (attribute) Structure of soft tissue of hand (body structure)

Structure of soft tissue of hand (body structure) is a subclass of Hand part (body structure) and Structure of soft tissue within upper limb (body structure)

Disorder of hand (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Finding site (attribute) Hand structure (body structure)

Subluxation of tendon, wrist or hand (disorder) is a subclass of Disorder of tendon (disorder)


Question: Extract the minimal support axioms for the conclusion: Chronic subareolar non-puerperal abscess (disorder) is a subclass of Chronic abscess of breast (disorder)

Nonpuerperal abscess of breast (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abscess (morphologic abnormality) and Finding site (attribute) Breast structure (body structure)

Chronic non-puerperal breast abscess (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic abscess (morphologic abnormality) and Finding site (attribute) Breast structure (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Structure of region of breast (body structure) is a subclass of Breast part (body structure)

Nonpuerperal abscess of areola (disorder) is equivalent to Nonpuerperal abscess of breast (disorder) that Role group (attribute)  something that Associated morphology (attribute) Abscess (morphologic abnormality) and Finding site (attribute) Areola structure (body structure)

Chronic abscess (morphologic abnormality) is a subclass of Abscess (morphologic abnormality)

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

Structure of subareolar region (body structure) is a subclass of Structure of region of breast (body structure)

Chronic subareolar non-puerperal abscess (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic abscess (morphologic abnormality) and Finding site (attribute) Structure of subareolar region (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Chronic abscess of breast (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic abscess (morphologic abnormality) and Finding site (attribute) Breast structure (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Repair of tricuspid valve with prosthesis (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Tricuspid valve structure (body structure) and Using device (attribute) Tricuspid valve prosthesis (physical object)


Question: Extract the minimal support axioms for the conclusion: Postmaturity syndrome (disorder) is a subclass of Fetal intrapartum and/or early neonatal disorder (disorder)

Postmaturity syndrome (disorder) is a subclass of Gestation abnormality (disorder) that Role group (attribute) something that Occurrence (attribute) Early neonatal period (qualifier value)

Early neonatal period (qualifier value) is a subclass of Fetal intrapartum second stage and/or early neonatal period (qualifier value) and Neonatal (qualifier value)

Prematurity of infant (disorder) is a subclass of Short fetal gestation (disorder) that Role group (attribute) something that Occurrence (attribute) Early neonatal period (qualifier value)

Perinatal disorder of growth and/or development (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Occurrence (attribute) Fetal antepartum and/or intrapartum and/or early neonatal period (qualifier value)

Short fetal gestation (disorder) is a subclass of Gestation abnormality (disorder) that Role group (attribute) something that Occurrence (attribute) Fetal antepartum and/or intrapartum and/or early neonatal period (qualifier value)

Fetal intrapartum and/or early neonatal disorder due to prolapsed cord (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Occurrence (attribute) Fetal intrapartum and/or early neonatal period (qualifier value) and something that Due to (attribute) Prolapsed cord (disorder)

Disorder due to slow fetal growth, low and/or high birth weight (disorder) is a subclass of Perinatal disorder of growth and/or development (disorder)

Fetal intrapartum second stage and/or early neonatal period (qualifier value) is a subclass of Fetal intrapartum and/or early neonatal period (qualifier value)

Gestation abnormality (disorder) is a subclass of Perinatal disorder of growth and/or development (disorder) that Role group (attribute) something that Occurrence (attribute) Fetal antepartum and/or intrapartum and/or early neonatal period (qualifier value)

Perinatal endocrine and metabolic disorders (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Occurrence (attribute) Fetal antepartum and/or intrapartum and/or early neonatal period (qualifier value)

Fetal intrapartum and/or early neonatal disorder (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Occurrence (attribute) Fetal intrapartum and/or early neonatal period (qualifier value)

Fetal disorder due to maternal bony pelvic abnormality during labor (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Occurrence (attribute) Fetal intrapartum period (qualifier value) and something that Due to (attribute) Pelvic disproportion (disorder)


Question: Extract the minimal support axioms for the conclusion: Villous atrophy of intestine (disorder) is a subclass of Disorder of soft tissue of trunk (disorder)

Disorder of soft tissue of trunk (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Finding site (attribute) Structure of soft tissues of trunk (body structure)

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)

Disorder of soft tissue of body wall region (disorder) is a subclass of Disorder of soft tissue of trunk (disorder) and Disorder of body wall (disorder) that Role group (attribute) something that Finding site (attribute) Body wall structure (body structure)

Villous atrophy (finding) is a subclass of Morphologic finding (finding)

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)

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)

Severe systemic illness-induced intestinal villous atrophy (disorder) is equivalent to Villous atrophy of intestine (disorder) that Role group (attribute)  something that Associated morphology (attribute) Atrophy (morphologic abnormality) and Finding site (attribute) Structure of intestinal villus (body structure) and something that Due to (attribute) Severe systemic illness tissue wasting (disorder)

Intestinal mucous membrane structure (body structure) is a subclass of Intestinal wall structure (body structure) and Structure of gastrointestinal tract mucous membrane (body structure) and Structure of soft tissue of abdomen (body structure)

Intestinal lipofuscinosis (disorder) is a subclass of Lipofuscinosis (disorder) and Disorder of intestine (disorder) that Role group (attribute) something that Occurrence (attribute) Congenital (qualifier value) and something that Finding site (attribute) Intestinal structure (body structure)

Small intestine mucous membrane structure (body structure) is a subclass of Small intestine part (body structure) and Intestinal mucous membrane structure (body structure)

Structure of intestinal villus (body structure) is a subclass of Small intestine mucous membrane structure (body structure)

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)


Question: Extract the minimal support axioms for the conclusion: Destructive procedure of small intestine (procedure) is a subclass of Gastrointestinal tract destructive procedure (procedure)

Perinatal sepsis caused by Escherichia coli (disorder) is equivalent to Organ dysfunction syndrome (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Causative agent (attribute) Escherichia coli (organism) and Occurrence (attribute) Fetal antepartum and/or intrapartum and/or early neonatal period (qualifier value) and Finding site (attribute) Body organ structure (body structure) and Pathological process (attribute) Dysregulated host response (qualifier value) and something that Due to (attribute) Infectious disease (disorder)

Surgical procedure (procedure) is a subclass of Procedure (procedure)

Operation on digestive tract (procedure) is equivalent to Operative procedure on digestive system (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Digestive tract structure (body structure)

Tissue disruption operation (procedure) is a subclass of Destructive procedure (procedure)

Brief gastrointestinal tract examination (procedure) is a subclass of Examination of digestive system (procedure)

Lower gastrointestinal tract part (body structure) is a subclass of Digestive organ part (body structure) and Lower gastrointestinal tract structure (body structure)

Intestinal structure (body structure) is a subclass of Lower gastrointestinal tract part (body structure) and Structure of intestine and/or mesentery (body structure) and Structure of organ within abdominopelvic cavity (body structure)

Prosthesis procedures - small intestine (procedure) is a subclass of Procedure on small intestine (procedure) that Role group (attribute) something that Direct device (attribute) Prosthesis, device (physical object)

Operative procedure on small intestine (procedure) is equivalent to Operation on digestive tract (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Structure of small intestine (body structure)

Immune system destructive procedure (procedure) is a subclass of Immune system surgical procedure (procedure)

Endoscopic destruction of tissue of stomach (procedure) is a subclass of Gastrointestinal tract destructive procedure (procedure) that Role group (attribute)  something that Method (attribute) Destruction - action (qualifier value) and Procedure site - Direct (attribute) Stomach structure (body structure) and Using access device (attribute) Endoscope, device (physical object)

Operative procedure on digestive system (procedure) is equivalent to Procedure on digestive system (procedure) and Surgical procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Structure of digestive system (body structure)

Endoscopic destruction of tissue of large intestine (procedure) is a subclass of Destructive procedure of large intestine (procedure) that Role group (attribute)  something that Method (attribute) Destruction - action (qualifier value) and Procedure site - Direct (attribute) Structure of large intestine (body structure) and Using access device (attribute) Endoscope, device (physical object)

Destruction of lesion of small intestine (procedure) is equivalent to Destructive procedure of small intestine (procedure) that Role group (attribute)  something that Method (attribute) Destruction - action (qualifier value) and Direct morphology (attribute) Lesion (morphologic abnormality) and Procedure site - Direct (attribute) Structure of small intestine (body structure)

Lower gastrointestinal tract structure (body structure) is a subclass of Gastrointestinal tract structure (body structure) and Intra-abdominal digestive structure (body structure)

Destructive procedure of large intestine (procedure) is equivalent to Procedure on large intestine (procedure) that Role group (attribute)  something that Method (attribute) Destruction - action (qualifier value) and Procedure site - Direct (attribute) Structure of large intestine (body structure)

Destructive procedure of small intestine (procedure) is equivalent to Operative procedure on small intestine (procedure) that Role group (attribute)  something that Method (attribute) Destruction - action (qualifier value) and Procedure site - Direct (attribute) Structure of small intestine (body structure)

Biliary tract destructive procedure (procedure) is equivalent to Abdomen destructive procedure (procedure) that Role group (attribute)  something that Method (attribute) Destruction - action (qualifier value) and Procedure site - Direct (attribute) Biliary tract structure (body structure)

Structure of small intestine (body structure) is a subclass of Intestinal structure (body structure)

Special gastrointestinal tract procedures (procedure) is a subclass of Gastrointestinal investigation (procedure)

Gastrointestinal tract destructive procedure (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Destruction - action (qualifier value) and Procedure site (attribute) Gastrointestinal tract structure (body structure)

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


Question: Extract the minimal support axioms for the conclusion: Percutaneous radiofrequency ablation of short saphenous vein using fluoroscopic guidance with contrast (procedure) is a subclass of Vascular surgical procedure on lower limb (procedure)

Structure of vein of lower limb (body structure) is a subclass of Structure of pelvic and leg veins (body structure) and Structure of venous system of lower limb (body structure)

Percutaneous laser ablation of short saphenous vein using fluoroscopic guidance with contrast (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Ablation - action (qualifier value) and Procedure site - Direct (attribute) Structure of small saphenous vein (body structure) and Using device (attribute) Laser device (physical object) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Structure of small saphenous vein (body structure) and Using substance (attribute) Contrast media (substance)

Percutaneous radiofrequency ablation of short saphenous vein using fluoroscopic guidance with contrast (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Ablation - action (qualifier value) and Procedure site - Direct (attribute) Structure of small saphenous vein (body structure) and Using device (attribute) Radiofrequency controlled thermal probe (physical object) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Structure of small saphenous vein (body structure) and Using substance (attribute) Contrast media (substance)

Percutaneous mechanical thrombectomy of mesenteric vein using fluoroscopic guidance with contrast (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Removal - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Structure of mesenteric vein (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Structure of mesenteric vein (body structure) and Using substance (attribute) Contrast media (substance)

Percutaneous mechanical thrombectomy of vein of lower limb using fluoroscopic guidance with contrast (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Removal - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Structure of vein of lower limb (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Structure of vein of lower limb (body structure) and Using substance (attribute) Contrast media (substance)

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

Regional blood vessel structure (body structure) is a subclass of Regional cardiovascular structure (body structure) and Body region structure (body structure) and Blood vessel structure (body structure)

Ablation - action (qualifier value) is a subclass of Destruction - action (qualifier value)

Percutaneous mechanical thrombectomy of vascular graft of upper limb using fluoroscopic guidance with contrast (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Removal - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Vascular structure of upper limb (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Vascular structure of upper limb (body structure) and Using substance (attribute) Contrast media (substance)

Percutaneous thrombolysis of vascular graft of lower limb using fluoroscopic guidance (procedure) is a subclass of Percutaneous thrombolysis using fluoroscopic guidance (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Destruction - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Vascular structure of lower limb (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Indirect (attribute) Vascular structure of lower limb (body structure)

Vascular structure of lower limb (body structure) is a subclass of Lower extremity part (body structure) and Structure of blood vessel of limb (body structure)

Procedure on blood vessel (procedure) is equivalent to Procedure (procedure) that Role group (attribute) something that Procedure site (attribute) Blood vessel structure (body structure)

Vision test distance (finding) is a subclass of Visual acuity finding (finding)

Structure of vein of lower leg (body structure) is a subclass of Structure of vein of lower limb (body structure) and Structure of lower extremity from knee to ankle (body structure)

Structure of venous system of lower limb (body structure) is a subclass of Vascular structure of lower limb (body structure) and Venous structure of limb (body structure)

Percutaneous thrombolysis of vascular graft of upper limb using fluoroscopic guidance (procedure) is a subclass of Percutaneous thrombolysis using fluoroscopic guidance (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Destruction - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Vascular structure of upper limb (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Indirect (attribute) Vascular structure of upper limb (body structure)

Percutaneous radiofrequency ablation of long saphenous vein using fluoroscopic guidance with contrast (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Ablation - action (qualifier value) and Procedure site - Direct (attribute) Great saphenous vein structure (body structure) and Using device (attribute) Radiofrequency controlled thermal probe (physical object) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Great saphenous vein structure (body structure) and Using substance (attribute) Contrast media (substance)

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

Percutaneous mechanical thrombectomy of vein of upper limb using fluoroscopic guidance with contrast (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Removal - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Structure of vein of upper limb (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Structure of vein of upper limb (body structure) and Using substance (attribute) Contrast media (substance)

Percutaneous transluminal embolization of branch of iliac vein using fluoroscopic guidance with contrast (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Embolization - action (qualifier value) and Procedure site - Direct (attribute) Iliac vein structure (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Iliac vein structure (body structure) and Using substance (attribute) Contrast media (substance)

Structure of small saphenous vein (body structure) is a subclass of Structure of vein of lower leg (body structure) and Saphenous vein structure (body structure) and Structure of tributary of femoral vein (body structure)

Percutaneous mechanical thrombectomy of artery of lower limb using fluoroscopic guidance with contrast (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Removal - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Structure of artery of lower limb (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Structure of artery of lower limb (body structure) and Using substance (attribute) Contrast media (substance)

Percutaneous mechanical thrombectomy of hepatic vein using fluoroscopic guidance with contrast (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Removal - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Structure of hepatic vein (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Structure of hepatic vein (body structure) and Using substance (attribute) Contrast media (substance)

Percutaneous mechanical thrombectomy of vascular graft of lower limb using fluoroscopic guidance with contrast (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Removal - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Vascular structure of lower limb (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Vascular structure of lower limb (body structure) and Using substance (attribute) Contrast media (substance)

Structure of blood vessel of limb (body structure) is a subclass of Extremity part (body structure) and Regional blood vessel structure (body structure) and Peripheral vascular system structure (body structure)

Vascular surgical procedure on lower limb (procedure) is equivalent to Procedure on blood vessel (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site - Direct (attribute) Vascular structure of lower limb (body structure)


Question: Extract the minimal support axioms for the conclusion: Transient occlusion of left retinal artery (disorder) is a subclass of Acute disease of cardiovascular system (disorder)

Leather currier (occupation) is a subclass of Tanner/fellmonger (occupation) and Tannery production worker (occupation)

Retinal artery occlusion (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Complete obstruction (morphologic abnormality) and Finding site (attribute) Structure of retinal artery (body structure)

Clinical course with short duration (qualifier value) is a subclass of Sudden onset AND/OR short duration (qualifier value)

Structure of retinal artery of left eye (body structure) is equivalent to Structure of retinal artery (body structure) that Laterality (attribute) Left (qualifier value)

Vascular structure of head (body structure) is a subclass of Head part (body structure) and Vascular structure of head and/or neck (body structure)

Transient arterial retinal occlusion (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Intermittent obstruction (morphologic abnormality) and Finding site (attribute) Structure of retinal artery (body structure)

Asphyxiation by sustained compression of chest (event) is a subclass of Asphyxiation (event)

Occlusion of left central retinal artery (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Complete obstruction (morphologic abnormality) and Finding site (attribute) Structure of central retinal artery of left eye (body structure)

Occlusion of left branch retinal artery (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Complete obstruction (morphologic abnormality) and Finding site (attribute) Structure of branch of retinal artery of left eye (body structure)

Vascular structure of head and/or neck (body structure) is a subclass of Regional blood vessel structure (body structure) and Systemic circulatory system structure (body structure) and Structure of head and/or neck (body structure)

Acute annular outer retinopathy (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Clinical course (attribute) Sudden onset AND/OR short duration (qualifier value) and something that Finding site (attribute) Retinal structure (body structure)

Partial occlusion of left retinal artery (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Partial obstruction (morphologic abnormality) and Finding site (attribute) Structure of retinal artery of left eye (body structure)

Retinal ischemia (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Finding site (attribute) Retinal structure (body structure)

Transitory (qualifier value) is a subclass of Clinical course with short duration (qualifier value)

Structure of blood vessel of retina (body structure) is a subclass of Structure of ocular blood vessel (body structure) and Retinal structure (body structure)

Structure of ocular blood vessel (body structure) is a subclass of Vascular structure of head (body structure) and Eye region structure (body structure)

Acute disease of cardiovascular system (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Clinical course (attribute) Sudden onset AND/OR short duration (qualifier value) and something that Finding site (attribute) Structure of cardiovascular system (body structure)

French-American-British classification system (tumor staging) is a subclass of Tumor staging (tumor staging)

Transient occlusion of left retinal artery (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Intermittent obstruction (morphologic abnormality) and Finding site (attribute) Structure of retinal artery of left eye (body structure) and something that Clinical course (attribute) Transitory (qualifier value)

Macular infarction (disorder) is a subclass of Ischemic maculopathy (disorder)

Structure of retinal artery (body structure) is a subclass of Structure of blood vessel of retina (body structure) and Structure of artery of eye and orbit (body structure)

Systemic circulatory system structure (body structure) is a subclass of Structure of cardiovascular system (body structure)


Question: Extract the minimal support axioms for the conclusion: Osteopetrosis (disorder) is a subclass of Chronic disease of musculoskeletal system (disorder)

Pathological fracture of foot due to osteopetrosis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Pathologic fracture (morphologic abnormality) and Finding site (attribute) Bone structure of foot (body structure) and something that Due to (attribute) Osteopetrosis (disorder)

Bone structure (body structure) is a subclass of Structure of bony skeleton subdivision (body structure) and Bone and/or joint structure (body structure) and Structure of bone organ (body structure)

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

Osteopetrosis (disorder) is equivalent to Hereditary 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 (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Has interpretation (attribute) Below reference range (qualifier value) and Interprets (attribute) Osteoclast turnover rate (observable entity) and something that Clinical course (attribute) Progressive (qualifier value)

Transient infantile osteopetrosis (disorder) is a subclass of Osteopetrosis (disorder)

Automated peritoneal dialysis solution (product) is a subclass of Peritoneal dialysis solution (product)

Chronic disease of musculoskeletal system (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Clinical course (attribute) Chronic (qualifier value) and something that Finding site (attribute) Structure of musculoskeletal system (body structure)

Hereditary disease (disorder) is a subclass of Genetic disease (disorder)

Bone and/or joint structure (body structure) is a subclass of Structure of musculoskeletal system (body structure)

Autosomal dominant osteopetrosis type 2 (disorder) is a subclass of Autosomal dominant hereditary disorder (disorder) and Osteopetrosis (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 (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Autosomal dominant osteopetrosis type 1 (disorder) is a subclass of Autosomal dominant hereditary disorder (disorder) that Role group (attribute)  something that Associated morphology (attribute) Bony sclerosis (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 Has interpretation (attribute) Below reference range (qualifier value) and Interprets (attribute) Osteoclast turnover rate (observable entity) and something that Clinical course (attribute) Progressive (qualifier value)

Progressive (qualifier value) is a subclass of Behavior descriptors (qualifier value) and Chronic (qualifier value)

Osteopetrosis - delayed type (disorder) is a subclass of Osteopetrosis (disorder)

Infantile malignant osteopetrosis (disorder) is a subclass of Osteopetrosis (disorder) and Autosomal recessive hereditary disorder (disorder)


Question: Extract the minimal support axioms for the conclusion: Intraaortic balloon pump removal (procedure) is a subclass of Removal of device from cardiovascular system (procedure)

Intra-aortic balloon pump, device (physical object) is a subclass of Balloon pump, device (physical object)

Transluminal maintenance of aortic balloon pump (procedure) is a subclass of Maintenance of invasive device (procedure) that Role group (attribute)  something that Method (attribute) Maintenance - action (qualifier value) and Direct device (attribute) Intra-aortic balloon pump, device (physical object) and Procedure site - Indirect (attribute) Aortic structure (body structure)

Transluminal removal of aortic balloon pump (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical removal - action (qualifier value) and Direct device (attribute) Intra-aortic balloon pump, device (physical object) and Procedure site - Indirect (attribute) Aortic structure (body structure)

Removal of internal cardiac defibrillator (procedure) is a subclass of Automatic defibrillator procedure (procedure) that Role group (attribute)  something that Method (attribute) Removal - action (qualifier value) and Direct device (attribute) Implantable defibrillator, device (physical object)

Mite specific diagnostic allergen extract (product) is equivalent to Diagnostic allergen extract (product) that Role group (attribute) something that Has active ingredient (attribute) Mite protein (substance)

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

Structure of large artery (body structure) is a subclass of Large blood vessel structure (body structure) and Arterial structure (body structure)

Removal of device from cardiovascular system (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Removal - action (qualifier value) and Direct device (attribute) Device (physical object) and Procedure site - Indirect (attribute) Structure of cardiovascular system (body structure)

Blood vessel structure (body structure) is a subclass of Structure of cardiovascular system (body structure) and Body organ structure (body structure) and Structure of soft tissue (body structure)

Pump, device (physical object) is a subclass of Pump/injector/aspirator, device (physical object) and Instrument, device (physical object)

Instrument, device (physical object) is a subclass of Biomedical equipment (physical object)

Aortic structure (body structure) is a subclass of Structure of systemic artery of trunk (body structure) and Structure of great blood vessel (organ) (body structure) and Non-coronary systemic artery structure (body structure) and Structure of large artery (body structure)

Balloon pump, device (physical object) is a subclass of Pump, device (physical object)

Removal of implanted cardiac pacemaker system or components (procedure) is a subclass of Removal of electronic heart device (procedure) that Role group (attribute)  something that Method (attribute) Surgical removal - action (qualifier value) and Direct device (attribute) Cardiac pacemaker, device (physical object) and Procedure site - Indirect (attribute) Heart structure (body structure)

Intraaortic balloon pump removal (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical removal - action (qualifier value) and Direct device (attribute) Intra-aortic balloon pump, device (physical object) and Procedure site - Indirect (attribute) Aortic structure (body structure)

Clinical equipment and/or device (physical object) is a subclass of Device (physical object)

Removal of electronic heart device (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical removal - action (qualifier value) and Direct device (attribute) Biomedical equipment (physical object) and Procedure site - Indirect (attribute) Heart structure (body structure)

Serum immunoglobulin G fluorescent immunoassay anti-neutrophil cytoplasmic antibody measurement (procedure) is equivalent to Antineutrophil cytoplasmic antibody measurement (procedure) that Role group (attribute) something that Has specimen (attribute) Serum specimen (specimen) and something that Component (attribute) Anti neutrophilic cytoplasm antibody - immunoglobulin G (substance)

Biomedical equipment (physical object) is a subclass of Clinical equipment and/or device (physical object)

Removal of intra-aortic balloon with repair of aorta with graft (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical removal - action (qualifier value) and Direct device (attribute) Intra-aortic balloon pump, device (physical object) and Procedure site - Indirect (attribute) Aortic structure (body structure) and  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Aortic structure (body structure) and Using substance (attribute) Arterial graft material (substance)

Cardioassist by aortic balloon pump (procedure) is a subclass of Cardioassist (procedure)

Intraaortic balloon pump maintenance (procedure) is a subclass of Maintenance of invasive device (procedure) that Role group (attribute)  something that Method (attribute) Maintenance - action (qualifier value) and Direct device (attribute) Intra-aortic balloon pump, device (physical object)

Removal of intra-aortic balloon with repair of aorta (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical removal - action (qualifier value) and Direct device (attribute) Intra-aortic balloon pump, device (physical object) and Procedure site - Indirect (attribute) Aortic structure (body structure) and  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Aortic structure (body structure)

Removal of external immobilization device (procedure) is a subclass of Removal of device (procedure)

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

Transluminal removal of intraventricular pump (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical removal - action (qualifier value) and Direct device (attribute) Intraventricular pump (physical object) and Procedure site - Indirect (attribute) Cardiac ventricular structure (body structure)


Question: Extract the minimal support axioms for the conclusion: Unable to use single consonant (finding) is a subclass of Unable to use sounds in isolation (finding)

Does not use blended sounds (finding) is a subclass of Finding related to ability to use blended sounds (finding)

Unable to use sounds in isolation (finding) is equivalent to Disturbance in speech (finding) and Finding related to ability to use sounds in isolation (finding) that Role group (attribute)  something that Has interpretation (attribute) Unable (qualifier value) and Interprets (attribute) Ability to use sounds in isolation (observable entity)

Unable to use single consonant (finding) is equivalent to Disturbance in speech (finding) and Finding related to ability to use single consonant (finding) that Role group (attribute)  something that Has interpretation (attribute) Unable (qualifier value) and Interprets (attribute) Ability to use single consonant (observable entity)

Ability to use single consonant (observable entity) is a subclass of Ability to use sounds in isolation (observable entity)

Limited enunciation (finding) is a subclass of Finding of intelligibility of articulation (finding)

Spirometry for bronchospasm with prolonged evaluation after bronchodilator (procedure) is a subclass of Spirometry for bronchospasm with prolonged evaluation (procedure)

Finding related to ability to use single consonant (finding) is equivalent to Finding related to ability to use sounds in isolation (finding) that Role group (attribute) something that Interprets (attribute) Ability to use single consonant (observable entity)

Final consonant deletion (finding) is a subclass of Speech finding (finding)


Question: Extract the minimal support axioms for the conclusion: Lichenoid epidermal nevus (disorder) is a subclass of Inflammatory epidermal nevus (disorder)

Motor vehicle traffic accident involving collision with another motor vehicle, abandoned on highway, motor cyclist injured (event) is a subclass of Motor vehicle on road in collision with abandoned motor vehicle (event)

Inflammatory epidermal nevus (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory epidermal nevus (morphologic abnormality) and Finding site (attribute) Skin structure (body structure)

Lichenoid epidermal nevus (disorder) is a subclass of Lichen (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory epidermal nevus (morphologic abnormality) and Finding site (attribute) Skin structure (body structure)

Inflammatory linear verrucous epidermal nevus (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory epidermal nevus (morphologic abnormality) and Finding site (attribute) Skin structure (body structure)

Interface dermatitis, lichenoid type (disorder) is a subclass of Lichen simplex chronicus (disorder) and Interface dermatitis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Lichenoid inflammation (morphologic abnormality) and Finding site (attribute) Skin structure (body structure)

Inflammatory epidermal nevus (morphologic abnormality) is a subclass of Epidermal nevus (morphologic abnormality)

Eczema (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Skin structure (body structure)

Lichen (disorder) is a subclass of Eczema (disorder) that Role group (attribute)  something that Associated morphology (attribute) Lichenification (morphologic abnormality) and Finding site (attribute) Skin structure (body structure) and something that Due to (attribute) Itching of skin (finding)


Question: Extract the minimal support axioms for the conclusion: Repair of urethrovaginal fistula (procedure) is a subclass of Closure of urethral fistula (procedure)

Closure of acquired urethrovaginal fistula (procedure) is equivalent to Reparative closure (procedure) that Role group (attribute)  something that Method (attribute) Closure - action (qualifier value) and Direct morphology (attribute) Acquired fistula (morphologic abnormality) and Procedure site - Direct (attribute) Female urethral structure (body structure) and  something that Method (attribute) Closure - action (qualifier value) and Direct morphology (attribute) Acquired fistula (morphologic abnormality) and Procedure site - Direct (attribute) Vaginal structure (body structure)

Procedure on urethra (procedure) is equivalent to Procedure on urinary system (procedure) that Role group (attribute) something that Procedure site (attribute) Urethral structure (body structure)

Operation on urethra (procedure) is equivalent to Procedure on urethra (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Urethral structure (body structure)

Surgical closure of shunt (procedure) is a subclass of Reparative closure (procedure)

Closure of urethroscrotal fistula (procedure) is equivalent to Closure of urethral fistula in male (procedure) that Role group (attribute)  something that Method (attribute) Closure - action (qualifier value) and Direct morphology (attribute) Fistula (morphologic abnormality) and Procedure site - Direct (attribute) Scrotal structure (body structure) and  something that Method (attribute) Closure - action (qualifier value) and Direct morphology (attribute) Fistula (morphologic abnormality) and Procedure site - Direct (attribute) Male urethral structure (body structure)

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

Closure of urethral fistula (procedure) is equivalent to Reparative closure (procedure) and Operation on urethra (procedure) that Role group (attribute)  something that Method (attribute) Closure - action (qualifier value) and Direct morphology (attribute) Fistula (morphologic abnormality) and Procedure site - Direct (attribute) Urethral structure (body structure)

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

Closure of urethral fistula in male (procedure) is equivalent to Repair of male urethra (procedure) and Closure of urethral fistula (procedure) that Role group (attribute)  something that Method (attribute) Closure - action (qualifier value) and Direct morphology (attribute) Fistula (morphologic abnormality) and Procedure site - Direct (attribute) Male urethral structure (body structure)

Repair of vesicourethrorectal fistula (procedure) is equivalent to Repair of fistula involving bladder and intestine (procedure) and Closure of urethral fistula (procedure) that Role group (attribute)  something that Method (attribute) Closure - action (qualifier value) and Direct morphology (attribute) Fistula (morphologic abnormality) and Procedure site - Direct (attribute) Urethral structure (body structure) and  something that Method (attribute) Closure - action (qualifier value) and Direct morphology (attribute) Fistula (morphologic abnormality) and Procedure site - Direct (attribute) Rectum structure (body structure) and  something that Method (attribute) Closure - action (qualifier value) and Direct morphology (attribute) Fistula (morphologic abnormality) and Procedure site - Direct (attribute) Urinary bladder structure (body structure)

Repair of perineourethroscrotal fistula (procedure) is a subclass of Closure of urethroscrotal fistula (procedure) that Role group (attribute)  something that Method (attribute) Closure - action (qualifier value) and Direct morphology (attribute) Fistula (morphologic abnormality) and Procedure site - Direct (attribute) Male urethral structure (body structure)

Procedure by site (procedure) is equivalent to Procedure (procedure) that Role group (attribute) something that Procedure site (attribute) Anatomical or acquired body structure (body structure)

Procedure on urinary system (procedure) is equivalent to Procedure by site (procedure) that Role group (attribute) something that Procedure site (attribute) Urinary system structure (body structure)

Closure of abdominouterine fistula (procedure) is a subclass of Closure of fistula of uterus (procedure)

Formation of urethrovaginal fistula (procedure) is a subclass of Construction of shunt (procedure) that Role group (attribute)  something that Method (attribute) Bypass - action (qualifier value) and Procedure site - Direct (attribute) Female urethral structure (body structure) and  something that Method (attribute) Bypass - action (qualifier value) and Procedure site - Direct (attribute) Vaginal structure (body structure)

Anastomotic urethroplasty (procedure) is a subclass of Reconstruction of urethra (procedure)

Repair of urethrovaginal fistula (procedure) is equivalent to Procedure on urethra (procedure) that Role group (attribute)  something that Method (attribute) Closure - action (qualifier value) and Direct morphology (attribute) Fistula (morphologic abnormality) and Procedure site - Direct (attribute) Urethral structure (body structure) and  something that Method (attribute) Closure - action (qualifier value) and Direct morphology (attribute) Fistula (morphologic abnormality) and Procedure site - Direct (attribute) Vaginal structure (body structure)

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

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

Repair of congenital anovaginal fistula with cut-back type procedure (procedure) is a subclass of Closure of congenital anovaginal fistula (procedure)


Question: Extract the minimal support axioms for the conclusion: Paraprosthetic tricuspid regurgitation (disorder) is a subclass of Tricuspid valve disorder (disorder)

Severe tricuspid valve regurgitation (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Valvular insufficiency (morphologic abnormality) and Finding site (attribute) Tricuspid valve structure (body structure) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Cardiac function (observable entity)

Mechanical complication of nervous system implant (disorder) is equivalent to Mechanical complication of nervous system device, implant AND/OR graft (disorder) that Role group (attribute) something that Associated with (attribute) Nervous system implant (physical object)

Tricuspid valve disorder (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Finding site (attribute) Tricuspid valve structure (body structure)

Mechanical complication of device (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Associated with (attribute) Device (physical object)

Functional tricuspid regurgitation (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Valvular insufficiency (morphologic abnormality) and Finding site (attribute) Tricuspid valve structure (body structure) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Cardiac function (observable entity)

Prosthetic cardiac paravalvular leak (disorder) is a subclass of Mechanical complication of heart valve prosthesis (disorder) that Role group (attribute) something that After (attribute) Implantation of heart valve prosthesis or synthetic device (procedure) and something that Finding site (attribute) Cardiac valve structure (body structure) and something that Associated with (attribute) Cardiac valve prosthesis (physical object)

Paraprosthetic pulmonary regurgitation (disorder) is a subclass of Prosthetic cardiac paravalvular leak (disorder) that Role group (attribute) something that Finding site (attribute) Pulmonary valve structure (body structure)

Paraprosthetic tricuspid regurgitation (disorder) is a subclass of Prosthetic cardiac paravalvular leak (disorder) that Role group (attribute) something that Finding site (attribute) Tricuspid valve structure (body structure)

Paraprosthetic mitral regurgitation (disorder) is a subclass of Prosthetic cardiac paravalvular leak (disorder) that Role group (attribute) something that Finding site (attribute) Mitral valve structure (body structure)

Mechanical complication of heart valve prosthesis (disorder) is equivalent to Mechanical complication of device (disorder) that Role group (attribute) something that After (attribute) Implantation of heart valve prosthesis or synthetic device (procedure) and something that Finding site (attribute) Cardiac valve structure (body structure) and something that Associated with (attribute) Cardiac valve prosthesis (physical object)


Question: Extract the minimal support axioms for the conclusion: Assimilation pelvis (disorder) is a subclass of Congenital anomaly of pelvic bones (disorder)

Infantile pelvis (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Deformity (morphologic abnormality) and Finding site (attribute) Structure of innominate bone and/or sacrum and/or coccyx (body structure)

Congenital pelvic obliquity (disorder) is a subclass of Pelvic obliquity (disorder) that Role group (attribute)  something that Associated morphology (attribute) Misalignment (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of innominate bone and/or sacrum and/or coccyx (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Assimilation pelvis (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Congenital abnormal fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of innominate bone and/or sacrum and/or coccyx (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Congenital anomaly of pelvic bones (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 innominate bone and/or sacrum and/or coccyx (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

High assimilation pelvis (disorder) is equivalent to Assimilation pelvis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Congenital abnormal fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of transverse process of fifth lumbar vertebra (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Congenital abnormal fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of sacrum (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Congenital contracted pelvis (disorder) is equivalent to Disorder of pelvic size and disproportion (disorder) that Role group (attribute)  something that Associated morphology (attribute) Deformity (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of innominate bone and/or sacrum and/or coccyx (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Has interpretation (attribute) Below reference range (qualifier value) and Interprets (attribute) Size of pelvis (observable entity)

Low assimilation pelvis (disorder) is equivalent to Assimilation pelvis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Congenital abnormal fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of sacrum (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Congenital abnormal fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure of coccyx (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Congenital abnormal fusion (morphologic abnormality) is a subclass of Fused structure (morphologic abnormality)

Lesion (morphologic abnormality) is a subclass of Morphologically abnormal structure (morphologic abnormality)

Fused structure (morphologic abnormality) is a subclass of Lesion (morphologic abnormality)


Question: Extract the minimal support axioms for the conclusion: Relapsing polychondritis (disorder) is a subclass of Chronic disease of immune function (disorder)

Hyperproteinemia (disorder) is a subclass of Disease (disorder)

Relapsing course (qualifier value) is a subclass of Intermittent (qualifier value)

Intermittent (qualifier value) is a subclass of Chronic (qualifier value)

Immune dysregulation, inflammatory bowel disease, arthritis, recurrent infection, lymphopenia syndrome (disorder) is a subclass of Lymphocytopenia (disorder) and Primary immune deficiency disorder (disorder) and Autosomal recessive hereditary disorder (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Intestinal structure (body structure) and Pathological process (attribute) Autoimmune process (qualifier value) and  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Joint structure of multiple body sites (body structure) and Pathological process (attribute) Autoimmune process (qualifier value) and  something that Has interpretation (attribute) Below reference range (qualifier value) and Interprets (attribute) Lymphocyte count (procedure) and something that Clinical course (attribute) Recurrent (qualifier value) and something that Pathological process (attribute) Infectious process (qualifier value)

Chronic follicular pharyngitis (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) Pharyngeal structure (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Relapsing polychondritis (disorder) is equivalent to Systemic disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malacia (morphologic abnormality) and Finding site (attribute) Structure of articular cartilage (body structure) and Pathological process (attribute) Autoimmune process (qualifier value) and  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Cartilage structure (body structure) and Pathological process (attribute) Autoimmune process (qualifier value) and something that Clinical course (attribute) Relapsing course (qualifier value)

Chronic infective polyarthritis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) Joint structure of multiple body sites (body structure) and Pathological process (attribute) Infectious process (qualifier value) and something that Clinical course (attribute) Chronic (qualifier value)

Autoimmune pancytopenia (disorder) is a subclass of Pancytopenia (disorder) and Autoimmune disease (disorder)

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

Autoimmune process (qualifier value) is a subclass of Abnormal immune process (qualifier value)

Relapsing polychondritis of larynx (disorder) is equivalent to Systemic disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malacia (morphologic abnormality) and Finding site (attribute) Structure of articular cartilage (body structure) and Pathological process (attribute) Autoimmune process (qualifier value) and  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Laryngeal cartilage structure (body structure) and Pathological process (attribute) Autoimmune process (qualifier value) and something that Clinical course (attribute) Relapsing course (qualifier value)

Chronic disease of immune function (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Clinical course (attribute) Chronic (qualifier value) and something that Pathological process (attribute) Abnormal immune process (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Smooth muscle antibodies not detected (finding) is a subclass of Not detected by measurement (finding)

Autoimmune reaction mediated by antibody to tissue element without complement (finding) is a subclass of Autoimmune reaction (finding)

Smooth muscle immunoglobulin M antibody measurement (procedure) is a subclass of Smooth muscle antibody measurement (procedure)

Smooth muscle immunoglobulin A antibody measurement (procedure) is a subclass of Smooth muscle antibody measurement (procedure)

Irregular blood group antibody not detected (finding) is a subclass of Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Not detected (qualifier value) and Interprets (attribute) Antibody measurement (procedure)

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

Autoantibody measurement (procedure) is equivalent to Antibody measurement (procedure) that Role group (attribute) something that Component (attribute) Autoantibody (substance)

In-vitro immunologic test (procedure) is a subclass of Laboratory test (procedure) that Role group (attribute) something that Component (attribute) Immunologic substance (substance) and something that Method (attribute) Evaluation - action (qualifier value)

Lupus antibody present (finding) is a subclass of Evaluation finding (finding)

Smooth muscle antibody (substance) is a subclass of Non-organ specific antibody (substance) and Autoantibody (substance)

Smooth muscle antibody measurement (procedure) is equivalent to Autoantibody measurement (procedure) and Antibody to tissue specific antigen measurement (procedure) that Role group (attribute) something that Component (attribute) Smooth muscle antibody (substance)

Smooth muscle antibodies weakly detected (finding) is a subclass of Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Detected (qualifier value) and Interprets (attribute) Smooth muscle antibody measurement (procedure)

Smooth muscle antibodies detected (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Detected (qualifier value) and Interprets (attribute) Smooth muscle antibody measurement (procedure)

Not detected by measurement (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Not detected (qualifier value) and Interprets (attribute) Measurement procedure (procedure)

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

Smooth muscle antibodies not detected (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Not detected (qualifier value) and Interprets (attribute) Smooth muscle antibody measurement (procedure)

Laboratory test (procedure) is a subclass of Laboratory procedure (procedure) and Evaluation procedure (procedure)


Question: Extract the minimal support axioms for the conclusion: Needle stick injury of elbow (disorder) is a subclass of Needle stick injury of upper limb (disorder)

Needle stick injury of upper limb (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Puncture (morphologic abnormality) and Causative agent (attribute) Needle, device (physical object) and Finding site (attribute) Upper limb structure (body structure) and something that Due to (attribute) Accident caused by needle (event)

Small head (finding) is a subclass of Finding of size of the head (finding)

Needle stick injury of shoulder (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Puncture (morphologic abnormality) and Causative agent (attribute) Needle, device (physical object) and Finding site (attribute) Shoulder region structure (body structure) and something that Due to (attribute) Accident caused by needle (event)

Needle stick injury with clean needle (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Puncture (morphologic abnormality) and Causative agent (attribute) Needle, device (physical object) and something that Due to (attribute) Accident caused by needle (event)

Structure of region of upper extremity (body structure) is a subclass of Upper extremity part (body structure)

Elbow region structure (body structure) is a subclass of Structure of joint region (body structure) and Structure of free upper limb (body structure)

Structure of free upper limb (body structure) is a subclass of Structure of region of upper extremity (body structure)

Needle stick injury of upper arm (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Puncture (morphologic abnormality) and Causative agent (attribute) Needle, device (physical object) and Finding site (attribute) Structure of upper extremity between shoulder and elbow (body structure) and something that Due to (attribute) Accident caused by needle (event)

Upper extremity part (body structure) is a subclass of Extremity part (body structure) and Upper limb structure (body structure) and Upper body part structure (body structure)

Needle stick injury of elbow (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Puncture (morphologic abnormality) and Causative agent (attribute) Needle, device (physical object) and Finding site (attribute) Elbow region structure (body structure) and something that Due to (attribute) Accident caused by needle (event)

Needle stick injury of forearm (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Puncture (morphologic abnormality) and Causative agent (attribute) Needle, device (physical object) and Finding site (attribute) Forearm structure (body structure) and something that Due to (attribute) Accident caused by needle (event)

Needle stick injury with contaminated needle (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Puncture (morphologic abnormality) and Causative agent (attribute) Needle, device (physical object) and something that Due to (attribute) Accident caused by needle (event)


Question: Extract the minimal support axioms for the conclusion: Open fracture of distal phalanx of ring finger (disorder) is a subclass of Open fracture of phalanx of ring finger (disorder)

Open fracture of phalanx of ring finger (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 phalanx of ring finger (body structure) and something that Due to (attribute) Traumatic event (event)

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

Open fracture of distal phalanx of left ring finger (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture, open (morphologic abnormality) and Finding site (attribute) Bone structure of distal phalanx of left ring finger (body structure) and something that Due to (attribute) Traumatic event (event)

Open fracture of distal phalanx of right ring finger (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture, open (morphologic abnormality) and Finding site (attribute) Bone structure of distal phalanx of right ring finger (body structure) and something that Due to (attribute) Traumatic event (event)

Open fracture of distal phalanx of ring finger (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 distal phalanx of ring finger (body structure) and something that Due to (attribute) Traumatic event (event)

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


Question: Extract the minimal support axioms for the conclusion: Open spinal fracture with anterior thoracic cord lesion, T1-6 (disorder) is a subclass of Open fracture of T1-T6 level with spinal cord injury (disorder)

Open spinal fracture with anterior thoracic cord lesion, T1-6 (disorder) is a subclass of Incomplete spinal cord injury (disorder) that Role group (attribute)  something that Associated morphology (attribute) Damage (morphologic abnormality) and Finding site (attribute) Structure of upper thoracic spinal cord (body structure) and  something that Associated morphology (attribute) Fracture, open (morphologic abnormality) and Finding site (attribute) Bone structure of T1-T6 (body structure) and something that Due to (attribute) Traumatic event (event)

Open fracture of T1-T6 level with spinal cord injury (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Damage (morphologic abnormality) and Finding site (attribute) Structure of upper thoracic spinal cord (body structure) and  something that Associated morphology (attribute) Fracture, open (morphologic abnormality) and Finding site (attribute) Bone structure of T1-T6 (body structure) and something that Due to (attribute) Traumatic event (event)

Open spinal fracture with complete thoracic cord lesion, T1-6 (disorder) is equivalent to Complete spinal cord injury (disorder) that Role group (attribute)  something that Associated morphology (attribute) Damage (morphologic abnormality) and Finding site (attribute) Structure of upper thoracic spinal cord (body structure) and  something that Associated morphology (attribute) Fracture, open (morphologic abnormality) and Finding site (attribute) Bone structure of T1-T6 (body structure) and something that Due to (attribute) Traumatic event (event)

Incomplete spinal cord injury (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Damage (morphologic abnormality) and Finding site (attribute) Spinal cord structure (body structure)

Open spinal fracture with posterior thoracic cord lesion, T1-6 (disorder) is a subclass of Incomplete spinal cord injury (disorder) that Role group (attribute)  something that Associated morphology (attribute) Damage (morphologic abnormality) and Finding site (attribute) Structure of upper thoracic spinal cord (body structure) and  something that Associated morphology (attribute) Fracture, open (morphologic abnormality) and Finding site (attribute) Bone structure of T1-T6 (body structure) and something that Due to (attribute) Traumatic event (event)

Closed spinal fracture with anterior thoracic cord lesion, T1-6 (disorder) is a subclass of Incomplete spinal cord injury (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture, closed (morphologic abnormality) and Finding site (attribute) Bone structure of T1-T6 (body structure) and  something that Associated morphology (attribute) Damage (morphologic abnormality) and Finding site (attribute) Structure of upper thoracic spinal cord (body structure) and something that Due to (attribute) Traumatic event (event)


Question: Extract the minimal support axioms for the conclusion: Thrombophlebitis of bilateral deep femoral veins (disorder) is a subclass of Thrombophlebitis of deep femoral vein (disorder)

Thrombophlebitis of deep femoral vein (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory thrombosis (morphologic abnormality) and Finding site (attribute) Structure of profunda femoris vein (body structure)

Acute deep vein thrombosis of bilateral femoral veins (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Thrombus (morphologic abnormality) and Finding site (attribute) Structure of right profunda femoris vein (body structure) and  something that Associated morphology (attribute) Thrombus (morphologic abnormality) and Finding site (attribute) Structure of left profunda femoris vein (body structure) and something that Clinical course (attribute) Sudden onset AND/OR short duration (qualifier value)

Thrombophlebitis of bilateral deep femoral veins (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory thrombosis (morphologic abnormality) and Finding site (attribute) Structure of right profunda femoris vein (body structure) and  something that Associated morphology (attribute) Inflammatory thrombosis (morphologic abnormality) and Finding site (attribute) Structure of left profunda femoris vein (body structure)

Neonatal infection of skin caused by Pseudomonas (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Causative agent (attribute) Genus Pseudomonas (organism) and Occurrence (attribute) Neonatal (qualifier value) and Finding site (attribute) Skin structure (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Thrombophlebitis of bilateral tibial veins (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory thrombosis (morphologic abnormality) and Finding site (attribute) Structure of right tibial vein (body structure) and  something that Associated morphology (attribute) Inflammatory thrombosis (morphologic abnormality) and Finding site (attribute) Structure of left tibial vein (body structure)

Structure of right profunda femoris vein (body structure) is equivalent to Structure of profunda femoris vein (body structure) that Laterality (attribute) Right (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Intestinal gangrene (disorder) is a subclass of Internal injury of abdominal organ (disorder)

Necrosis (morphologic abnormality) is a subclass of Damage (morphologic abnormality)

Intestinal structure (body structure) is a subclass of Lower gastrointestinal tract part (body structure) and Structure of intestine and/or mesentery (body structure) and Structure of organ within abdominopelvic cavity (body structure)

Gangrene (morphologic abnormality) is a subclass of Necrosis (morphologic abnormality)

Intestinal gangrene (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Gangrene (morphologic abnormality) and Finding site (attribute) Intestinal structure (body structure)

Late effect of internal injury to intra-abdominal organs (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that After (attribute) Internal injury of abdominal organ (disorder) and something that Finding site (attribute) Structure of organ within abdomen proper cavity (body structure) and something that Due to (attribute) Internal injury of abdominal organ (disorder)

Gangrene of mesentery of small intestine (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Gangrene (morphologic abnormality) and Finding site (attribute) Structure of mesentery of small intestine (body structure)

Small intestinal gangrene (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Gangrene (morphologic abnormality) and Finding site (attribute) Structure of small intestine (body structure)

Internal injury of abdominal organ (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Damage (morphologic abnormality) and Finding site (attribute) Structure of organ within abdominopelvic cavity (body structure)

Internal injury of abdominal organs without open wound into cavity (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Damage (morphologic abnormality) and Finding site (attribute) Structure of organ within abdominopelvic cavity (body structure) and something that Due to (attribute) Traumatic event (event)

Injury of multiple intra-abdominal organs (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Multiple injuries (morphologic abnormality) and Finding site (attribute) Structure of organ within abdominopelvic cavity (body structure)


Question: Extract the minimal support axioms for the conclusion: Plantar fascial fibromatosis (disorder) is a subclass of Disorder of fascia (disorder)

Fibromatosis with contracture of plantar fascia (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Focal fibromatosis (morphologic abnormality) and Finding site (attribute) Plantar fascia structure (body structure) and  something that Associated morphology (attribute) Fibrous bands (morphologic abnormality) and Finding site (attribute) Plantar fascia structure (body structure) and  something that Associated morphology (attribute) Contracture (morphologic abnormality) and Finding site (attribute) Structure of joint of toe (body structure) and  something that Associated morphology (attribute) Contracture (morphologic abnormality) and Finding site (attribute) Plantar fascia structure (body structure)

Fibromatosis of plantar fascia of left foot (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Focal fibromatosis (morphologic abnormality) and Finding site (attribute) Structure of plantar fascia of left foot (body structure)

Plantar fascia structure (body structure) is a subclass of Structure of fascia of foot (body structure) and Aponeurosis structure (body structure)

Aponeurosis structure (body structure) is a subclass of Structure of fascia (body structure)

Fibromatosis of plantar fascia of bilateral feet (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Focal fibromatosis (morphologic abnormality) and Finding site (attribute) Structure of plantar fascia of right foot (body structure) and  something that Associated morphology (attribute) Focal fibromatosis (morphologic abnormality) and Finding site (attribute) Structure of plantar fascia of left foot (body structure)

Plantar fascial fibromatosis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Focal fibromatosis (morphologic abnormality) and Finding site (attribute) Plantar fascia structure (body structure)

Disorder of fascia (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Finding site (attribute) Structure of fascia (body structure)

Fibromatosis of plantar fascia of right foot (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Focal fibromatosis (morphologic abnormality) and Finding site (attribute) Structure of plantar fascia of right foot (body structure)


Question: Extract the minimal support axioms for the conclusion: Perinatal transient vaginal bleeding (disorder) is a subclass of Acute disorder of female genital organ (disorder)

Fetal disorder due to acute hydramnios (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Occurrence (attribute) Fetal period (qualifier value) and something that Due to (attribute) Polyhydramnios (disorder)

Perinatal transient vaginal bleeding (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hemorrhage (morphologic abnormality) and Occurrence (attribute) Fetal antepartum and/or intrapartum and/or early neonatal period (qualifier value) and Finding site (attribute) Vaginal structure (body structure) and something that Clinical course (attribute) Transitory (qualifier value)

Clinical course with short duration (qualifier value) is a subclass of Sudden onset AND/OR short duration (qualifier value)

Vaginal structure (body structure) is a subclass of Female genital organ structure (body structure) and Structure of lower female genital system (body structure) and Female genital tract structure (body structure) and Structure of lower female genitourinary tract (body structure)

Non-menstrual vaginal bleeding (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hemorrhage (morphologic abnormality) and Finding site (attribute) Vaginal structure (body structure)

Transitory (qualifier value) is a subclass of Clinical course with short duration (qualifier value)

Miscarriage with laceration of vagina (disorder) is a subclass of Miscarriage complicated by damage to pelvic organs and/or tissues (disorder)

Acute disorder of female genital organ (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Clinical course (attribute) Sudden onset AND/OR short duration (qualifier value) and something that Finding site (attribute) Female genital organ structure (body structure)

Neonatal vaginal hemorrhage (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hemorrhage (morphologic abnormality) and Occurrence (attribute) Neonatal (qualifier value) and Finding site (attribute) Vaginal structure (body structure)

Vaginal bleeding complicating early pregnancy (disorder) is a subclass of Complication of pregnancy, childbirth and/or puerperium (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hemorrhage (morphologic abnormality) and Occurrence (attribute) Maternal antenatal period (qualifier value) and Finding site (attribute) Female genital tract structure (body structure)


Question: Extract the minimal support axioms for the conclusion: Exploration of external iliac artery (procedure) is a subclass of Exploration of iliac artery (procedure)

Structure of iliac artery (body structure) is a subclass of Structure of intra-abdominal artery (body structure) and Iliac and/or femoral artery structures (body structure) and Structure of iliac vessel (body structure) and Structure of aorta-iliac artery junction (body structure) and Structure of peripheral artery (body structure) and Structure of artery of pelvic cross-sectional segment of trunk (body structure)

Structure of intra-abdominal artery (body structure) is a subclass of Structure of artery of abdomen (body structure)

Exploration of external iliac artery (procedure) is equivalent to Exploration of artery (procedure) that Role group (attribute)  something that Method (attribute) Exploration - action (qualifier value) and Procedure site - Direct (attribute) Structure of external iliac artery (body structure)

Exploration of abdominal artery (procedure) is equivalent to Exploration of artery (procedure) that Role group (attribute)  something that Method (attribute) Exploration - action (qualifier value) and Procedure site - Direct (attribute) Structure of artery of abdomen (body structure)

Bypass of iliac artery by anastomosis of iliac artery to iliac artery (procedure) is a subclass of Iliac artery bypass (procedure)

Percutaneous thrombolysis of external iliac artery (procedure) is a subclass of Percutaneous thrombolysis of iliac artery (procedure) that Role group (attribute)  something that Method (attribute) Destruction - action (qualifier value) and Direct morphology (attribute) Thrombus (morphologic abnormality) and Procedure site - Indirect (attribute) Structure of external iliac artery (body structure) and Using substance (attribute) Thrombolytic agent (substance)

Exploration of artery with inspection only (procedure) is a subclass of Exploration of artery (procedure)

Entire branch of external iliac artery (body structure) is a subclass of Structure of branch of external iliac artery (body structure)

Structure of external iliac artery (body structure) is a subclass of Structure of iliac artery (body structure) and Structure of artery of pelvic region (body structure) and Structure of branch of common iliac artery (body structure)

Bypass of iliac artery by anastomosis of aorta to external iliac artery (procedure) is a subclass of Iliac artery bypass (procedure)

Percutaneous transluminal embolectomy of iliac artery (procedure) is a subclass of Embolectomy of iliac artery (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Surgical removal - action (qualifier value) and Direct morphology (attribute) Embolus (morphologic abnormality) and Procedure site - Indirect (attribute) Structure of iliac artery (body structure)

Exploration of iliac artery (procedure) is equivalent to Exploration of abdominal artery (procedure) that Role group (attribute)  something that Method (attribute) Exploration - action (qualifier value) and Procedure site - Direct (attribute) Structure of iliac artery (body structure)


Question: Extract the minimal support axioms for the conclusion: Does skip (finding) is a subclass of Does move (finding)

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

Finding related to ability to skip (finding) is equivalent to Finding related to ability to move (finding) that Role group (attribute) something that Interprets (attribute) Ability to skip (observable entity)

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

Flail motion (finding) is a subclass of Finding of movement (finding)

Attacks of floppiness (finding) is a subclass of Finding of movement (finding)

Ability to skip (observable entity) is a subclass of Ability to move (observable entity)

Abnormal movement (finding) is a subclass of Finding of movement (finding)

Cannot get about (finding) is a subclass of General difficulty in moving (finding)


Question: Extract the minimal support axioms for the conclusion: Open injury sciatic nerve (disorder) is a subclass of Injury of sciatic nerve (disorder)

Injury of sciatic nerve (disorder) is equivalent to Traumatic or non-traumatic injury (disorder) that Role group (attribute) something that Finding site (attribute) Structure of sciatic nerve (body structure)

Open injury of nerve (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Open wound (morphologic abnormality) and Finding site (attribute) Nerve structure (body structure) and something that Due to (attribute) Traumatic event (event)

Open injury sciatic nerve (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Open wound (morphologic abnormality) and Finding site (attribute) Structure of sciatic nerve (body structure) and something that Due to (attribute) Traumatic event (event)

Closed injury sciatic nerve (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Wound, closed (morphologic abnormality) and Finding site (attribute) Structure of sciatic nerve (body structure) and something that Due to (attribute) Traumatic event (event)

Open injury femoral nerve (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Open wound (morphologic abnormality) and Finding site (attribute) Structure of femoral nerve (body structure) and something that Due to (attribute) Traumatic event (event)

Disease (disorder) that Role group (attribute) something that Due to (attribute) Traumatic event (event) is a subclass of Traumatic or non-traumatic injury (disorder)


Question: Extract the minimal support axioms for the conclusion: Tissue specimen from endometrium (specimen) is a subclass of Tissue specimen from uterus (specimen)

Specimen from endometrium obtained by hysterectomy (specimen) is equivalent to Tissue specimen from endometrium (specimen) that Role group (attribute)  something that Specimen source topography (attribute) Endometrial structure (body structure) and Specimen procedure (attribute) Hysterectomy (procedure) and Specimen substance (attribute) Body tissue material (substance)

Tissue specimen from uterus obtained by curettage (specimen) is equivalent to Specimen (specimen) that Role group (attribute)  something that Specimen source topography (attribute) Uterine structure (body structure) and Specimen procedure (attribute) Curettage of uterus (procedure) and Specimen substance (attribute) Body tissue material (substance)

Tissue specimen from uterus (specimen) is equivalent to Specimen (specimen) that Role group (attribute)  something that Specimen source topography (attribute) Uterine structure (body structure) and Specimen substance (attribute) Body tissue material (substance)

Specimen from endometrium obtained by biopsy (specimen) is equivalent to Specimen from endometrium (specimen) that Role group (attribute)  something that Specimen source topography (attribute) Endometrial structure (body structure) and Specimen procedure (attribute) Endometrial biopsy (procedure)

Therapy outcome measure impairment scale (assessment scale) is a subclass of Therapy outcome measure (assessment scale)

Tissue specimen from ectopic pregnancy (specimen) is a subclass of Tissue specimen (specimen)

Endometrial structure (body structure) is a subclass of Structure of layer of uterine wall (body structure)

Specimen from endometrium (specimen) is equivalent to Specimen from uterus (specimen) that Role group (attribute) something that Specimen source topography (attribute) Endometrial structure (body structure)

Tissue specimen from endometrium (specimen) is equivalent to Specimen from endometrium (specimen) that Role group (attribute)  something that Specimen source topography (attribute) Endometrial structure (body structure) and Specimen substance (attribute) Body tissue material (substance)

Specimen from uterus (specimen) is equivalent to Specimen (specimen) that Role group (attribute) something that Specimen source topography (attribute) Uterine structure (body structure)

Body of uterus structure (body structure) is a subclass of Uterus part (body structure) and Structure of upper female genitourinary tract (body structure) and Structure of upper female genital system (body structure)

Specimen with abnormal presence of endometrial cells (finding) is a subclass of Histopathology finding (finding)

Uterus part (body structure) is a subclass of Female genital organ part (body structure) and Uterine structure (body structure)

Specimen from endometrium obtained by curettage (specimen) is equivalent to Tissue specimen from endometrium (specimen) that Role group (attribute)  something that Specimen source topography (attribute) Endometrial structure (body structure) and Specimen procedure (attribute) Curettage (procedure) and Specimen substance (attribute) Body tissue material (substance)

Vascular resistance (observable entity) is a subclass of Arterial measure (observable entity)

Structure of uterine wall (body structure) is a subclass of Body of uterus structure (body structure)

Specimen from endometrium obtained by radical hysterectomy (specimen) is equivalent to Specimen from endometrium obtained by hysterectomy (specimen) that Role group (attribute)  something that Specimen source topography (attribute) Endometrial structure (body structure) and Specimen procedure (attribute) Radical hysterectomy (procedure) and Specimen substance (attribute) Body tissue material (substance)

Structure of layer of uterine wall (body structure) is a subclass of Structure of uterine wall (body structure)