Question: Extract the minimal support axioms for the conclusion: Fracture of bone adjacent to right shoulder joint prosthesis (disorder) is a subclass of Injury of right shoulder (disorder)

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

Bone structure of shoulder girdle and/or proximal humerus (body structure) is a subclass of Shoulder region structure (body structure) and Bone structure of upper limb (body structure)

Structure of right shoulder region (body structure) is equivalent to Shoulder region structure (body structure) that Laterality (attribute) Right (qualifier value)

Breakage of shoulder joint prosthesis (disorder) is equivalent to Breakage of joint prosthesis (disorder) that Role group (attribute) something that After (attribute) Prosthetic arthroplasty of shoulder (procedure) and something that Associated with (attribute) Shoulder joint prosthesis (physical object)

Subluxation of glenohumeral joint prosthesis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Dislocation, incomplete (morphologic abnormality) and Finding site (attribute) Glenohumeral joint structure (body structure) and something that After (attribute) Prosthetic arthroplasty of shoulder (procedure) and something that Associated with (attribute) Shoulder joint prosthesis (physical object)

Fracture of bone adjacent to left shoulder joint prosthesis (disorder) is equivalent to Fracture of bone adjacent to prosthesis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture (morphologic abnormality) and Finding site (attribute) Bone structure of left shoulder girdle and/or proximal humerus (body structure) and something that After (attribute) Implantation of prosthesis into left glenohumeral joint (procedure) and something that Associated with (attribute) Shoulder joint prosthesis (physical object)

Fracture of bone adjacent to prosthesis (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture (morphologic abnormality) and Finding site (attribute) Bone structure (body structure) and something that After (attribute) Prosthetic arthroplasty of joint (procedure) and something that Associated with (attribute) Joint prosthesis, device (physical object)

Fracture of bone adjacent to right knee joint prosthesis (disorder) is equivalent to Fracture of bone adjacent to prosthesis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture (morphologic abnormality) and Finding site (attribute) Bone structure of right knee joint region (body structure) and something that After (attribute) Implantation of prosthesis into right knee joint (procedure) and something that Associated with (attribute) Knee joint prosthesis, device (physical object)

Fracture of bone adjacent to prosthesis of right wrist joint (disorder) is equivalent to Fracture of bone adjacent to prosthesis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture (morphologic abnormality) and Finding site (attribute) Structure of bone of right wrist region (body structure) and something that After (attribute) Implantation of prosthesis into joint of right wrist (procedure) and something that Associated with (attribute) Joint prosthesis, device (physical object)

Bone structure of right shoulder girdle and/or proximal humerus (body structure) is equivalent to Bone structure of shoulder girdle and/or proximal humerus (body structure) that Laterality (attribute) Right (qualifier value)

Fracture of bone adjacent to shoulder joint prosthesis (disorder) is equivalent to Fracture of bone adjacent to prosthesis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture (morphologic abnormality) and Finding site (attribute) Bone structure of shoulder girdle and/or proximal humerus (body structure) and something that After (attribute) Prosthetic arthroplasty of shoulder (procedure) and something that Associated with (attribute) Shoulder joint prosthesis (physical object)

Fracture (morphologic abnormality) is a subclass of Damage (morphologic abnormality) and Mechanical lesion (morphologic abnormality)

Fracture of bone adjacent to right shoulder joint prosthesis (disorder) is equivalent to Fracture of bone adjacent to prosthesis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture (morphologic abnormality) and Finding site (attribute) Bone structure of right shoulder girdle and/or proximal humerus (body structure) and something that After (attribute) Implantation of prosthesis into right glenohumeral joint (procedure) and something that Associated with (attribute) Shoulder joint prosthesis (physical object)

Fracture of bone adjacent to prosthesis of wrist joint (disorder) is equivalent to Fracture of bone adjacent to prosthesis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture (morphologic abnormality) and Finding site (attribute) Bone structure of wrist region (body structure) and something that After (attribute) Implantation of joint prosthesis into wrist joint (procedure) and something that Associated with (attribute) Joint prosthesis, device (physical object)

Disease (disorder) that Role group (attribute) something that Associated morphology (attribute) Damage (morphologic abnormality) is a subclass of Traumatic or non-traumatic injury (disorder)

Fracture of bone adjacent to right ankle joint prosthesis (disorder) is equivalent to Fracture of bone adjacent to prosthesis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture (morphologic abnormality) and Finding site (attribute) Bone structure of right ankle joint region (body structure) and something that After (attribute) Implantation of prosthesis into joint of right ankle (procedure) and something that Associated with (attribute) Implantable ankle prosthesis (physical object)


Question: Extract the minimal support axioms for the conclusion: Chronic perichondritis of right external ear (disorder) is a subclass of Perichondritis of right external ear (disorder)

Chronic perichondritis of pinna (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) Auricular cartilage structure (body structure) and  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of perichondrium (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Anatomical structure (body structure) that Laterality (attribute) Side (qualifier value) is a subclass of Structure of half of body lateral to midsagittal plane (body structure)

Structure of perichondrium of ear (body structure) is a subclass of Auricular cartilage structure (body structure) and Structure of perichondrium (body structure)

Auricular region structure (body structure) is a subclass of Structure of auriculotemporal region (body structure)

Chronic otitis externa of right external auditory canal caused by fungus (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Causative agent (attribute) Kingdom Fungi (organism) and Finding site (attribute) Right external auditory canal structure (body structure) and Pathological process (attribute) Infectious process (qualifier value) and something that Clinical course (attribute) Chronic (qualifier value)

Chronic inflammatory morphology (morphologic abnormality) is a subclass of Inflammatory morphology (morphologic abnormality)

Chronic perichondritis of bilateral external ears (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of perichondrium of left ear (body structure) and  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of perichondrium of right ear (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Chondritis of left external ear (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of auricular cartilage of left ear (body structure)

Chronic otitis externa of right external auditory canal (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) Right external auditory canal structure (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Total excision of lesion of meninges (procedure) is a subclass of Excision of lesion of meninges (procedure)

Acute perichondritis of pinna (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Acute inflammation (morphologic abnormality) and Finding site (attribute) Auricular cartilage structure (body structure) and  something that Associated morphology (attribute) Acute inflammation (morphologic abnormality) and Finding site (attribute) Structure of perichondrium (body structure) and something that Clinical course (attribute) Sudden onset AND/OR short duration (qualifier value)

Chronic traumatic otitis externa (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) External auditory canal structure (body structure) and something that After (attribute) Traumatic event (event) and something that Clinical course (attribute) Chronic (qualifier value)

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

Perichondritis of pinna (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Auricular cartilage structure (body structure) and  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of perichondrium (body structure)

Organ part (body structure) is a subclass of Body organ structure (body structure)

External ear structure (body structure) is a subclass of Ear part (body structure)

Right external ear structure (body structure) is equivalent to Right ear structure (body structure) and External ear structure (body structure) that Laterality (attribute) Right (qualifier value)

Entire perichondrium of ear (body structure) is a subclass of Structure of perichondrium of ear (body structure)

Deafness of right ear (disorder) is a subclass of Hearing loss of right ear (disorder)

Body organ structure (body structure) is a subclass of Anatomical structure (body structure)

Chondritis of bilateral external ears (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of auricular cartilage of right ear (body structure) and  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of auricular cartilage of left ear (body structure)

Structure of auriculotemporal region (body structure) is a subclass of Structure of subregion of head (body structure) that Laterality (attribute) Side (qualifier value)

Structure of right half of body (body structure) is equivalent to Structure of half of body lateral to midsagittal plane (body structure) that Laterality (attribute) Right (qualifier value)

Hearing loss of right ear (disorder) is a subclass of Hearing loss (disorder)

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

Right ear structure (body structure) is equivalent to Ear structure (body structure) and Structure of right half of head (body structure) that Laterality (attribute) Right (qualifier value)

Chronic otitis externa (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) External auditory canal structure (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Perichondritis of right external ear (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of perichondrium (body structure) and  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Right external ear structure (body structure)

Perichondritis of left external ear (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of perichondrium (body structure) and  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Left external ear structure (body structure)

Auricular cartilage structure (body structure) is a subclass of Pinna structure (body structure) and Cartilage structure (body structure)

Perichondritis of bilateral external ears (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of perichondrium of left ear (body structure) and  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of perichondrium of right ear (body structure)

Structure of perichondrium of right ear (body structure) is equivalent to Structure of perichondrium of ear (body structure) that Laterality (attribute) Right (qualifier value)

Structure of right half of head (body structure) is equivalent to Structure of half of head lateral to midsagittal plane (body structure) and Structure of right half of body (body structure) that Laterality (attribute) Right (qualifier value)

Perichondritis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of perichondrium (body structure)

Chronic perichondritis of left external ear (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of perichondrium of left ear (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Chronic perichondritis of right external ear (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of perichondrium of right ear (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Pinna structure (body structure) is a subclass of External ear part (body structure)

Chondritis of right external ear (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of auricular cartilage of right ear (body structure)

External ear part (body structure) is a subclass of External ear structure (body structure)

Structure of half of head lateral to midsagittal plane (body structure) is equivalent to Structure of subregion of head (body structure) that Laterality (attribute) Side (qualifier value)

Chronic otitis externa of left external auditory canal (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) Left external auditory canal structure (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Ear structure (body structure) is a subclass of Structure of peripheral auditory system (body structure) and Structure of sensory organ (body structure) and Structure of ear, nose, and/or throat (body structure) and Auricular region structure (body structure)


Question: Extract the minimal support axioms for the conclusion: Vascular disorder of intestine (disorder) is a subclass of Vascular disease of abdomen (disorder)

Vascular disorder of small intestine (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Finding site (attribute) Structure of blood vessel within small intestine (body structure)

Vascular disease of abdomen (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Finding site (attribute) Structure of blood vessel of abdomen (body structure)

Vascular disorder of intestine (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Finding site (attribute) Structure of blood vessel of intestine (body structure)

Structure of blood vessel of intestine (body structure) is a subclass of Vascular structure of gastrointestinal tract (body structure) and Structure of intestine and/or mesentery (body structure) and Structure of blood vessel of abdomen (body structure)

Abdominal angina (disorder) is a subclass of Chronic vascular insufficiency of intestine (disorder) that Role group (attribute)  something that Associated morphology (attribute) Structural change due to ischemia (morphologic abnormality) and Finding site (attribute) Structure of blood vessel of intestine (body structure) and something that Clinical course (attribute) Chronic (qualifier value)

Vascular disorder of large intestine (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Finding site (attribute) Structure of blood vessel within large intestine (body structure)


Question: Extract the minimal support axioms for the conclusion: Family history of juvenile idiopathic arthritis (situation) is a subclass of Family history: Arthritis (situation)

Family history: Arthritis (situation) is equivalent to Family history with explicit context (situation) that Role group (attribute)  something that Associated finding (attribute) Arthritis (disorder) and Finding context (attribute) Known present (qualifier value) and Temporal context (attribute) Current or past (actual) (qualifier value) and Subject relationship context (attribute) Person in the family (person)

Umbrellabird (organism) is a subclass of Family Cotingidae (organism)

Family history of juvenile idiopathic arthritis (situation) is equivalent to Situation with explicit context (situation) that Role group (attribute)  something that Associated finding (attribute) Juvenile idiopathic arthritis (disorder) and Finding context (attribute) Known present (qualifier value) and Temporal context (attribute) Current or past (actual) (qualifier value) and Subject relationship context (attribute) Person in the family (person)

Family social history (situation) is a subclass of Family history with explicit context (situation)

Family history of nephrotic syndrome (situation) is equivalent to Family history of kidney disease (situation) that Role group (attribute)  something that Associated finding (attribute) Nephrotic syndrome (disorder) and Finding context (attribute) Known present (qualifier value) and Temporal context (attribute) Current or past (actual) (qualifier value) and Subject relationship context (attribute) Person in the family (person)

Self abuse (disorder) is a subclass of Self-induced disease (disorder)

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

Juvenile idiopathic arthritis (disorder) is a subclass of Idiopathic disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Occurrence (attribute) Childhood (qualifier value) and Finding site (attribute) Joint structure (body structure) and Pathological process (attribute) Autoimmune process (qualifier value) and something that Clinical course (attribute) Chronic (qualifier value)

Family history: Rheumatoid arthritis (situation) is equivalent to Family history with explicit context (situation) that Role group (attribute)  something that Associated finding (attribute) Rheumatoid arthritis (disorder) and Finding context (attribute) Known present (qualifier value) and Temporal context (attribute) Current or past (actual) (qualifier value) and Subject relationship context (attribute) Person in the family (person)

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

Family member on protection register (situation) is a subclass of Family social history (situation)

Family history with explicit context (situation) is equivalent to Situation with explicit context (situation) that Role group (attribute) something that Temporal context (attribute) Current or past (actual) (qualifier value) and something that Subject relationship context (attribute) Person in the family (person)

Family history: Serious disease (situation) is a subclass of Family history with explicit context (situation) that Role group (attribute)  something that Associated finding (attribute) Disease (disorder) and Finding context (attribute) Known present (qualifier value) and Temporal context (attribute) Current or past (actual) (qualifier value) and Subject relationship context (attribute) Person in the family (person)

Chronic inflammatory morphology (morphologic abnormality) is a subclass of Inflammatory morphology (morphologic abnormality)


Question: Extract the minimal support axioms for the conclusion: Cheilitis (disorder) is a subclass of Inflammatory disorder of head (disorder)

Angular cheilitis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Structure of angle of mouth (body structure)

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

Cheilosis (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fissure (morphologic abnormality) and Finding site (attribute) Lip structure (body structure)

Oral soft tissues structure (body structure) is a subclass of Mouth region part (body structure) and Structure of soft tissues of head (body structure)

Structure of soft tissues of head (body structure) is a subclass of Head part (body structure) and Structure of soft tissues of head and neck (body structure)

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

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

Granulomatous cheilitis (disorder) is a subclass of Granulomatous disorder of the skin and subcutaneous tissue (disorder) and Cheilitis (disorder) that Role group (attribute)  something that Associated morphology (attribute) Granulomatous inflammation (morphologic abnormality) and Finding site (attribute) Lip structure (body structure)

Inflammatory disorder of head (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Finding site (attribute) Head structure (body structure)

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

Angular cheilitis due to bacterial infection (disorder) is equivalent to Angular cheilitis (disorder) that Role group (attribute) something that Due to (attribute) Bacterial infectious disease (disorder)

Lip structure (body structure) is a subclass of Oral soft tissues structure (body structure) and Structure of oral region of face (body structure)


Question: Extract the minimal support axioms for the conclusion: Open fracture thoracic vertebra (disorder) is a subclass of Fracture of thoracic spine (disorder)

Open fracture thoracic vertebra, burst (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Open burst fracture (morphologic abnormality) and Finding site (attribute) Structure of body of thoracic vertebra (body structure) and something that Due to (attribute) Traumatic event (event)

Open fracture of thoracic spine 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) Thoracic spinal cord structure (body structure) and  something that Associated morphology (attribute) Fracture, open (morphologic abnormality) and Finding site (attribute) Bone structure of thoracic vertebra (body structure) and something that Due to (attribute) Traumatic event (event)

Fracture, open (morphologic abnormality) is a subclass of Open wound (morphologic abnormality) and Fracture (morphologic abnormality)

Fracture of thoracic spine (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fracture (morphologic abnormality) and Finding site (attribute) Bone structure of thoracic vertebra (body structure)

Open fracture of first thoracic vertebra (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 T1 (body structure) and something that Due to (attribute) Traumatic event (event)

Open fracture thoracic vertebra (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 thoracic vertebra (body structure) and something that Due to (attribute) Traumatic event (event)


Question: Extract the minimal support axioms for the conclusion: Occlusion of distal artery of right upper limb (disorder) is a subclass of Disorder of right upper extremity (disorder)

Xeroderma pigmentosum, group B (disorder) is a subclass of Xeroderma pigmentosum (disorder)

Critical upper limb ischemia (disorder) is a subclass of Upper limb ischemia (disorder)

Structure of artery of right upper limb (body structure) is equivalent to Structure of artery of upper limb (body structure) that Laterality (attribute) Right (qualifier value)

Occlusion of lower limb 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 artery of lower limb (body structure)

Post-radiological embolism of upper limb artery (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Embolus (morphologic abnormality) and Finding site (attribute) Structure of artery of upper limb (body structure)

Structure of right half of body (body structure) is equivalent to Structure of half of body lateral to midsagittal plane (body structure) that Laterality (attribute) Right (qualifier value)

Peripheral arterial occlusive disease (disorder) is a subclass of Peripheral arterial disease (disorder) that Role group (attribute) something that Finding site (attribute) Structure of peripheral artery (body structure)

Upper limb structure (body structure) is a subclass of Limb structure (body structure)

Occlusion of distal portion of right coronary 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 distal portion of right coronary artery (body structure)

Acute occlusion of artery of upper limb (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 artery of upper limb (body structure) and something that Clinical course (attribute) Sudden onset AND/OR short duration (qualifier value)

Cerebral ischemic stroke due to small artery occlusion (disorder) is a subclass of Ischemic stroke (disorder) that Role group (attribute) something that Finding site (attribute) Structure of cerebrum (body structure) and something that Due to (attribute) Occlusion of cerebral artery (disorder)

Acute occlusion of artery of upper limb caused by thrombus (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Occlusive thrombus (morphologic abnormality) and Finding site (attribute) Structure of artery of upper limb (body structure) and something that Clinical course (attribute) Sudden onset AND/OR short duration (qualifier value)

Occlusion of distal artery of right upper limb (disorder) is equivalent to Peripheral arterial occlusive disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Complete obstruction (morphologic abnormality) and Finding site (attribute) Structure of artery of right upper limb (body structure)

Thrombosis of artery of right upper extremity (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Thrombus (morphologic abnormality) and Finding site (attribute) Structure of artery of right upper limb (body structure)

Disorder of right upper extremity (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Finding site (attribute) Structure of right upper limb (body structure)

Occlusion of axillofemoral bypass graft (disorder) is a subclass of Occlusion of arterial bypass graft (disorder)

Occlusion of artery of upper extremity (disorder) is equivalent to Peripheral arterial occlusive disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Complete obstruction (morphologic abnormality) and Finding site (attribute) Structure of artery of upper limb (body structure)

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)

Occlusion of distal artery of left upper limb (disorder) is equivalent to Peripheral arterial occlusive disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Complete obstruction (morphologic abnormality) and Finding site (attribute) Structure of artery of left upper limb (body structure)

Structure of right upper limb (body structure) is equivalent to Upper limb structure (body structure) and Structure of right half of body (body structure) that Laterality (attribute) Right (qualifier value)

Limb structure (body structure) is a subclass of Body part structure (body structure) and Structure of half of body lateral to midsagittal plane (body structure)

Peripheral vascular disease (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Finding site (attribute) Peripheral vascular system structure (body structure)

Structure of artery of upper limb (body structure) is a subclass of Vascular structure of upper limb (body structure) and Structure of artery of limb (body structure)

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

Peripheral arterial disease (disorder) is a subclass of Peripheral vascular disease (disorder) that Role group (attribute) something that Finding site (attribute) Structure of peripheral artery (body structure)

Chronic occlusion of artery of extremity (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 artery of limb (body structure) and something that Clinical course (attribute) Chronic (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Neoplasm of facial nerve (disorder) is a subclass of Neoplasm of peripheral nerve of head AND/OR neck (disorder)

Neoplasm of peripheral nerve of head AND/OR neck (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Neoplasm (morphologic abnormality) and Finding site (attribute) Structure of peripheral nerve of head and neck (body structure)

Facial nerve structure (body structure) is a subclass of Cranial nerve structure (body structure) and Structure of peripheral nerve of head and neck (body structure)

Neoplasm of facial nerve (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Neoplasm (morphologic abnormality) and Finding site (attribute) Facial nerve structure (body structure)

Malignant neoplasm of peripheral nerves of head, face and neck (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant neoplasm (morphologic abnormality) and Finding site (attribute) Structure of peripheral nerve of head and neck (body structure)

Neoplasm of peripheral nerves of face (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Neoplasm (morphologic abnormality) and Finding site (attribute) Facial nerve structure (body structure)

Neoplasm of peripheral nerves of head (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Neoplasm (morphologic abnormality) and Finding site (attribute) Structure of peripheral nerve of head and neck (body structure)


Question: Extract the minimal support axioms for the conclusion: Finding of passive range of toe abduction (finding) is a subclass of Finding of range of toe abduction (finding)

Finding of passive range of toe abduction (finding) is equivalent to Clinical finding (finding) that Role group (attribute) something that Finding site (attribute) Structure of toe joint region (body structure) and something that Interprets (attribute) Passive range of toe abduction (observable entity)

Finding of range of toe abduction (finding) is equivalent to Clinical finding (finding) that Role group (attribute) something that Finding site (attribute) Structure of toe joint region (body structure) and something that Interprets (attribute) Range of toe abduction (observable entity)

Passive range of toe abduction (observable entity) is a subclass of Range of toe abduction (observable entity) and Range of passive joint movement (observable entity)

Decreased passive range of toe abduction (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Passive range of toe abduction (observable entity) and something that Finding site (attribute) Structure of toe joint region (body structure)

Increased passive range of toe abduction (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Increased (qualifier value) and Interprets (attribute) Passive range of toe abduction (observable entity) and something that Finding site (attribute) Structure of toe joint region (body structure)

No passive range of toe abduction (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Absent (qualifier value) and Interprets (attribute) Passive range of toe abduction (observable entity) and something that Finding site (attribute) Structure of toe joint region (body structure)


Question: Extract the minimal support axioms for the conclusion: Hand tendon recessed (situation) is a subclass of Hand tendon repaired (situation)

Black-capped sitella (organism) is a subclass of Family Sittidae (organism)

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)

Hand tendon lesion excised (situation) is equivalent to Procedure with explicit context (situation) that Role group (attribute)  something that Associated procedure (attribute) Excision of lesion of tendon of hand (procedure) and Procedure context (attribute) Done (qualifier value) and Temporal context (attribute) Current or specified time (qualifier value) and Subject relationship context (attribute) Subject of record (person)

Tendon of hand explored (situation) is equivalent to Procedure carried out on subject (situation) that Role group (attribute)  something that Associated procedure (attribute) Exploration of tendon of hand (procedure) and Procedure context (attribute) Done (qualifier value) and Temporal context (attribute) Current or specified time (qualifier value) and Subject relationship context (attribute) Subject of record (person)

Repair of tendon sheath of hand (procedure) is equivalent to Hand repair (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Structure of tendon sheath within hand (body structure)

Repair with recession (procedure) is equivalent to Surgical repair (procedure) that Role group (attribute) something that Method (attribute) Surgical recession - action (qualifier value)

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

Surgical recession - action (qualifier value) is a subclass of Surgical transfer - action (qualifier value) and Recession - action (qualifier value)

Repair of tendon of hand (procedure) is equivalent to Hand repair (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Structure of tendon within hand (body structure)

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

Recession of tendon (procedure) is equivalent to Repair with recession (procedure) that Role group (attribute)  something that Method (attribute) Surgical recession - action (qualifier value) and Procedure site - Direct (attribute) Tendon structure (body structure)

Hand repair (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Hand structure (body structure)

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

Family Bethylidae (organism) is a subclass of Superfamily Bethyloidea (organism)

Repair of extensor tendon forearm, wrist, hand (procedure) is a subclass of Repair of tendon of upper limb (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Structure of extensor tendon within forearm (body structure)

Fowler tenodesis of hand (procedure) is a subclass of Fixation of tendon of hand (procedure) that Role group (attribute)  something that Method (attribute) Anchoring - action (qualifier value) and Procedure site - Direct (attribute) Structure of tendon within hand (body structure)

Repair of multiple tendons in the flexor compartment of the forearm, wrist or hand (procedure) is a subclass of Repair of flexor tendon forearm, wrist, hand (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Structure of flexor tendon within forearm (body structure)

Repair of fascia of hand by graft of tendon (procedure) is a subclass of Repair of fascia by graft of tendon (procedure) and Repair of fascia of hand by graft (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Structure of fascia of hand (body structure)

Repair of ruptured tendon of hand (procedure) is equivalent to Repair of tendon of hand (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Direct morphology (attribute) Rupture (morphologic abnormality) and Procedure site - Direct (attribute) Structure of tendon within hand (body structure)

Structure of tendon within hand (body structure) is a subclass of Structure of tendon within wrist and/or hand (body structure) and Structure of muscle and/or tendon within hand (body structure) and Structure of tendon and/or tendon sheath within hand (body structure)

Tendon recessed (situation) is equivalent to Procedure carried out on subject (situation) that Role group (attribute)  something that Associated procedure (attribute) Recession of tendon (procedure) and Procedure context (attribute) Done (qualifier value) and Temporal context (attribute) Current or specified time (qualifier value) and Subject relationship context (attribute) Subject of record (person)

Hand tendon repaired (situation) is equivalent to Procedure with explicit context (situation) that Role group (attribute)  something that Associated procedure (attribute) Repair of tendon of hand (procedure) and Procedure context (attribute) Done (qualifier value) and Temporal context (attribute) Current or specified time (qualifier value) and Subject relationship context (attribute) Subject of record (person)

Hand tendon reattached (situation) is equivalent to Procedure with explicit context (situation) that Role group (attribute)  something that Associated procedure (attribute) Reattachment of tendon of hand (procedure) and Procedure context (attribute) Done (qualifier value) and Temporal context (attribute) Current or specified time (qualifier value) and Subject relationship context (attribute) Subject of record (person)

Repair of flexor tendon forearm, wrist, hand (procedure) is a subclass of Repair of tendon of upper limb (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Structure of flexor tendon within forearm (body structure)

Hand tendon recessed (situation) is equivalent to Procedure with explicit context (situation) that Role group (attribute)  something that Associated procedure (attribute) Recession of tendon of hand (procedure) and Procedure context (attribute) Done (qualifier value) and Temporal context (attribute) Current or specified time (qualifier value) and Subject relationship context (attribute) Subject of record (person)

Recession of tendon of hand (procedure) is equivalent to Recession of tendon (procedure) that Role group (attribute)  something that Method (attribute) Surgical recession - action (qualifier value) and Procedure site - Direct (attribute) Structure of tendon within hand (body structure)

Tendon repair by distal insertion (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Tendon structure (body structure)

Surgical transfer - action (qualifier value) is a subclass of Repair - action (qualifier value) and Transposition - action (qualifier value) and Surgical transplantation - action (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Gonococcal cystitis (disorder) is a subclass of Infection of genitourinary system caused by Neisseria gonorrhoeae (disorder)

Infection of the penile urethra caused by Neisseria gonorrhoeae (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Causative agent (attribute) Neisseria gonorrhoeae (organism) and Finding site (attribute) Structure of spongiose portion of urethra (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Disseminated infection caused by Neisseria gonorrhoeae (disorder) is a subclass of Sexually transmitted infectious disease (disorder) that Role group (attribute)  something that Causative agent (attribute) Neisseria gonorrhoeae (organism) and Pathological process (attribute) Infectious process (qualifier value)

Sexually transmitted infectious disease (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Pathological process (attribute) Infectious process (qualifier value)

Gonococcal urethritis (disorder) is equivalent to Sexually transmitted infectious disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Causative agent (attribute) Neisseria gonorrhoeae (organism) and Finding site (attribute) Urethral structure (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Urinary bladder structure (body structure) is a subclass of Structure of urinary tract in pelvic cavity (body structure) and Bladder and outflow structure (body structure) and Structure of urinary organ (body structure) and Structure of organ within cavity of true pelvis (body structure)

Gonococcal cystitis (disorder) is equivalent to Sexually transmitted infectious disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Causative agent (attribute) Neisseria gonorrhoeae (organism) and Finding site (attribute) Urinary bladder structure (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Sepsis caused by Gonococcus (disorder) is a subclass of Sepsis (disorder) that Role group (attribute) something that Causative agent (attribute) Neisseria gonorrhoeae (organism)

Structure of urinary organ (body structure) is a subclass of Structure of urinary system subdivision (body structure) and Structure of urogenital organ (body structure)

Neisseria gonorrhoeae (organism) is a subclass of Genus Neisseria (organism)

Chronic gonococcal cystitis (disorder) is equivalent to Sexually transmitted infectious disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Causative agent (attribute) Neisseria gonorrhoeae (organism) and Finding site (attribute) Urinary bladder structure (body structure) and Pathological process (attribute) Infectious process (qualifier value) and something that Clinical course (attribute) Chronic (qualifier value)

Structure of urinary system subdivision (body structure) is a subclass of Entire subdivision of genitourinary system (body structure) and Urinary system structure (body structure)

Infection of genitourinary system caused by Neisseria gonorrhoeae (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Inflammatory morphology (morphologic abnormality) and Causative agent (attribute) Neisseria gonorrhoeae (organism) and Finding site (attribute) Structure of genitourinary system (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Acute gonococcal cystitis (disorder) is equivalent to Sexually transmitted infectious disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Acute inflammation (morphologic abnormality) and Causative agent (attribute) Neisseria gonorrhoeae (organism) and Finding site (attribute) Urinary bladder structure (body structure) and Pathological process (attribute) Infectious process (qualifier value) and something that Clinical course (attribute) Sudden onset AND/OR short duration (qualifier value)

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


Question: Extract the minimal support axioms for the conclusion: Krimsky test (procedure) is a subclass of Procedure on eye region (procedure)

Schirmer's test (procedure) is a subclass of Ophthalmological test (procedure) and Ophthalmic examination and evaluation (procedure) that Role group (attribute)  something that Method (attribute) Examination - action (qualifier value) and Procedure site - Direct (attribute) Eye region structure (body structure)

Prisms postoperative diplopia test (procedure) is a subclass of Orthoptic test (procedure) that Role group (attribute)  something that Method (attribute) Examination - action (qualifier value) and Procedure site - Direct (attribute) Eye region 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)

Hirschberg test (procedure) is a subclass of Corneal light reflex test (procedure) that Role group (attribute)  something that Method (attribute) Examination - action (qualifier value) and Procedure site - Direct (attribute) Eye region structure (body structure)

Child examination: eyes (procedure) is a subclass of Child examination: special senses (procedure)

Anatomical structure (body structure) is a subclass of Anatomical or acquired body structure (body structure)

Krimsky test (procedure) is a subclass of Corneal light reflex test (procedure) that Role group (attribute)  something that Method (attribute) Examination - action (qualifier value) and Procedure site - Direct (attribute) Eye region structure (body structure)

Ophthalmic two point discrimination test (procedure) is a subclass of Psychophysical tests (procedure) and Visual testing (procedure)

Structure of special senses organ system (body structure) is a subclass of Body system structure (body structure)

Optical axis deviation test (procedure) is a subclass of Orthoptic test (procedure)

Orthoptic test (procedure) is a subclass of Ophthalmological and optical investigations (procedure) and Ophthalmic examination and evaluation (procedure) that Role group (attribute)  something that Method (attribute) Examination - action (qualifier value) and Procedure site - Direct (attribute) Structure of visual system (body structure)

Visual acuity testing (procedure) is a subclass of Visual testing (procedure)

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

Structure of visual system (body structure) is a subclass of Structure of special senses organ system (body structure)

Body system structure (body structure) is a subclass of Anatomical structure (body structure)

4 diopter prism test (procedure) is a subclass of Binocular vision test (procedure) that Role group (attribute)  something that Method (attribute) Examination - action (qualifier value) and Procedure site - Direct (attribute) Structure of visual system (body structure)

Visual testing (procedure) is a subclass of Ophthalmic examination and evaluation (procedure)

Ophthalmological and optical investigations (procedure) is a subclass of Procedure (procedure) that Role group (attribute) something that Method (attribute) Evaluation - action (qualifier value) and something that Procedure site (attribute) Structure of visual system (body structure)

Visual field study (procedure) is a subclass of Visual testing (procedure)

Binocular perimetry (procedure) is a subclass of Perimetry (procedure) and Orthoptic test (procedure)

Glare testing (procedure) is a subclass of Visual testing (procedure)

Corneal light reflex test (procedure) is a subclass of Optical axis deviation test (procedure)

Procedure on eye region (procedure) is equivalent to Procedure by site (procedure) that Role group (attribute) something that Procedure site (attribute) Eye region structure (body structure)

Potential acuity testing (procedure) is a subclass of Visual testing (procedure)


Question: Extract the minimal support axioms for the conclusion: Revision to open reduction of fracture dislocation and fixation with screw(s) (procedure) is a subclass of Revision open reduction and fixation of fracture (procedure)

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

Revision screw fixation of fracture without reduction (procedure) is a subclass of Revision fixation of fracture using screws (procedure)

Revision to closed reduction of fracture and internal fixation with screw(s) (procedure) is a subclass of Revision closed reduction and internal fixation of fracture (procedure)

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

Revision to open reduction of fracture and internal fixation with screw(s) (procedure) is a subclass of Revision open reduction and fixation of fracture (procedure) that Role group (attribute)  something that Revision status (attribute) Revision - value (qualifier value) and Method (attribute) Fixation - action (qualifier value) and Direct morphology (attribute) Fracture (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure (body structure) and Using device (attribute) Bone screw, device (physical object) and  something that Revision status (attribute) Revision - value (qualifier value) and Method (attribute) Open reduction - action (qualifier value) and Direct morphology (attribute) Fracture (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure (body structure)

Revision to open reduction of fracture dislocation (procedure) is a subclass of Open reduction of fracture dislocation of joint (procedure) that Role group (attribute)  something that Revision status (attribute) Revision - value (qualifier value) and Method (attribute) Open reduction - action (qualifier value) and Direct morphology (attribute) Fracture (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure (body structure) and  something that Revision status (attribute) Revision - value (qualifier value) and Method (attribute) Open reduction - action (qualifier value) and Direct morphology (attribute) Dislocation (morphologic abnormality) and Procedure site - Direct (attribute) Joint structure (body structure)

Revision to open reduction of fracture dislocation and fixation with wire(s) (procedure) is a subclass of Revision to open reduction of fracture dislocation (procedure) that Role group (attribute)  something that Revision status (attribute) Revision - value (qualifier value) and Method (attribute) Fixation - action (qualifier value) and Direct morphology (attribute) Fracture (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure (body structure) and Using device (attribute) Bone wire, device (physical object)

Primary open reduction of fracture dislocation and fixation with screw(s) (procedure) is a subclass of Primary open reduction of fracture dislocation (procedure) that Role group (attribute)  something that Revision status (attribute) Primary operation (qualifier value) and Method (attribute) Fixation - action (qualifier value) and Direct morphology (attribute) Fracture (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure (body structure) and Using device (attribute) Bone screw, device (physical object)

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

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

Revision to open reduction of fracture dislocation and fixation with plate(s) (procedure) is a subclass of Revision to open reduction of fracture dislocation (procedure) that Role group (attribute)  something that Revision status (attribute) Revision - value (qualifier value) and Method (attribute) Fixation - action (qualifier value) and Direct morphology (attribute) Fracture (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure (body structure) and Using device (attribute) Bone plate, device (physical object)

Revision to open reduction of fracture dislocation and fixation with screw(s) (procedure) is a subclass of Revision to open reduction of fracture dislocation (procedure) that Role group (attribute)  something that Revision status (attribute) Revision - value (qualifier value) and Method (attribute) Fixation - action (qualifier value) and Direct morphology (attribute) Fracture (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure (body structure) and Using device (attribute) Bone screw, device (physical object)

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

Revision open reduction and fixation of fracture (procedure) is equivalent to Open reduction of fracture with fixation (procedure) that Role group (attribute) something that Revision status (attribute) Revision - value (qualifier value)

Revision to open reduction of fracture dislocation and external fixation (procedure) is a subclass of Revision to open reduction of fracture dislocation (procedure) that Role group (attribute)  something that Revision status (attribute) Revision - value (qualifier value) and Method (attribute) Fixation - action (qualifier value) and Direct morphology (attribute) Fracture (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure (body structure) and Using device (attribute) External fixation system (physical object)

Revision of closed reduction of dislocation (procedure) is a subclass of Revision (procedure)


Question: Extract the minimal support axioms for the conclusion: External fixation of humerus (procedure) is a subclass of Operative procedure on humerus (procedure)

Removal of complete external fixator (procedure) is a subclass of Removal of external fixation (procedure) that Role group (attribute)  something that Method (attribute) Surgical removal - action (qualifier value) and Direct device (attribute) External fixation device (physical object) and Procedure site - Indirect (attribute) Bone structure (body structure)

Bone structure of humerus (body structure) is a subclass of Bone structure of clavicle and/or scapula and/or humerus (body structure) and Structure of long bone of upper limb (body structure) and Upper arm part (body structure) and Bone structure of free upper limb (body structure)

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

External fixation of humerus (procedure) is equivalent to External fixation of bone (procedure) that Role group (attribute)  something that Method (attribute) Fixation - action (qualifier value) and Procedure site - Direct (attribute) Bone structure of humerus (body structure) and Using device (attribute) External fixation system (physical object)

Primary fusion of joint and external fixation (procedure) is a subclass of Arthrodesis (procedure) and External fixation of bone (procedure)

Procedure on upper arm (procedure) is equivalent to Procedure on extremity (procedure) that Role group (attribute) something that Procedure site (attribute) Structure of upper extremity between shoulder and elbow (body structure)

External fixation of scapula (procedure) is equivalent to External fixation of bone (procedure) that Role group (attribute)  something that Method (attribute) Fixation - action (qualifier value) and Procedure site - Direct (attribute) Bone structure of scapula (body structure) and Using device (attribute) External fixation system (physical object)

Revision of internal fixation of humerus (procedure) is a subclass of Revision (procedure) that Role group (attribute)  something that Revision status (attribute) Revision - value (qualifier value) and Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Bone structure of humerus (body structure)

Bone structure of upper limb (body structure) is a subclass of Musculoskeletal structure of upper limb (body structure) and Structure of appendicular skeleton (body structure) and Bone structure of extremity (body structure)

Procedure on humerus (procedure) is equivalent to Procedure on upper arm (procedure) that Role group (attribute) something that Procedure site (attribute) Bone structure of humerus (body structure)

Musculoskeletal structure of limb (body structure) is a subclass of Structure of regional musculoskeletal system (body structure) and Limb structure (body structure)

Bone structure of free upper limb (body structure) is a subclass of Bone structure of upper limb (body structure) and Structure of free upper limb (body structure)

Operation involving external fixators (procedure) is equivalent to Operation on musculoskeletal system (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Structure of musculoskeletal system (body structure) and Procedure device (attribute) External fixation system (physical object)

Fixation of bone of face - external (procedure) is a subclass of Fixation of bone of face (procedure)

Operative procedure on bone of upper extremity (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Bone structure of upper limb (body structure)

Upper arm part (body structure) is a subclass of Structure of upper extremity between shoulder and elbow (body structure)

Application of additional component to external fixator frame (procedure) is a subclass of Operation involving external fixators (procedure)

Change of external fixator pin (procedure) is a subclass of Operation involving external fixators (procedure) that Role group (attribute)  something that Method (attribute) Insertion - action (qualifier value) and Direct device (attribute) External fixator pin (physical object) and Procedure site - Indirect (attribute) Bone structure (body structure)

Open reduction of open humeral fracture with external skeletal fixation (procedure) is a subclass of Fixation of fracture using external fixator (procedure) and Open reduction of fracture of humerus (procedure) that Role group (attribute)  something that Method (attribute) Fixation - action (qualifier value) and Direct morphology (attribute) Fracture, open (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure of humerus (body structure) and Using device (attribute) External fixation system (physical object) and  something that Method (attribute) Open reduction - action (qualifier value) and Direct morphology (attribute) Fracture, open (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure of humerus (body structure)

Internal fixation of bone of humerus (procedure) is equivalent to Internal skeletal fixation (procedure) and Operative procedure on humerus (procedure) that Role group (attribute)  something that Method (attribute) Fixation - action (qualifier value) and Procedure site - Direct (attribute) Bone structure of humerus (body structure) and Using device (attribute) Orthopedic internal fixation system, device (physical object)

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

Revision of fusion of joint and external fixation (procedure) is a subclass of Revision of arthrodesis (procedure)

Revision to external fixation of fracture (procedure) is a subclass of Fixation of fracture using external fixator (procedure) that Role group (attribute) something that Revision status (attribute) Revision - value (qualifier value)

External fixation of mandible with arch bars (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Fixation - action (qualifier value) and Procedure site - Direct (attribute) Bone structure of mandible (body structure) and Using device (attribute) External fixation system (physical object)

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

External fixation of bone (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Fixation - action (qualifier value) and Procedure site - Direct (attribute) Bone structure (body structure) and Using device (attribute) External fixation system (physical object)

Adjustment to alignment of external fixator (procedure) is a subclass of Adjustment of external fixator (procedure) that Role group (attribute)  something that Method (attribute) Adjustment - action (qualifier value) and Direct device (attribute) External fixation system (physical object) and Procedure site - Indirect (attribute) Bone structure (body structure)

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

Operative procedure on humerus (procedure) is equivalent to Procedure on humerus (procedure) and Operative procedure on bone of upper extremity (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Bone structure of humerus (body structure)

Adjustment to length of external fixator (procedure) is a subclass of Adjustment of external fixator (procedure)


Question: Extract the minimal support axioms for the conclusion: Carcinoma in situ of skin of right ear (disorder) is a subclass of Disorder of right external ear (disorder)

External ear structure (body structure) is a subclass of Ear part (body structure)

External ear part (body structure) is a subclass of External ear structure (body structure)

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

Disorder of right external ear (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Finding site (attribute) Right external ear structure (body structure)

Skin structure of right ear (body structure) is equivalent to Skin structure of ear (body structure) that Laterality (attribute) Right (qualifier value)

Skin and/or subcutaneous tissue structure of head (body structure) is a subclass of Head part (body structure) and Skin and/or subcutaneous tissue structure of head and/or neck (body structure)

Melanoma in situ of right ear (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Melanoma in situ (morphologic abnormality) and Finding site (attribute) Skin structure of right ear (body structure)

Organ part (body structure) is a subclass of Body organ structure (body structure)

Right ear structure (body structure) is equivalent to Ear structure (body structure) and Structure of right half of head (body structure) that Laterality (attribute) Right (qualifier value)

Right external ear structure (body structure) is equivalent to Right ear structure (body structure) and External ear structure (body structure) that Laterality (attribute) Right (qualifier value)

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

Structure of right half of body (body structure) is equivalent to Structure of half of body lateral to midsagittal plane (body structure) that Laterality (attribute) Right (qualifier value)

Squamous cell carcinoma of external auditory canal (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Squamous cell carcinoma (morphologic abnormality) and Finding site (attribute) Skin structure of external auditory canal (body structure)

Squamous cell carcinoma in situ of skin of right foot (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Squamous cell carcinoma in situ (morphologic abnormality) and Finding site (attribute) Structure of skin of right foot (body structure)

Right (qualifier value) is a subclass of Topographical modifier (qualifier value) and Side (qualifier value)

Carcinoma in situ of ear, nose and throat (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Carcinoma in situ (morphologic abnormality) and Finding site (attribute) Structure of ear, nose, and/or throat (body structure)

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

Skin structure of ear (body structure) is a subclass of Skin of part of head (body structure) and Structure of skin and/or subcutaneous tissue of external ear (body structure)

Intraepidermal squamous carcinoma of right ear (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Squamous cell carcinoma in situ (morphologic abnormality) and Finding site (attribute) Skin structure of right ear (body structure)

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

Body organ structure (body structure) is a subclass of Anatomical structure (body structure)

Squamous cell carcinoma of skin of ear (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Squamous cell carcinoma (morphologic abnormality) and Finding site (attribute) Skin structure of ear (body structure)

Hemorrhage in iris stroma (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hemorrhage (morphologic abnormality) and Finding site (attribute) Structure of stroma of iris (body structure)

Melanoma in situ of skin of bilateral ears (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Melanoma in situ (morphologic abnormality) and Finding site (attribute) Skin structure of right ear (body structure) and  something that Associated morphology (attribute) Melanoma in situ (morphologic abnormality) and Finding site (attribute) Skin structure of left ear (body structure)

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

Intraepidermal squamous carcinoma of left ear (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Squamous cell carcinoma in situ (morphologic abnormality) and Finding site (attribute) Skin structure of left ear (body structure)

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

Intraepidermal squamous carcinoma of ear (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Squamous cell carcinoma in situ (morphologic abnormality) and Finding site (attribute) Skin structure of ear (body structure)

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

Head structure (body structure) that Laterality (attribute) Side (qualifier value) is a subclass of Structure of half of head lateral to midsagittal plane (body structure)

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

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

Structure of right half of head (body structure) is equivalent to Structure of half of head lateral to midsagittal plane (body structure) and Structure of right half of body (body structure) that Laterality (attribute) Right (qualifier value)

Carcinoma in situ of middle ear and mastoid (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Carcinoma in situ (morphologic abnormality) and Finding site (attribute) Middle ear structure (body structure) and  something that Associated morphology (attribute) Carcinoma in situ (morphologic abnormality) and Finding site (attribute) Mastoid structure (body structure)

Structure of skin and/or subcutaneous tissue of external ear (body structure) is a subclass of Structure of soft tissue of external ear (body structure) and Skin and/or subcutaneous tissue structure of head (body structure)

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

Carcinoma in situ of middle ear (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Carcinoma in situ (morphologic abnormality) and Finding site (attribute) Middle ear structure (body structure)

Structure of soft tissue of external ear (body structure) is a subclass of Structure of soft tissues of head (body structure) and External ear part (body structure)

Melanoma in situ of external auditory canal (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Melanoma in situ (morphologic abnormality) and Finding site (attribute) Skin structure of external auditory canal (body structure)

Anatomical structure (body structure) that Laterality (attribute) Side (qualifier value) is a subclass of Structure of half of body lateral to midsagittal plane (body structure)


Question: Extract the minimal support axioms for the conclusion: Prolapsed external hemorrhoids (disorder) is a subclass of External hemorrhoids (disorder)

Prolapsed external hemorrhoids (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Prolapsed varices (morphologic abnormality) and Finding site (attribute) Structure of external rectal venous plexus (body structure)

Prolapsed hemorrhoids (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Prolapsed varices (morphologic abnormality) and Finding site (attribute) Structure of hemorrhoidal plexus (body structure)

Prolapsed internal hemorrhoids (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Prolapsed varices (morphologic abnormality) and Finding site (attribute) Structure of internal rectal venous plexus (body structure)

Entire fungiform papillae of tongue (body structure) is a subclass of Entire lingual papillae (body structure) and Structure of fungiform papillae of tongue (body structure)

Prolapsed varices (morphologic abnormality) is a subclass of Uneven venous ectasia (morphologic abnormality) and Prolapse (morphologic abnormality)

External hemorrhoids (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Uneven venous ectasia (morphologic abnormality) and Finding site (attribute) Structure of external rectal venous plexus (body structure)


Question: Extract the minimal support axioms for the conclusion: Allergic reaction after allergen immunotherapy (disorder) is a subclass of Disorder following clinical procedure (disorder)

Hypersensitivity reaction (disorder) is a subclass of Adverse reaction (disorder) and Hypersensitivity condition (finding)

Transfusion reaction caused by allergen in blood (disorder) is a subclass of Adverse reaction (disorder) that Role group (attribute) something that Pathological process (attribute) Allergic process (qualifier value) and something that Due to (attribute) Transfusion of blood product (procedure)

Regimes and therapies (regime/therapy) is a subclass of Procedure (procedure)

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

Anaphylaxis after allergen immunotherapy (disorder) is equivalent to Anaphylaxis (disorder) that Role group (attribute) something that After (attribute) Allergen immunotherapy (regime/therapy) and something that Clinical course (attribute) Sudden onset (qualifier value) and something that Pathological process (attribute) Allergic process (qualifier value)

Allergic disorder treatment started (situation) is a subclass of Procedure started (situation)

Immune hypersensitivity reaction by mechanism (disorder) is a subclass of Hypersensitivity reaction (disorder)

Allergic reaction after allergen immunotherapy (disorder) is equivalent to Adverse reaction (disorder) that Role group (attribute) something that After (attribute) Allergen immunotherapy (regime/therapy) and something that Pathological process (attribute) Allergic process (qualifier value)

Disorder following clinical procedure (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that After (attribute) Procedure (procedure)

Allergen immunotherapy (regime/therapy) is equivalent to Regimes and therapies (regime/therapy) and Immunotherapy (procedure) that Role group (attribute) something that Method (attribute) Desensitization - action (qualifier value) and something that Has focus (attribute) Allergic disposition (finding) and something that Has intent (attribute) Therapeutic intent (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Instability of bilateral patellofemoral joints (finding) is a subclass of Instability of joints of bilateral knees (finding)

Chronic instability of bilateral knee joints (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Abnormal (qualifier value) and Interprets (attribute) Knee joint stability (observable entity) and something that Clinical course (attribute) Chronic (qualifier value) and something that Finding site (attribute) Structure of left knee joint (body structure) and something that Finding site (attribute) Structure of right knee joint (body structure)

Instability of right patellofemoral joint (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Abnormal (qualifier value) and Interprets (attribute) Stability of patellofemoral joint (observable entity) and something that Finding site (attribute) Structure of right patellofemoral joint (body structure)

Instability of multiple joints (finding) is a subclass of Instability of joint (finding)

Instability of femoropatellar joint (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Abnormal (qualifier value) and Interprets (attribute) Stability of patellofemoral joint (observable entity) and something that Finding site (attribute) Structure of patellofemoral joint (body structure)

Structure of left patellofemoral joint (body structure) is equivalent to Structure of patellofemoral joint (body structure) that Laterality (attribute) Left (qualifier value)

Structure of left knee joint (body structure) is equivalent to Knee joint structure (body structure) that Laterality (attribute) Left (qualifier value)

Instability of left patellofemoral joint (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Abnormal (qualifier value) and Interprets (attribute) Stability of patellofemoral joint (observable entity) and something that Finding site (attribute) Structure of left patellofemoral joint (body structure)

Instability of bilateral patellofemoral joints (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Abnormal (qualifier value) and Interprets (attribute) Stability of patellofemoral joint (observable entity) and something that Finding site (attribute) Structure of right patellofemoral joint (body structure) and something that Finding site (attribute) Structure of left patellofemoral joint (body structure)

Instability of joints of bilateral knees (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Abnormal (qualifier value) and Interprets (attribute) Knee joint stability (observable entity) and something that Finding site (attribute) Structure of left knee joint (body structure) and something that Finding site (attribute) Structure of right knee joint (body structure)

Instability of joint of left knee (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Abnormal (qualifier value) and Interprets (attribute) Knee joint stability (observable entity) and something that Finding site (attribute) Structure of left knee joint (body structure)

Family Xenocongridae - false moray (organism) is a subclass of Order Anguilliformes (organism)

Structure of right knee joint (body structure) is equivalent to Knee joint structure (body structure) that Laterality (attribute) Right (qualifier value)

Genus Giraffa (organism) is a subclass of Family Giraffidae (organism)

Structure of patellofemoral joint (body structure) is a subclass of Structure of component of knee joint (body structure)

Structure of right patellofemoral joint (body structure) is equivalent to Structure of patellofemoral joint (body structure) that Laterality (attribute) Right (qualifier value)

Knee joint stability (observable entity) is a subclass of Joint stability (observable entity) and Knee joint feature (observable entity)

Stability of patellofemoral joint (observable entity) is a subclass of Knee joint stability (observable entity)

Structure of component of knee joint (body structure) is a subclass of Joint part (body structure) and Knee joint structure (body structure)


Question: Extract the minimal support axioms for the conclusion: Nephrotic syndrome, deafness, pretibial epidermolysis bullosa syndrome (disorder) is a subclass of Disorder of ear (disorder)

Nephrotic syndrome, deafness, pretibial epidermolysis bullosa syndrome (disorder) is a subclass of Hearing loss associated with syndrome (disorder) and Sensorineural hearing loss (disorder) and Autosomal recessive hereditary disorder (disorder) that Role group (attribute)  something that Associated morphology (attribute) Chronic inflammatory morphology (morphologic abnormality) and Finding site (attribute) Glomerulus structure (body structure) and  something that Has interpretation (attribute) Below reference range (qualifier value) and Interprets (attribute) Albumin measurement (procedure) and  something that Has interpretation (attribute) Above reference range (qualifier value) and Interprets (attribute) Measurement of protein in urine (procedure) and something that Finding site (attribute) Ear structure (body structure)

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

Hearing loss (disorder) is a subclass of Hearing disorder (disorder)

Hearing disorder (disorder) is a subclass of Hearing finding (finding) and Disorder of auditory system (disorder)

Nephropathy, deafness, hyperparathyroidism syndrome (disorder) is a subclass of Hearing loss associated with syndrome (disorder) and Primary hyperparathyroidism (disorder) and Renal failure syndrome (disorder) and Sensorineural hearing loss (disorder) and Autosomal recessive hereditary disorder (disorder) that Role group (attribute)  something that Associated morphology (attribute) Hyperplasia (morphologic abnormality) and Finding site (attribute) Parathyroid structure (body structure) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Renal function (observable entity) and  something that Has interpretation (attribute) Increased (qualifier value) and Interprets (attribute) Hormone secretion, function (observable entity) and something that Finding site (attribute) Kidney structure (body structure) and something that Finding site (attribute) Structure of auditory system (body structure) and something that Interprets (attribute) Hearing, function (observable entity)

Atherosclerosis, deafness, diabetes, epilepsy, nephropathy syndrome (disorder) is a subclass of Hearing loss associated with syndrome (disorder) and Sensorineural hearing loss (disorder) and Epilepsy (disorder) and Autosomal recessive hereditary disorder (disorder) and Secondary diabetes mellitus (disorder) that Role group (attribute)  something that Associated morphology (attribute) Atherosclerosis (morphologic abnormality) and Finding site (attribute) Arterial structure (body structure) and  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Hearing, function (observable entity) and something that Finding site (attribute) Structure of endocrine system (body structure) and something that Finding site (attribute) Kidney structure (body structure) and something that Finding site (attribute) Structure of cerebrum (body structure) and something that Finding site (attribute) Structure of auditory system (body structure)

Sensorineural hearing loss (disorder) is a subclass of Hearing loss (disorder)

Congenital nephrotic syndrome, interstitial lung disease, epidermolysis bullosa syndrome (disorder) is a subclass of Nephrotic syndrome (disorder) and Autosomal recessive hereditary disorder (disorder) that Role group (attribute)  something that Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of interstitial tissue of lung (body structure) and  something that Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Glomerulus structure (body structure)

Spastic paraplegia, nephritis, deafness syndrome (disorder) is a subclass of Autosomal dominant hereditary disorder (disorder) and Complicated hereditary spastic paraplegia (disorder) and Hearing loss associated with syndrome (disorder) and Sensorineural hearing loss (disorder) that Role group (attribute)  something that Associated morphology (attribute) Degenerative abnormality (morphologic abnormality) and Finding site (attribute) Spinal cord structure (body structure) and  something that Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Ear structure (body structure) and  something that Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Kidney structure (body structure) and  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Hearing, function (observable entity) and something that Clinical course (attribute) Progressive (qualifier value) and something that Finding site (attribute) Lower limb structure (body structure)

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

Familial steroid-resistant nephrotic syndrome with sensorineural deafness (disorder) is a subclass of Steroid-resistant nephrotic syndrome (disorder) and Sensorineural hearing loss (disorder) and Autosomal recessive hereditary disorder (disorder) that Role group (attribute)  something that Has interpretation (attribute) Below reference range (qualifier value) and Interprets (attribute) Albumin measurement (procedure) and  something that Has interpretation (attribute) Above reference range (qualifier value) and Interprets (attribute) Measurement of protein in urine (procedure) and something that Finding site (attribute) Glomerulus structure (body structure) and something that Finding site (attribute) Structure of auditory system (body structure) and something that Interprets (attribute) Hearing, function (observable entity)

Earpit syndrome (disorder) is a subclass of Congenital anomaly of ear with impairment of hearing (disorder)


Question: Extract the minimal support axioms for the conclusion: Stimulation of carotid sinus (procedure) is a subclass of Procedure on artery of head and neck (procedure)

Stimulation of carotid sinus with simultaneous electrocardiographic monitoring (procedure) is a subclass of Electrocardiographic monitoring (procedure) and Stimulation of carotid sinus (procedure)

Carotid sinus reflex (observable entity) is a subclass of Cardiac vasomotor reflexes (observable entity)

Carotid artery structure (body structure) is a subclass of Cerebrovascular system structure (body structure) and Structure of carotid and/or cerebral and/or subclavian artery (body structure) and Structure of artery of head, neck AND/OR brain (body structure)

Structure of carotid and/or cerebral and/or subclavian artery (body structure) is a subclass of Structure of half of body lateral to midsagittal plane (body structure) and Non-coronary non-aorta systemic artery structure (body structure)

Transcutaneous stimulation of cervical branch of vagus nerve (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Stimulation - action (qualifier value) and Procedure site - Direct (attribute) Vagus nerve structure (body structure) and Using device (attribute) Neurostimulator, device (physical object)

Carotid sinus nerve electrical stimulation system (physical object) is a subclass of Peripheral neurostimulator, device (physical object) and Device system (physical object)

Conversion of cardiac rhythm to sinus rhythm (procedure) is a subclass of Procedure for arrhythmia (procedure)

Injection of artery of head and neck (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Injection - action (qualifier value) and Procedure site - Indirect (attribute) Structure of artery of head, neck AND/OR brain (body structure)

Stimulation procedure by device (procedure) is a subclass of Stimulation procedure (procedure)

Stimulation of carotid sinus (procedure) is equivalent to Procedure on cardiovascular system (procedure) that Role group (attribute)  something that Method (attribute) Stimulation - action (qualifier value) and Procedure site - Direct (attribute) Structure of carotid sinus (body structure)

Systemic arterial structure (body structure) is a subclass of Systemic vascular structure (body structure) and Arterial structure (body structure)

Electrical carotid sinus stimulation (procedure) is equivalent to Stimulation of carotid sinus (procedure) that Role group (attribute)  something that Method (attribute) Stimulation - action (qualifier value) and Procedure site - Direct (attribute) Structure of carotid sinus (body structure) and Using device (attribute) Neurostimulator electrode (physical object)

Non-coronary non-aorta systemic artery structure (body structure) is a subclass of Non-coronary systemic artery structure (body structure)

Common carotid artery structure (body structure) is a subclass of Structure of precerebral artery (body structure) and Structure of artery of neck (body structure) and Carotid artery structure (body structure)

Structure of carotid sinus (body structure) is a subclass of Common carotid artery structure (body structure)

Procedure on artery of head and neck (procedure) is equivalent to Procedure on artery (procedure) that Role group (attribute) something that Procedure site (attribute) Structure of artery of head, neck AND/OR brain (body structure)

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

Faradic nerve stimulation to neck (procedure) is a subclass of Faradic nerve stimulation (procedure) that Role group (attribute)  something that Method (attribute) Stimulation - action (qualifier value) and Procedure site - Direct (attribute) Skeletal muscle structure of neck (body structure)

Hypotensive therapy (procedure) is a subclass of Cardiovascular therapy (procedure)

Carotid sinus massage procedure phase (qualifier value) is a subclass of Electrophysiology procedure phase (qualifier value)

Carotid sinus massage test (procedure) is a subclass of Procedure on artery (procedure) that Role group (attribute)  something that Method (attribute) Massage - action (qualifier value) and Procedure site - Direct (attribute) Structure of carotid sinus (body structure) and something that Has focus (attribute) Carotid sinus syncope (disorder)

Procedure on cardiovascular system (procedure) is equivalent to Procedure (procedure) that Role group (attribute) something that Procedure site (attribute) Structure of cardiovascular system (body structure)

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

Non-coronary systemic artery structure (body structure) is a subclass of Systemic arterial structure (body structure)