Question: Extract the minimal support axioms for the conclusion: Percutaneous transluminal coil embolization of fistula of coronary artery using fluoroscopic guidance with contrast (procedure) is a subclass of Fluoroscopic angiography with contrast and embolization of thoracic artery (procedure)

Structure of artery of mediastinum (body structure) is a subclass of Structure of artery of thorax (body structure) and Mediastinal structure (body structure)

Fluoroscopic angiography with contrast and embolization of thoracic artery (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Embolization - action (qualifier value) and Procedure site - Direct (attribute) Structure of artery of thorax (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Procedure site - Direct (attribute) Structure of artery of thorax (body structure) and Using substance (attribute) Contrast media (substance)

Percutaneous transluminal coil embolization of arteriovenous fistula using fluoroscopic guidance with contrast (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Embolization - action (qualifier value) and Direct device (attribute) Embolization coil, device (physical object) and Direct morphology (attribute) Arteriovenous fistula (morphologic abnormality) and Procedure site - Direct (attribute) Blood vessel structure (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Arteriovenous fistula (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Blood vessel structure (body structure) and Using substance (attribute) Contrast media (substance)

Percutaneous transluminal coil embolization of fistula of coronary artery using fluoroscopic guidance with contrast (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Embolization - action (qualifier value) and Direct morphology (attribute) Fistula (morphologic abnormality) and Procedure site - Direct (attribute) Coronary artery structure (body structure) and Using device (attribute) Embolization coil, device (physical object) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Fistula (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Coronary artery structure (body structure) and Using substance (attribute) Contrast media (substance)

Percutaneous embolization of coronary arteriovenous fistula using fluoroscopic guidance with contrast (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Embolization - action (qualifier value) and Direct morphology (attribute) Arteriovenous fistula (morphologic abnormality) and Procedure site - Direct (attribute) Coronary artery structure (body structure) and  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Embolization - action (qualifier value) and Direct morphology (attribute) Arteriovenous fistula (morphologic abnormality) and Procedure site - Direct (attribute) Structure of cardiac vein (body structure) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Arteriovenous fistula (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Blood vessel structure (body structure) and Using substance (attribute) Contrast media (substance)

Percutaneous embolization of dialysis fistula using fluoroscopic guidance (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Embolization - action (qualifier value) and Direct morphology (attribute) Arteriovenous fistula (morphologic abnormality) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Arteriovenous fistula (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value)

Coronary artery structure (body structure) is a subclass of Heart part (body structure) and Structure of artery of mediastinum (body structure) and Structure of branch of thoracic aorta (body structure) and Structure of artery of thoracic cross-sectional segment of trunk (body structure)

Percutaneous transluminal coil embolization of aneurysm of coronary artery using fluoroscopic guidance with contrast (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Embolization - action (qualifier value) and Direct morphology (attribute) Aneurysm (morphologic abnormality) and Procedure site - Direct (attribute) Coronary artery structure (body structure) and Using device (attribute) Embolization coil, device (physical object) and  something that Method (attribute) Fluoroscopic imaging - action (qualifier value) and Direct morphology (attribute) Aneurysm (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Coronary artery structure (body structure) and Using substance (attribute) Contrast media (substance)


Question: Extract the minimal support axioms for the conclusion: Infiltration of steroid to subcutaneous tissue (procedure) is a subclass of Injection of steroid into subcutaneous tissue (procedure)

Infiltration of neurolytic substance to subcutaneous tissue (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Infiltration - action (qualifier value) and Direct substance (attribute) Drug or medicament (substance) and Procedure site - Indirect (attribute) Subcutaneous tissue structure (body structure)

Infiltration of steroid to subcutaneous tissue (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Infiltration - action (qualifier value) and Direct substance (attribute) Steroid (substance) and Procedure site - Indirect (attribute) Subcutaneous tissue structure (body structure)

Injection of steroid into subcutaneous tissue (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Injection - action (qualifier value) and Direct substance (attribute) Steroid (substance) and Procedure site - Indirect (attribute) Subcutaneous tissue structure (body structure)

Infiltration of local anesthetic and steroid to subcutaneous tissue (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Infiltration - action (qualifier value) and Direct substance (attribute) Steroid (substance) and Procedure site - Indirect (attribute) Subcutaneous tissue structure (body structure) and  something that Method (attribute) Infiltration - action (qualifier value) and Direct substance (attribute) Local anesthetic (substance) and Procedure site - Indirect (attribute) Subcutaneous tissue structure (body structure)

Scar infiltration of steroid (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Infiltration - action (qualifier value) and Direct substance (attribute) Steroid (substance) and Indirect morphology (attribute) Scar (morphologic abnormality)

Infiltration - action (qualifier value) is a subclass of Injection - action (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Product containing ethylenediamine (product) is a subclass of Product containing gamma-aminobutyric acid receptor agonist (product)

Gamma-aminobutyric acid receptor agonist (disposition) is a subclass of Receptor agonist (disposition)

Substance with gamma-aminobutyric acid receptor agonist mechanism of action (substance) is equivalent to Substance (substance) that Has disposition (attribute) Gamma-aminobutyric acid receptor agonist (disposition)

Organic nitrogen compound (substance) is a subclass of Nitrogen compound (substance) and Organic compound (substance)

Gamma-aminobutyric acid A receptor agonist (disposition) is a subclass of Gamma-aminobutyric acid receptor agonist (disposition)

Methylenediamine (substance) is a subclass of Amine (substance)

Chemical (substance) is a subclass of Substance categorized by structure (substance)

Product containing gamma-aminobutyric acid receptor agonist (product) is equivalent to Medicinal product (product) that Role group (attribute) something that Has active ingredient (attribute) Substance with gamma-aminobutyric acid receptor agonist mechanism of action (substance)

Free gamma-aminobutyric acid (substance) is a subclass of Neurotransmitter (substance) and Amino acid (substance)

Gamma-hydroxybutyrate receptor agonist (disposition) is a subclass of Receptor agonist (disposition)

Product containing ethylenediamine (product) is equivalent to Medicinal product (product) that Role group (attribute) something that Has active ingredient (attribute) Ethylenediamine (substance)

Organic compound (substance) is a subclass of Chemical categorized by structure (substance)

Ethylenediamine and/or ethylenediamine derivative (substance) is a subclass of Diamine (substance)

Product containing gamma-hydroxybutyrate receptor agonist (product) is equivalent to Medicinal product (product) that Role group (attribute) something that Has active ingredient (attribute) Substance with gamma-hydroxybutyrate receptor agonist mechanism of action (substance)

Chemical categorized by structure (substance) is a subclass of Chemical (substance)

Polyamine (substance) is a subclass of Amine (substance)

Diamine (substance) is a subclass of Polyamine (substance)

Ethylenediamine dihydrochloride (substance) is a subclass of European standard series patch test substance (substance) and Cosmetic series patch test substance (substance) and Oil and cooling fluid patch test series (substance) and Photographic chemical (substance) and Epoxy series patch test substance (substance) and Ethylenediamine and/or ethylenediamine derivative (substance) that Has disposition (attribute) Gamma-aminobutyric acid receptor agonist (disposition) and Is modification of (attribute) Ethylenediamine (substance)

Product containing gamma-aminobutyric acid A receptor agonist (product) is equivalent to Medicinal product (product) that Role group (attribute) something that Has active ingredient (attribute) Substance with gamma-aminobutyric acid A receptor agonist mechanism of action (substance)

Antiarin (substance) is a subclass of Plant cardiac glycoside (substance)

Gamma-aminobutyric acid receptor antagonist (disposition) is a subclass of Receptor antagonist (disposition)

Product containing ethylenediamine derivative and histamine receptor antagonist (product) is equivalent to Medicinal product (product) that Role group (attribute) something that Has active ingredient (attribute) Ethylenediamine derivative with histamine receptor antagonist mechanism of action (substance)

Ethylamine (substance) is a subclass of Amine (substance)

Product containing beta adrenergic receptor agonist (product) is equivalent to Medicinal product (product) that Role group (attribute) something that Has active ingredient (attribute) Substance with beta adrenergic receptor agonist mechanism of action (substance)

Gamma-aminobutyric acid (substance) is a subclass of Neurotransmitter (substance) and Amino acid (substance)

Ethylenediamine (substance) is a subclass of Ethylenediamine and/or ethylenediamine derivative (substance) that Has disposition (attribute) Gamma-aminobutyric acid receptor agonist (disposition)

Amine (substance) is a subclass of Amine and/or amine derivative (substance)

Amine and/or amine derivative (substance) is a subclass of Organic nitrogen compound (substance)

Substance categorized by structure (substance) is a subclass of Substance (substance)


Question: Extract the minimal support axioms for the conclusion: Malignant melanoma of skin of groin (disorder) is a subclass of Malignant melanoma of skin of lower limb (disorder)

Skin structure of inguinal region (body structure) is a subclass of Skin structure of lateral region of trunk (body structure) and Inguinal region structure (body structure) and Skin of part of pelvic region (body structure) and Skin of part of lower limb (body structure) and Skin structure of lower abdomen (body structure)

Genus Ruegeria (organism) is a subclass of Family Rhodobacteraceae (organism)

Skin of part of lower limb (body structure) is a subclass of Skin of part of limb (body structure) and Skin structure of lower limb (body structure)

Malignant melanoma of skin of lower leg (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant melanoma (morphologic abnormality) and Finding site (attribute) Skin structure of lower leg (body structure)

Malignant melanoma of lower leg (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant melanoma (morphologic abnormality) and Finding site (attribute) Structure of lower extremity from knee to ankle (body structure)

Malignant melanoma of lower limb (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant melanoma (morphologic abnormality) and Finding site (attribute) Lower limb structure (body structure)

Malignant melanoma of skin of groin (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant melanoma (morphologic abnormality) and Finding site (attribute) Skin structure of inguinal region (body structure)

Malignant melanoma of skin of lower limb (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant melanoma (morphologic abnormality) and Finding site (attribute) Skin structure of lower limb (body structure)


Question: Extract the minimal support axioms for the conclusion: Pigmented hairy epidermal nevus of lower eyelid (disorder) is a subclass of Lesion of lower eyelid (disorder)

Pigmented hairy epidermal nevus of left upper eyelid (disorder) is equivalent to Pigmented hairy epidermal nevus (disorder) that Role group (attribute)  something that Associated morphology (attribute) Epidermal nevus (morphologic abnormality) and Finding site (attribute) Structure of skin of left upper eyelid (body structure) and  something that Associated morphology (attribute) Hyperpigmentation (morphologic abnormality) and Finding site (attribute) Structure of skin of left upper eyelid (body structure)

Pigmented hairy epidermal nevus of right lower eyelid (disorder) is equivalent to Pigmented hairy epidermal nevus (disorder) that Role group (attribute)  something that Associated morphology (attribute) Epidermal nevus (morphologic abnormality) and Finding site (attribute) Skin structure of right lower eyelid (body structure) and  something that Associated morphology (attribute) Hyperpigmentation (morphologic abnormality) and Finding site (attribute) Skin structure of right lower eyelid (body structure)

Pigmented hairy epidermal nevus (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Epidermal nevus (morphologic abnormality) and Finding site (attribute) Skin structure (body structure) and  something that Associated morphology (attribute) Hyperpigmentation (morphologic abnormality) and Finding site (attribute) Skin structure (body structure)

Pigmented hairy epidermal nevus of upper eyelid (disorder) is equivalent to Pigmented hairy epidermal nevus (disorder) that Role group (attribute)  something that Associated morphology (attribute) Epidermal nevus (morphologic abnormality) and Finding site (attribute) Skin structure of upper eyelid (body structure) and  something that Associated morphology (attribute) Hyperpigmentation (morphologic abnormality) and Finding site (attribute) Skin structure of upper eyelid (body structure)

Skin structure of lower eyelid (body structure) is a subclass of Structure of anterior lamella of lower eyelid (body structure) and Skin structure of eyelid (body structure)

Pigmented hairy epidermal nevus of left lower eyelid (disorder) is equivalent to Pigmented hairy epidermal nevus (disorder) that Role group (attribute)  something that Associated morphology (attribute) Epidermal nevus (morphologic abnormality) and Finding site (attribute) Skin structure of left lower eyelid (body structure) and  something that Associated morphology (attribute) Hyperpigmentation (morphologic abnormality) and Finding site (attribute) Skin structure of left lower eyelid (body structure)

Structure of anterior lamella of lower eyelid (body structure) is a subclass of Structure of anterior lamella of eyelid (body structure) and Lower eyelid structure (body structure)

Lesion of lower eyelid (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Lesion (morphologic abnormality) and Finding site (attribute) Lower eyelid structure (body structure)

Epidermal nevus of left lower eyelid (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Epidermal nevus (morphologic abnormality) and Finding site (attribute) Skin structure of left lower eyelid (body structure)

Pigment alteration (morphologic abnormality) is a subclass of Lesion (morphologic abnormality)

Pigmented hairy epidermal nevus of lower eyelid (disorder) is equivalent to Pigmented hairy epidermal nevus (disorder) that Role group (attribute)  something that Associated morphology (attribute) Epidermal nevus (morphologic abnormality) and Finding site (attribute) Skin structure of lower eyelid (body structure) and  something that Associated morphology (attribute) Hyperpigmentation (morphologic abnormality) and Finding site (attribute) Skin structure of lower eyelid (body structure)

Epidermal nevus of right lower eyelid (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Epidermal nevus (morphologic abnormality) and Finding site (attribute) Skin structure of right lower eyelid (body structure)

Hyperpigmentation (morphologic abnormality) is a subclass of Structure showing abnormal deposition of pigment (morphologic abnormality)

Structure showing abnormal deposition of pigment (morphologic abnormality) is a subclass of Deposition (morphologic abnormality) and Pigment alteration (morphologic abnormality)

Pigmented hairy epidermal nevus of right upper eyelid (disorder) is equivalent to Pigmented hairy epidermal nevus (disorder) that Role group (attribute)  something that Associated morphology (attribute) Epidermal nevus (morphologic abnormality) and Finding site (attribute) Structure of skin of right upper eyelid (body structure) and  something that Associated morphology (attribute) Hyperpigmentation (morphologic abnormality) and Finding site (attribute) Structure of skin of right upper eyelid (body structure)

Pigmented hairy epidermal nevus of left lower limb (disorder) is equivalent to Pigmented hairy epidermal nevus (disorder) that Role group (attribute)  something that Associated morphology (attribute) Epidermal nevus (morphologic abnormality) and Finding site (attribute) Skin structure of left lower limb (body structure) and  something that Associated morphology (attribute) Hyperpigmentation (morphologic abnormality) and Finding site (attribute) Skin structure of left lower limb (body structure)


Question: Extract the minimal support axioms for the conclusion: Gonorrhea of pharynx (disorder) is a subclass of Bacterial upper respiratory infection (disorder)

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

Gonococcal iritis (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) Iris structure (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Diplococci (organism) is a subclass of Bacterium (organism)

Gonococcal cervicitis (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) Cervix uteri structure (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Acute gonorrhea of upper genitourinary tract (disorder) is equivalent to Sexually transmitted infectious disease (disorder) that Role group (attribute)  something that Causative agent (attribute) Neisseria gonorrhoeae (organism) and Finding site (attribute) Upper genitourinary tract 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)

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)

Pharyngeal structure (body structure) is a subclass of Structure of mouth and/or pharynx (body structure) and Pharynx and/or larynx structures (body structure) and Digestive organ structure (body structure) and Structure of organ in respiratory system (body structure)

Gonorrhea of pharynx (disorder) is equivalent to Sexually transmitted infectious disease (disorder) that Role group (attribute)  something that Causative agent (attribute) Neisseria gonorrhoeae (organism) and Finding site (attribute) Pharyngeal structure (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Bacterial upper respiratory infection (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Causative agent (attribute) Domain Bacteria (organism) and Finding site (attribute) Upper respiratory tract structure (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Genus Neisseria (organism) is a subclass of Family Neisseriaceae (organism) and Gram-negative diplococcus (organism)

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

Pharynx and/or larynx structures (body structure) is a subclass of Structure of internal nose and/or pharynx and/or larynx (body structure) and Group of anatomical entities (body structure)

Gram-negative diplococcus (organism) is a subclass of Diplococci (organism) and Gram-negative coccus (organism)

Upper respiratory tract mucus (substance) is a subclass of Mucus (substance)

Sexually transmitted infectious disease (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that 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 internal nose and/or pharynx and/or larynx (body structure) is a subclass of Upper respiratory tract structure (body structure)

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)

Gonorrhea with local complication (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)

Maternal gonorrhea during pregnancy (disorder) is a subclass of Maternal gonorrhea during pregnancy, childbirth and the puerperium (disorder) that Role group (attribute)  something that Causative agent (attribute) Neisseria gonorrhoeae (organism) and Pathological process (attribute) Infectious process (qualifier value)

Bacterium (organism) is a subclass of Domain Bacteria (organism)

Chronic gonorrhea of upper genitourinary tract (disorder) is equivalent to Sexually transmitted infectious disease (disorder) that Role group (attribute)  something that Causative agent (attribute) Neisseria gonorrhoeae (organism) and Finding site (attribute) Upper genitourinary tract structure (body structure) and Pathological process (attribute) Infectious process (qualifier value) and something that Clinical course (attribute) Chronic (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Dilation of lacrimal punctum (procedure) is a subclass of Operation on eyelid (procedure)

Dacryocystectomy (procedure) is a subclass of Operation on lacrimal sac (procedure) and Excision (procedure) that Role group (attribute)  something that Method (attribute) Excision - action (qualifier value) and Procedure site - Direct (attribute) Lacrimal sac structure (body structure)

Suture of lacrimal canaliculus (procedure) is a subclass of Closure by suture (procedure) and Operation on lacrimal canaliculus or punctum (procedure) that Role group (attribute)  something that Method (attribute) Closure - action (qualifier value) and Procedure site - Direct (attribute) Lacrimal canaliculus structure (body structure) and Using device (attribute) Surgical suture, device (physical object)

Ligation for closure of lacrimal punctum (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Ligation - action (qualifier value) and Procedure site - Direct (attribute) Structure of lacrimal punctum (body structure)

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

Narrowing of palpebral fissure (procedure) is a subclass of Repair of eyelid (procedure) that Role group (attribute)  something that Method (attribute) Repair - action (qualifier value) and Procedure site - Direct (attribute) Structure of palpebral fissure (body structure)

Structure of free margin of eyelid (body structure) is a subclass of Eyelid part (body structure)

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

Balloon dacryoplasty (procedure) is a subclass of Operation on lacrimal system (procedure) that Role group (attribute)  something that Method (attribute) Dilation repair - action (qualifier value) and Procedure site - Direct (attribute) Structure of lacrimal gland duct (body structure) and Using device (attribute) Balloon dilatation catheter (physical object)

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

Operation on lacrimal canaliculus or punctum (procedure) is a subclass of Operation on lacrimal system (procedure) that Role group (attribute)  something that Method (attribute) Surgical action (qualifier value) and Procedure site (attribute) Lacrimal drainage structure (body structure)

Structure of lacrimal punctum (body structure) is a subclass of Lacrimal papilla structure (body structure) and Structure of anatomical orifice (body structure)

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

Dilation of lacrimal punctum (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Dilation - action (qualifier value) and Procedure site - Direct (attribute) Structure of lacrimal punctum (body structure)

Dilation of lacrimal punctum without irrigation (procedure) is a subclass of Dilation of lacrimal punctum (procedure)

Lacrimal papilla structure (body structure) is a subclass of Lacrimal drainage structure (body structure) and Structure of free margin of eyelid (body structure)

Linear repair of laceration of eyelid (procedure) is a subclass of Repair of eyelid laceration (procedure)


Question: Extract the minimal support axioms for the conclusion: Aspirin adverse reaction (disorder) is a subclass of Non-steroidal anti-inflammatory drug adverse reaction (disorder)

Allergy to azelaic acid (finding) is equivalent to Propensity to adverse reaction (finding) that Role group (attribute)  something that Causative agent (attribute) Azelaic acid (substance) and Has realization (attribute) Allergic process (qualifier value)

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

Adverse reaction caused by antipyretic (disorder) is a subclass of Adverse reaction (disorder) that Role group (attribute) something that Causative agent (attribute) Drug or medicament (substance)

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

Aspirin (substance) is a subclass of Salicylate (substance) and Non-steroidal anti-inflammatory agent (substance) that Has disposition (attribute) Platelet aggregation inhibitor (disposition)

Non-steroidal anti-inflammatory drug adverse reaction (disorder) is equivalent to Adverse reaction (disorder) that Role group (attribute) something that Causative agent (attribute) Non-steroidal anti-inflammatory agent (substance)


Question: Extract the minimal support axioms for the conclusion: Skin structure of free margin of right lower eyelid (body structure) is a subclass of Skin structure of right eyelid (body structure)

Skin structure of free margin of right lower eyelid (body structure) is equivalent to Skin structure of free margin of lower eyelid (body structure) that Laterality (attribute) Right (qualifier value)

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

Entire free margin of lower eyelid (body structure) is a subclass of Structure of free margin of lower eyelid (body structure)

Skin structure of free margin of lower eyelid (body structure) is a subclass of Structure of anterior free margin of lower eyelid (body structure) and Skin structure of free margin of eyelid (body structure)

Skin structure of free margin of upper eyelid (body structure) is a subclass of Structure of anterior free margin of upper eyelid (body structure) and Skin structure of free margin of eyelid (body structure)

Skin structure of free margin of eyelid (body structure) is a subclass of Structure of anterior free margin of eyelid (body structure) and Skin of part of eyelid (body structure)

Structure of free margin of eyelid (body structure) is a subclass of Eyelid part (body structure)

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

Entire skin of free margin of lower eyelid (body structure) is a subclass of Skin structure of free margin of lower eyelid (body structure)

Structure of free margin of lower eyelid (body structure) is a subclass of Lower eyelid structure (body structure) and Structure of free margin of eyelid (body structure)


Question: Extract the minimal support axioms for the conclusion: Malignant tumor of soft tissue of upper limb (disorder) is a subclass of Malignant tumor of upper limb (disorder)

Malignant tumor of upper limb (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant neoplasm (morphologic abnormality) and Finding site (attribute) Upper limb structure (body structure)

Subacute obliterative bronchiolitis caused by vapor (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fibrinous inflammation (morphologic abnormality) and Causative agent (attribute) Vapor (substance) and Finding site (attribute) Bronchiole structure (body structure) and  something that Associated morphology (attribute) Narrowing (morphologic abnormality) and Causative agent (attribute) Vapor (substance) and Finding site (attribute) Bronchiole structure (body structure) and something that Clinical course (attribute) Subacute (qualifier value)

Malignant tumor of soft tissue of upper limb (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant neoplasm (morphologic abnormality) and Finding site (attribute) Structure of soft tissue within upper limb (body structure)

Primary malignant fibrous histiocytoma of soft tissue of upper limb (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Fibrous histiocytoma, malignant (morphologic abnormality) and Finding site (attribute) Structure of soft tissue within upper limb (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

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

Primary malignant neoplasm of soft tissues of upper limb (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant neoplasm (morphologic abnormality) and Finding site (attribute) Structure of soft tissue within upper limb (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

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)

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


Question: Extract the minimal support axioms for the conclusion: Anti-neutrophil cytoplasmic antibody not detected (finding) is a subclass of Not detected by measurement (finding)

Motor vehicle traffic accident involving collision with another motor vehicle, disabled, occupant of tram injured (event) is a subclass of Motor vehicle on road in collision with disabled motor vehicle (event)

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

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

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

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

Antibody to extractable nuclear antigen not detected (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Not detected (qualifier value) and Interprets (attribute) Antibody to extractable nuclear antigen measurement (procedure)

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

Anti-neutrophil cytoplasmic antibody not detected (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Not detected (qualifier value) and Interprets (attribute) Antineutrophil cytoplasmic antibody measurement (procedure)

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

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

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

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

Somatoform autonomic dysfunction - gastrointestinal tract (disorder) is a subclass of Somatoform autonomic dysfunction (disorder)

Antineutrophil cytoplasmic antibody measurement (procedure) is a subclass of Autoantibody measurement (procedure) and Antibody to tissue specific antigen measurement (procedure) that Role group (attribute) something that Component (attribute) Anti neutrophilic cytoplasm antibody (substance)

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

Antibody to tissue specific antigen measurement (procedure) is a subclass of Procedure to identify antibody (procedure)


Question: Extract the minimal support axioms for the conclusion: Joint contracture of the ankle and foot (disorder) is a subclass of Deformity of foot (finding)

Plantar flexion contracture of tarsometatarsal joint (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Flexion contracture (morphologic abnormality) and Finding site (attribute) Structure of tarsometatarsal joint region (body structure) and  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Foot joint - range of movement (observable entity)

Contracture (morphologic abnormality) is a subclass of Fibrosis AND/OR repair abnormality (morphologic abnormality) and Abnormal shortening (morphologic abnormality)

Contracture of joint of foot (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Contracture (morphologic abnormality) and Finding site (attribute) Structure of foot joint region (body structure) and  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Foot joint - range of movement (observable entity)

Finding of movement (finding) is equivalent to Clinical finding (finding) that Role group (attribute) something that Interprets (attribute) Movement (observable entity)

Contracture of subtalar joint (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Contracture (morphologic abnormality) and Finding site (attribute) Structure of subtalar joint region (body structure) and  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Subtalar joint - range of movement (observable entity)

Joint contracture of the ankle and foot (disorder) is equivalent to Finding of movement (finding) and Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Contracture (morphologic abnormality) and Finding site (attribute) Ankle region structure (body structure) and  something that Associated morphology (attribute) Contracture (morphologic abnormality) and Finding site (attribute) Foot structure (body structure) and  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Ankle joint - range of movement (observable entity) and  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Foot joint - range of movement (observable entity)

Leishmaniasis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Causative agent (attribute) Leishmania (organism) and Pathological process (attribute) Parasitic process (qualifier value)

Deformity of foot (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Associated morphology (attribute) Deformity (morphologic abnormality) and Finding site (attribute) Foot structure (body structure)

Flexion contracture of metatarsophalangeal joint (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Flexion contracture (morphologic abnormality) and Finding site (attribute) Structure of metatarsophalangeal joint region (body structure) and  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Range of toe extension (observable entity)

Abnormal shortening (morphologic abnormality) is a subclass of Deformity (morphologic abnormality)


Question: Extract the minimal support axioms for the conclusion: Allergy to pentamidine (finding) is a subclass of Allergy to diamidine (finding)

Conventional release otic stick (dose form) is equivalent to Pharmaceutical dose form (dose form) that Has dose form administration method (attribute) Insert (administration method) and Has dose form transformation (attribute) No transformation (transformation) and Has dose form intended site (attribute) Otic (intended site) and Has dose form release characteristic (attribute) Conventional release (release characteristic) and Has basic dose form (attribute) Stick (basic dose form)

Allergy to diamidine (finding) is equivalent to Propensity to adverse reaction (finding) that Role group (attribute)  something that Causative agent (attribute) Diamidine (substance) and Has realization (attribute) Allergic process (qualifier value)

Structure of epiphyseal plate of phalanx of thumb (body structure) is a subclass of Thumb joint structure (body structure) and Part of phalanx of thumb (body structure) and Structure of epiphyseal plate (body structure)

Allergy to pentamidine (finding) is equivalent to Propensity to adverse reaction (finding) that Role group (attribute)  something that Causative agent (attribute) Pentamidine (substance) and Has realization (attribute) Allergic process (qualifier value)

Pentamidine (substance) is a subclass of Anti-infective agent (substance) and Diamidine (substance) that Has disposition (attribute) N-methyl-D-aspartate receptor antagonist (disposition) and Antiprotozoal (disposition) and Antifungal (disposition)

Diamidine (substance) is a subclass of Amidine (substance)


Question: Extract the minimal support axioms for the conclusion: Excision of cyst of mandible with partial excision of mandible by extraoral approach (procedure) is a subclass of Excision of cyst of bone (procedure)

Excision of cyst of maxilla with partial excision of maxilla by extraoral approach (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Excision - action (qualifier value) and Direct morphology (attribute) Cyst (morphologic abnormality) and Procedure site - Direct (attribute) Maxilla part (body structure) and Surgical approach (attribute) Extraoral approach (qualifier value)

Excision of cyst of bone (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Excision - action (qualifier value) and Direct morphology (attribute) Cyst (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure (body structure)

Excision of ectopic bone (procedure) is a subclass of Excision of bone (procedure)

Part of bone of face (body structure) is a subclass of Bone part (body structure) and Bone structure of face (body structure)

Excision of cyst of mandible with partial excision of mandible by extraoral approach (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Excision - action (qualifier value) and Direct morphology (attribute) Cyst (morphologic abnormality) and Procedure site - Direct (attribute) Mandible part (body structure) and Surgical approach (attribute) Extraoral approach (qualifier value)

Dental cyst excision (procedure) is a subclass of Excision of dental lesion of jaw (procedure) that Role group (attribute)  something that Method (attribute) Excision - action (qualifier value) and Direct morphology (attribute) Cyst (morphologic abnormality) and Procedure site - Direct (attribute) Structure of region of internal part of mouth (body structure)

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

Mandible part (body structure) is a subclass of Part of bone of face (body structure) and Bone structure of mandible (body structure)

Excision of benign neoplasm of mandible with partial excision of mandible by extraoral approach (procedure) is a subclass of Partial mandibulectomy (procedure) and Excision of lesion of bone (procedure) that Role group (attribute)  something that Method (attribute) Excision - action (qualifier value) and Direct morphology (attribute) Neoplasm, benign (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure of mandible (body structure) and Surgical approach (attribute) Extraoral approach (qualifier value)

Excision of dentigerous cyst of maxilla (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Excision - action (qualifier value) and Direct morphology (attribute) Odontogenic cyst (morphologic abnormality) and Procedure site - Direct (attribute) Bone structure of maxilla (body structure)


Question: Extract the minimal support axioms for the conclusion: beta-gamma-Tocopherol measurement (procedure) is a subclass of Vitamin E measurement (procedure)

Measurement of substance (procedure) is equivalent to Procedure (procedure) that Role group (attribute) something that Component (attribute) Substance (substance) and something that Method (attribute) Measurement - action (qualifier value)

Plasma vitamin E level (procedure) is equivalent to Vitamin E measurement (procedure) that Role group (attribute) something that Has specimen (attribute) Plasma specimen (specimen) and something that Component (attribute) Vitamin E and/or vitamin E derivative (substance) and something that Method (attribute) Measurement - action (qualifier value)

Serum vitamin E measurement (procedure) is equivalent to Vitamin E measurement (procedure) that Role group (attribute) something that Has specimen (attribute) Serum specimen (specimen) and something that Component (attribute) Vitamin E and/or vitamin E derivative (substance) and something that Method (attribute) Measurement - action (qualifier value)

beta-gamma-Tocopherol measurement (procedure) is equivalent to Measurement of substance (procedure) that Role group (attribute) something that Component (attribute) Beta tocopherol (substance)

Beta tocopherol (substance) is a subclass of Vitamin E and/or vitamin E derivative (substance)

Vitamin E measurement (procedure) is equivalent to Measurement of substance (procedure) that Role group (attribute) something that Component (attribute) Vitamin E and/or vitamin E derivative (substance) and something that Method (attribute) Measurement - action (qualifier value)

delta-Tocopherol measurement (procedure) is equivalent to Measurement of substance (procedure) that Role group (attribute) something that Component (attribute) D-alpha-tocopherol (substance)

Gamma tocopherol (substance) is a subclass of Vitamin E and/or vitamin E derivative (substance)


Question: Extract the minimal support axioms for the conclusion: Structure of left biceps brachii muscle (body structure) is a subclass of Skeletal muscle structure of left upper arm (body structure)

Biceps brachii muscle structure (body structure) is a subclass of Structure of flexor of elbow joint (body structure) and Structure of supinator of radio-ulnar joint (body structure) and Biceps brachii muscle and/or tendon structure (body structure) and Skeletal muscle structure of upper arm (body structure)

Biceps brachii muscle part (body structure) is a subclass of Biceps brachii muscle structure (body structure) and Skeletal muscle part (body structure)

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

Structure of head of biceps brachii (body structure) is a subclass of Structure of head of skeletal muscle (body structure) and Biceps brachii muscle part (body structure)

Structure of left biceps brachii muscle (body structure) is equivalent to Biceps brachii muscle structure (body structure) that Laterality (attribute) Left (qualifier value)

Skeletal muscle structure of left upper arm (body structure) is equivalent to Skeletal muscle structure of upper arm (body structure) that Laterality (attribute) Left (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Onychomycosis caused by Trichophyton tonsurans variant tonsurans (disorder) is a subclass of Onychomycosis caused by dermatophyte (disorder)

Tinea capitis caused by Trichophyton tonsurans (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Causative agent (attribute) Trichophyton tonsurans (organism) and Finding site (attribute) Structure of hair of scalp (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Trichophyton tonsurans var. cerebriforme (organism) is a subclass of Trichophyton tonsurans (organism)

Onychomycosis caused by dermatophyte (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Causative agent (attribute) Dermatophyte (organism) and Finding site (attribute) Nail unit structure (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Trichophyton tonsurans (organism) is a subclass of Genus Trichophyton (organism)

Tinea caused by Trichophyton mentagrophytes variant erinacei (disorder) is equivalent to Superficial mycosis (disorder) that Role group (attribute)  something that Causative agent (attribute) Trichophyton mentagrophytes var. erinacei (organism) and Finding site (attribute) Structure of integumentary system (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Onychomycosis caused by Trichophyton tonsurans variant tonsurans (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Causative agent (attribute) Trichophyton tonsurans var tonsurans (organism) and Finding site (attribute) Nail unit structure (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Tinea caused by Trichophyton tonsurans (disorder) is equivalent to Superficial mycosis (disorder) that Role group (attribute)  something that Causative agent (attribute) Trichophyton tonsurans (organism) and Finding site (attribute) Structure of integumentary system (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Tinea corporis caused by Trichophyton tonsurans variant tonsurans (disorder) is equivalent to Tinea corporis (disorder) that Role group (attribute)  something that Causative agent (attribute) Trichophyton tonsurans var tonsurans (organism) and Finding site (attribute) Structure of integumentary system (body structure) and Pathological process (attribute) Infectious process (qualifier value)

Trichophyton tonsurans var tonsurans (organism) is a subclass of Trichophyton tonsurans (organism)

Genus Trichophyton (organism) is a subclass of Dermatophyte (organism) and Family Arthrodermataceae (organism)


Question: Extract the minimal support axioms for the conclusion: Allergy to component of vaccine product containing Rabies lyssavirus antigen (finding) is a subclass of Allergy to component of vaccine product (finding)

Allergy to component of vaccine product (finding) is equivalent to Propensity to adverse reaction (finding) that Role group (attribute)  something that Causative agent (attribute) Vaccine product (medicinal product) and Has realization (attribute) Allergic process (qualifier value)

Vaccine product (medicinal product) is equivalent to Medicinal product (product) that Plays role (attribute) Active immunity stimulant role (role)

Allergy to component of vaccine product containing Influenza virus antigen (finding) is a subclass of Propensity to adverse reaction (finding) that Role group (attribute)  something that Causative agent (attribute) Vaccine product containing Influenza virus antigen (medicinal product) and Has realization (attribute) Allergic process (qualifier value)

Allergy to component of vaccine product containing Vaccinia virus antigen (finding) is a subclass of Propensity to adverse reaction (finding) that Role group (attribute)  something that Causative agent (attribute) Vaccine product containing Vaccinia virus antigen (medicinal product) and Has realization (attribute) Allergic process (qualifier value)

Allergy to component of vaccine product containing Rabies lyssavirus antigen (finding) is a subclass of Propensity to adverse reaction (finding) that Role group (attribute)  something that Causative agent (attribute) Vaccine product containing Rabies lyssavirus antigen (medicinal product) and Has realization (attribute) Allergic process (qualifier value)

Allergy to component of vaccine product containing Rubella virus antigen (finding) is a subclass of Propensity to adverse reaction (finding) that Role group (attribute)  something that Causative agent (attribute) Vaccine product containing Rubella virus antigen (medicinal product) and Has realization (attribute) Allergic process (qualifier value)

Vaccine product containing Rabies lyssavirus antigen (medicinal product) is equivalent to Medicinal product (product) that Role group (attribute) something that Has active ingredient (attribute) Antigen of Rabies lyssavirus (substance) and Plays role (attribute) Active immunity stimulant role (role)

Adverse reaction to component of vaccine product containing Rabies lyssavirus antigen (disorder) is a subclass of Adverse reaction (disorder) that Role group (attribute) something that Causative agent (attribute) Vaccine product containing Rabies lyssavirus antigen (medicinal product)


Question: Extract the minimal support axioms for the conclusion: Four dimensional ultrasonography (procedure) is a subclass of Ultrasonography (procedure)

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

3D mode ultrasound (qualifier value) is a subclass of Ultrasound imaging - action (qualifier value)

Three dimensional ultrasound imaging of heart (procedure) is a subclass of Echocardiography (procedure)

Four dimensional ultrasound imaging of heart (procedure) is a subclass of Four dimensional ultrasonography (procedure) that Role group (attribute)  something that Method (attribute) 3D mode ultrasound (qualifier value) and Procedure site - Direct (attribute) Heart structure (body structure)

Ultrasonography by mode (procedure) is a subclass of Ultrasonography (procedure)

Four dimensional ultrasonography (procedure) is a subclass of Procedure (procedure) that Role group (attribute) something that Method (attribute) 3D mode ultrasound (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Transplant rejection of cornea of right eye (disorder) is a subclass of Corneal graft rejection (disorder)

Structure of cornea of right eye (body structure) is equivalent to Structure of right eye proper (body structure) and Corneal structure (body structure) that Laterality (attribute) Right (qualifier value)

Structure of transplanted cornea of right eye (body structure) is equivalent to Structure of transplanted cornea (body structure) that Laterality (attribute) Right (qualifier value)

Corneal subepithelial allograft rejection (disorder) is a subclass of Corneal allograft rejection (disorder) that Role group (attribute) something that After (attribute) Corneal transplant (procedure) and something that Finding site (attribute) Structure of transplanted cornea (body structure) and something that Due to (attribute) Corneal transplant (procedure)

Corneal allograft rejection (disorder) is a subclass of Transplanted organ rejection (disorder) that Role group (attribute) something that After (attribute) Corneal transplant (procedure) and something that Finding site (attribute) Structure of transplanted cornea (body structure) and something that Due to (attribute) Corneal transplant (procedure)

Corneal epithelial allograft rejection (disorder) is a subclass of Corneal allograft rejection (disorder) that Role group (attribute) something that After (attribute) Corneal transplant (procedure) and something that Finding site (attribute) Structure of transplanted cornea (body structure) and something that Due to (attribute) Corneal transplant (procedure)

Corneal transplant (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical transplantation - action (qualifier value) and Direct substance (attribute) Corneal graft material (substance) and Procedure site - Direct (attribute) Corneal structure (body structure)

Rejection of corneal graft after penetrating keratoplasty (disorder) is equivalent to Transplanted organ rejection (disorder) that Role group (attribute) something that After (attribute) Penetrating keratoplasty (procedure) and something that Finding site (attribute) Structure of transplanted cornea (body structure) and something that Due to (attribute) Penetrating keratoplasty (procedure)

Transplant rejection of cornea of right eye (disorder) is equivalent to Transplanted organ rejection (disorder) that Role group (attribute) something that After (attribute) Transplant of cornea of right eye (procedure) and something that Finding site (attribute) Structure of transplanted cornea of right eye (body structure)

Corneal endothelial allograft rejection (disorder) is a subclass of Corneal allograft rejection (disorder) that Role group (attribute) something that After (attribute) Endothelial keratoplasty (procedure) and something that Finding site (attribute) Structure of transplanted cornea (body structure) and something that Due to (attribute) Corneal transplant (procedure)

Transplant rejection of cornea of bilateral eyes (disorder) is equivalent to Transplanted organ rejection (disorder) that Role group (attribute) something that After (attribute) Transplant of bilateral cornea of eyes (procedure) and something that Finding site (attribute) Structure of transplanted cornea of left eye (body structure) and something that Finding site (attribute) Structure of transplanted cornea of right eye (body structure)

Corneal graft rejection (disorder) is equivalent to Transplanted organ rejection (disorder) that Role group (attribute) something that After (attribute) Corneal transplant (procedure) and something that Finding site (attribute) Structure of transplanted cornea (body structure)

Transplant of cornea of right eye (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Surgical transplantation - action (qualifier value) and Direct substance (attribute) Corneal graft material (substance) and Procedure site - Direct (attribute) Structure of cornea of right eye (body structure)


Question: Extract the minimal support axioms for the conclusion: Percutaneous cryotherapy of neoplasm of left kidney (procedure) is a subclass of Destruction of lesion of kidney (procedure)

Percutaneous cryotherapy of neoplasm of left kidney (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Cryotherapy - action (qualifier value) and Direct morphology (attribute) Neoplasm (morphologic abnormality) and Procedure site - Direct (attribute) Left kidney structure (body structure)

Neoplasm and/or hamartoma (morphologic abnormality) is a subclass of Proliferative mass (morphologic abnormality)

Vaccine declined by patient (situation) is equivalent to Situation with explicit context (situation) that Role group (attribute)  something that Associated procedure (attribute) Administration of vaccine to produce active immunity (procedure) and Procedure context (attribute) Refused (qualifier value) and Temporal context (attribute) Current or past (actual) (qualifier value) and Subject relationship context (attribute) Subject of record (person)

Percutaneous radiofrequency ablation of lesion of kidney (procedure) is equivalent to Destruction of lesion of kidney (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Ablation - action (qualifier value) and Direct morphology (attribute) Lesion (morphologic abnormality) and Procedure site - Direct (attribute) Kidney structure (body structure) and Using device (attribute) Radiofrequency controlled thermal probe (physical object)

Local destruction of lesion of kidney (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Destruction - action (qualifier value) and Direct morphology (attribute) Lesion (morphologic abnormality) and Procedure site - Direct (attribute) Kidney structure (body structure)

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

Percutaneous cryoablation of neoplasm of kidney using computed tomography guidance (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Cryoablation - action (qualifier value) and Direct morphology (attribute) Neoplasm (morphologic abnormality) and Procedure site - Direct (attribute) Kidney structure (body structure) and  something that Method (attribute) Computed tomography imaging - action (qualifier value) and Direct morphology (attribute) Neoplasm (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Direct (attribute) Kidney structure (body structure)

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

Intralesional cryotherapy of lesion of skin (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Cryotherapy - action (qualifier value) and Direct morphology (attribute) Lesion (morphologic abnormality) and Procedure site - Direct (attribute) Skin structure (body structure)

Percutaneous cryoablation of neoplasm of left kidney using computed tomography guidance (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Cryoablation - action (qualifier value) and Direct morphology (attribute) Neoplasm (morphologic abnormality) and Procedure site - Direct (attribute) Left kidney structure (body structure) and  something that Method (attribute) Computed tomography imaging - action (qualifier value) and Direct morphology (attribute) Neoplasm (morphologic abnormality) and Has intent (attribute) Guidance intent (qualifier value) and Procedure site - Indirect (attribute) Left kidney structure (body structure)

Simple cryosurgical destruction of lesion of penis (procedure) is a subclass of Destruction of lesion of penis (procedure) that Role group (attribute)  something that Method (attribute) Cryosurgery - action (qualifier value) and Direct morphology (attribute) Lesion (morphologic abnormality) and Procedure site - Direct (attribute) Penile structure (body structure)

Mass (morphologic abnormality) is a subclass of Lesion (morphologic abnormality)

Cryosurgical system (physical object) is a subclass of Tissue ablation system (physical object)

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

Neoplasm (morphologic abnormality) is a subclass of Neoplasm and/or hamartoma (morphologic abnormality)

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

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

Open cryotherapy to lesion of rectum (procedure) is a subclass of Cryosurgery (procedure) that Role group (attribute)  something that Method (attribute) Cryosurgery - action (qualifier value) and Direct morphology (attribute) Lesion (morphologic abnormality) and Procedure site - Direct (attribute) Rectum structure (body structure)

Cryocuff treatment (procedure) is a subclass of Cryotherapy (procedure)

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

Cryotherapy of lesion of bladder (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Cryotherapy - action (qualifier value) and Direct morphology (attribute) Lesion (morphologic abnormality) and Procedure site - Direct (attribute) Urinary bladder structure (body structure) and Using device (attribute) Cryosurgical system (physical object)

Endoscopic cryoablation of lesion of kidney (procedure) is equivalent to Endoscopic procedure (procedure) and Destruction of lesion of kidney (procedure) that Role group (attribute)  something that Method (attribute) Cryoablation - action (qualifier value) and Direct morphology (attribute) Lesion (morphologic abnormality) and Procedure site - Direct (attribute) Kidney structure (body structure) and Using access device (attribute) Endoscope, device (physical object)

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

Proliferative mass (morphologic abnormality) is a subclass of Proliferation (morphologic abnormality) and Mass (morphologic abnormality)

Percutaneous cryotherapy of neoplasm of right kidney (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Access (attribute) Percutaneous approach - access (qualifier value) and Method (attribute) Cryotherapy - action (qualifier value) and Direct morphology (attribute) Neoplasm (morphologic abnormality) and Procedure site - Direct (attribute) Right kidney structure (body structure)

Left kidney structure (body structure) is equivalent to Structure of left side of trunk (body structure) and Kidney structure (body structure) that Laterality (attribute) Left (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Poisoning caused by copperhead snake venom (disorder) is a subclass of Poisoning caused by pit viper venom (disorder)

Poisoning caused by viper venom (disorder) is equivalent to Poisoning (disorder) that Role group (attribute) something that Causative agent (attribute) Viperid venom (substance)

Poisoning caused by pit viper venom (disorder) is equivalent to Poisoning (disorder) that Role group (attribute) something that Causative agent (attribute) Pit viper venom (substance)

Poisoning caused by true viper venom (disorder) is equivalent to Poisoning (disorder) that Role group (attribute) something that Causative agent (attribute) Viperinae venom (substance)

Poisoning caused by copperhead snake venom (disorder) is equivalent to Poisoning (disorder) that Role group (attribute) something that Causative agent (attribute) Agkistrodon contortrix venom (substance)

Poisoning caused by cobra family snake venom (disorder) is equivalent to Poisoning (disorder) that Role group (attribute) something that Causative agent (attribute) Elapid venom (substance)

Agkistrodon contortrix venom (substance) is a subclass of Pit viper venom (substance)


Question: Extract the minimal support axioms for the conclusion: Amniotic fluid alpha-fetoprotein above reference range (finding) is a subclass of Amniotic fluid alpha-fetoprotein outside reference range (finding)

Above reference range (qualifier value) is a subclass of Increased (qualifier value) and Outside reference range (qualifier value)

Amniotic fluid chemistry outside reference range (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Outside reference range (qualifier value) and Interprets (attribute) Amniotic fluid chemistry procedure (procedure)

Amniotic fluid alpha-fetoprotein outside reference range (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Outside reference range (qualifier value) and Interprets (attribute) Alpha-1-Fetoprotein measurement, amniotic fluid (procedure)

Amniotic fluid alpha-fetoprotein above reference range (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Above reference range (qualifier value) and Interprets (attribute) Alpha-1-Fetoprotein measurement, amniotic fluid (procedure)

Alpha-fetoprotein above reference range (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Above reference range (qualifier value) and Interprets (attribute) Alpha-1-Fetoprotein measurement (procedure)

Amniotic fluid alpha-fetoprotein within reference range (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Has interpretation (attribute) Within reference range (qualifier value) and Interprets (attribute) Alpha-1-Fetoprotein measurement, amniotic fluid (procedure)


Question: Extract the minimal support axioms for the conclusion: Acute gastric ulcer with hemorrhage and perforation (disorder) is a subclass of Acute peptic ulcer with hemorrhage and perforation (disorder)

Acute peptic ulcer with hemorrhage AND with perforation but without obstruction (disorder) is a subclass of Peptic ulcer with hemorrhage AND with perforation but without obstruction (disorder) that Role group (attribute)  something that Associated morphology (attribute) Acute bleeding ulcer (morphologic abnormality) and Finding site (attribute) Upper gastrointestinal tract structure (body structure) and  something that Associated morphology (attribute) Perforated ulcer (morphologic abnormality) and Finding site (attribute) Stomach and/or duodenal structures (body structure) and something that Clinical course (attribute) Sudden onset AND/OR short duration (qualifier value)

Gastric ulcer without hemorrhage AND without perforation (disorder) is a subclass of Gastric ulcer (disorder) that Role group (attribute)  something that Associated morphology (attribute) Ulcer (morphologic abnormality) and Finding site (attribute) Stomach structure (body structure)

Stomach structure (body structure) is a subclass of Stomach and/or duodenal structures (body structure) and Esophageal and/or gastric structures (body structure) and Mouth, esophagus and stomach structures (body structure) and Digestive organ structure (body structure) and Structure of organ within abdomen proper cavity (body structure)

Duodenal ulcer without hemorrhage AND without perforation (disorder) is a subclass of Ulcer of duodenum (disorder)

Acute gastric ulcer with hemorrhage and perforation (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Acute bleeding ulcer (morphologic abnormality) and Finding site (attribute) Stomach structure (body structure) and  something that Associated morphology (attribute) Hemorrhage (morphologic abnormality) and Finding site (attribute) Structure of vasculature within stomach (body structure) and  something that Associated morphology (attribute) Perforated ulcer (morphologic abnormality) and Finding site (attribute) Stomach structure (body structure) and something that Clinical course (attribute) Sudden onset AND/OR short duration (qualifier value)

Esophageal and/or gastric structures (body structure) is a subclass of Upper gastrointestinal tract structure (body structure)

Gastric ulcer without hemorrhage, without perforation AND without obstruction (disorder) is a subclass of Gastric ulcer without hemorrhage AND without perforation (disorder) that Role group (attribute)  something that Associated morphology (attribute) Ulcer (morphologic abnormality) and Finding site (attribute) Stomach structure (body structure)

Acute peptic ulcer with hemorrhage and perforation (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Acute bleeding ulcer (morphologic abnormality) and Finding site (attribute) Upper gastrointestinal tract structure (body structure) and  something that Associated morphology (attribute) Perforated ulcer (morphologic abnormality) and Finding site (attribute) Upper gastrointestinal tract structure (body structure) and something that Clinical course (attribute) Sudden onset AND/OR short duration (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Radionuclide identification of eye tumor (procedure) is a subclass of Radionuclide ophthalmology study (procedure)

Nuclear medicine imaging procedure (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Radionuclide imaging - action (qualifier value) and Using substance (attribute) Radioactive isotope (substance)

Structure of sensory organ (body structure) is a subclass of Body organ structure (body structure)

Radionuclide ophthalmology study (procedure) is equivalent to Radioisotope scan of head (procedure) that Role group (attribute)  something that Method (attribute) Radionuclide imaging - action (qualifier value) and Procedure site - Direct (attribute) Eye region structure (body structure) and Using substance (attribute) Radioactive isotope (substance)

Structure of eye proper (body structure) is a subclass of Structure of sensory organ (body structure) and Eye region structure (body structure)

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

Targeted radionuclide therapy (procedure) is a subclass of Radionuclide therapy (procedure)

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)

Nuclear medicine study by site (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Procedure site - Direct (attribute) Anatomical or acquired body structure (body structure) and Using substance (attribute) Radioactive isotope (substance)

Radionuclide study for localization of tumor or inflammatory disease (procedure) is a subclass of Nuclear medicine imaging procedure (procedure) that Role group (attribute)  something that Method (attribute) Radionuclide imaging - action (qualifier value) and Using substance (attribute) Radioactive isotope (substance)

Tracer study of eye (procedure) is a subclass of Procedure on eye proper (procedure) and Radionuclide ophthalmology study (procedure)

Radionuclide study of respiratory function (procedure) is a subclass of Radioisotope study of respiratory system (procedure) and Nuclear medicine study of function (procedure)

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

Radionuclide therapy for gland ablation (procedure) is a subclass of Radionuclide therapy (procedure)

Special radionuclide imaging technique (procedure) is a subclass of Nuclear medicine imaging procedure (procedure)

Radionuclide localization of tumor (procedure) is a subclass of Nuclear medicine imaging procedure (procedure) that Role group (attribute)  something that Method (attribute) Radionuclide imaging - action (qualifier value) and Direct morphology (attribute) Neoplasm (morphologic abnormality) and Using substance (attribute) Radioactive isotope (substance)

Eye region structure (body structure) is a subclass of Structure of half of head lateral to midsagittal plane (body structure) and Structure of visual system (body structure)

Radioisotope scan of head (procedure) is equivalent to Nuclear medicine study by site (procedure) that Role group (attribute)  something that Method (attribute) Radionuclide imaging - action (qualifier value) and Procedure site - Direct (attribute) Head structure (body structure) and Using substance (attribute) Radioactive isotope (substance)

Calculation of radionuclide therapy (procedure) is a subclass of Radiotherapy calculation (procedure)

Radiotherapy using radioactive plaque on eye (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Brachytherapy - action (qualifier value) and Procedure site - Indirect (attribute) Eye region structure (body structure) and Using device (attribute) Brachytherapy implant (physical object) and Using energy (attribute) Radiation (physical force) and Using substance (attribute) Radioactive isotope (substance)

Nuclear medicine study of function (procedure) is a subclass of Nuclear medicine procedure (procedure)

Structure of subregion of head (body structure) is a subclass of Head part (body structure)

Radionuclide identification of eye tumor (procedure) is a subclass of Nuclear medicine imaging procedure (procedure) that Role group (attribute)  something that Method (attribute) Radionuclide imaging - action (qualifier value) and Direct morphology (attribute) Neoplasm (morphologic abnormality) and Procedure site - Direct (attribute) Structure of eye proper (body structure) and Using substance (attribute) Radioactive isotope (substance)

Radionuclide lacrimal flow study (procedure) is a subclass of Procedure on lacrimal gland (procedure) that Role group (attribute)  something that Method (attribute) Radionuclide imaging - action (qualifier value) and Procedure site - Direct (attribute) Lacrimal gland structure (body structure) and Using substance (attribute) Radioactive isotope (substance)

Nuclear medicine service (procedure) is a subclass of Physician service (procedure)

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

Radionuclide localization of tumor, whole body (procedure) is a subclass of Radionuclide localization of tumor (procedure) that Role group (attribute)  something that Method (attribute) Radionuclide imaging - action (qualifier value) and Direct morphology (attribute) Neoplasm (morphologic abnormality) and Procedure site - Direct (attribute) Entire body as a whole (body structure) and Using substance (attribute) Radioactive isotope (substance)


Question: Extract the minimal support axioms for the conclusion: Tetracosactrin adverse reaction (disorder) is a subclass of Corticotrophins adverse reaction (disorder)

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

Corticotrophins adverse reaction (disorder) is equivalent to Adverse reaction (disorder) that Role group (attribute) something that Causative agent (attribute) Adrenocorticotropic hormone and/or adrenocorticotropic hormone derivative (substance)

Tetracosactide acetate (substance) is a subclass of Adrenocorticotropic hormone and/or adrenocorticotropic hormone derivative (substance) that Has disposition (attribute) Anterior pituitary hormone (disposition) and Is modification of (attribute) Tetracosactide (substance)

Tetracosactide (substance) is a subclass of Adrenocorticotropic hormone and/or adrenocorticotropic hormone derivative (substance) that Has disposition (attribute) Anterior pituitary hormone (disposition)

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

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


Question: Extract the minimal support axioms for the conclusion: Primary seminoma of descended left testis (disorder) is a subclass of Primary seminoma of left testis (disorder)

Structure of left testis (body structure) is equivalent to Testis structure (body structure) and Structure of left side of trunk (body structure) that Laterality (attribute) Left (qualifier value)

Primary nonseminomatous germ cell neoplasm of left descended testis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Germ cell tumor, nonseminomatous (morphologic abnormality) and Finding site (attribute) Structure of descended left testis (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Structure of descended left testis (body structure) is equivalent to Descended testis structure (body structure) that Laterality (attribute) Left (qualifier value)

Structure of left side of trunk (body structure) is equivalent to Structure of half of trunk lateral to midsagittal plane (body structure) that Laterality (attribute) Left (qualifier value)

Primary seminoma of descended bilateral testes (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant seminoma (morphologic abnormality) and Finding site (attribute) Structure of descended right testis (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value) and  something that Associated morphology (attribute) Malignant seminoma (morphologic abnormality) and Finding site (attribute) Structure of descended left testis (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Primary seminoma of descended testis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant seminoma (morphologic abnormality) and Finding site (attribute) Descended testis structure (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Testis structure (body structure) is a subclass of Scrotal and testis structures (body structure) and Male internal genitalia structure (body structure) and Gonadal structure (body structure)

Primary seminoma of undescended left testis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant seminoma (morphologic abnormality) and Finding site (attribute) Structure of undescended left testis (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

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

Primary seminoma of descended right testis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant seminoma (morphologic abnormality) and Finding site (attribute) Structure of descended right testis (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Primary seminoma of descended left testis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant seminoma (morphologic abnormality) and Finding site (attribute) Structure of descended left testis (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Seminoma of descended testis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant seminoma (morphologic abnormality) and Finding site (attribute) Descended testis structure (body structure)

Descended testis structure (body structure) is a subclass of Testis structure (body structure)

Gonadal structure (body structure) is a subclass of Body organ structure (body structure) and Structure of half of trunk lateral to midsagittal plane (body structure) and Genital structure (body structure)

Primary seminoma of undescended testis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant seminoma (morphologic abnormality) and Finding site (attribute) Structure of undescended testis (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Primary seminoma of left testis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Malignant seminoma (morphologic abnormality) and Finding site (attribute) Structure of left testis (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Malformation of teeth (disorder) is a subclass of Malformation of tooth (disorder)

Subluxation of tooth (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Dislocation, incomplete (morphologic abnormality) and Finding site (attribute) Tooth structure (body structure)

Structure of dentition (body structure) is a subclass of Tooth structure (body structure)

Abnormal form of tooth (finding) is a subclass of Form of tooth (finding)

Malformation of tooth (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Finding site (attribute) Tooth structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Abnormally formed tooth (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Finding site (attribute) Tooth structure (body structure)

Malformation of teeth (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Morphologically abnormal structure (morphologic abnormality) and Finding site (attribute) Structure of dentition (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Application of cast brace (procedure) is a subclass of Application of brace (procedure)

Application of tibial cast brace (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Application - action (qualifier value) and Direct device (attribute) Cast brace (physical object) and Procedure site - Indirect (attribute) Structure of lower extremity from knee to ankle (body structure)

Application of upper limb cast brace with elbow hinges (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Application - action (qualifier value) and Direct device (attribute) Functional cast brace (physical object) and Procedure site - Indirect (attribute) Upper limb structure (body structure)

Application of cast brace (procedure) is equivalent to Application of cast (procedure) that Role group (attribute)  something that Method (attribute) Application - action (qualifier value) and Direct device (attribute) Cast brace (physical object)

Application of brace (procedure) is equivalent to Application of device (procedure) that Role group (attribute)  something that Method (attribute) Application - action (qualifier value) and Direct device (attribute) Brace (physical object)

Cast brace (physical object) is a subclass of Cast device (physical object) and Brace (physical object)

Application of humeral cast brace (procedure) is a subclass of Application of cast brace (procedure) that Role group (attribute)  something that Method (attribute) Application - action (qualifier value) and Direct device (attribute) Cast brace (physical object) and Procedure site - Indirect (attribute) Structure of upper extremity between shoulder and elbow (body structure)

Application of cast (procedure) is equivalent to Application (procedure) that Role group (attribute)  something that Method (attribute) Application - action (qualifier value) and Direct device (attribute) Cast device (physical object)

Conversion of static cast brace to functional cast brace (procedure) is a subclass of Adjustment of cast brace (procedure)

Remolding of cast brace (procedure) is a subclass of Adjustment of cast brace (procedure)

Stabilizing appliance, device (physical object) is a subclass of Orthopedic device (physical object) and Appliance (physical object)

Application of below knee cast brace with ankle hinges (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Application - action (qualifier value) and Direct device (attribute) Functional cast brace (physical object) and Procedure site - Indirect (attribute) Structure of lower extremity from knee to ankle (body structure)

Brace (physical object) is a subclass of Stabilizing appliance, device (physical object)

Dysmotility of small intestine caused by drug (disorder) is equivalent to Motility disorder of intestine (disorder) that Role group (attribute)  something that Causative agent (attribute) Drug or medicament (substance) and Finding site (attribute) Structure of small intestine (body structure) and  something that Has interpretation (attribute) Abnormal (qualifier value) and Interprets (attribute) Small bowel motility, function (observable entity)

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

Application of forearm cast brace with wrist hinges (procedure) is a subclass of Application of functional cast brace (procedure) that Role group (attribute)  something that Method (attribute) Application - action (qualifier value) and Direct device (attribute) Functional cast brace (physical object) and Procedure site - Indirect (attribute) Forearm structure (body structure)

Application of static cast brace (procedure) is a subclass of Application of cast brace (procedure)

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

Application of device (procedure) is equivalent to Application (procedure) that Role group (attribute)  something that Method (attribute) Application - action (qualifier value) and Direct device (attribute) Device (physical object)


Question: Extract the minimal support axioms for the conclusion: Apophyseal sclerosis (disorder) is a subclass of Disorder of bone (disorder)

Structure of apophysis (body structure) is a subclass of Bone part (body structure)

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

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

Apophyseal sclerosis (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Sclerosis (morphologic abnormality) and Finding site (attribute) Structure of apophysis (body structure)

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

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

Osteosclerotic metaphyseal dysplasia (disorder) is a subclass of Autosomal recessive hereditary disorder (disorder) that Role group (attribute)  something that Associated morphology (attribute) Dysplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of metaphysis (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Bony sclerosis (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and something that Clinical course (attribute) Progressive (qualifier value)

Bony sclerosis (morphologic abnormality) is a subclass of Fibrosis AND/OR repair abnormality (morphologic abnormality)