Question: Extract the minimal support axioms for the conclusion: Family history of myocardial infarct in first degree female relative less than 65 years of age (situation) is a subclass of Family history: Myocardial infarction (situation)

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

Relative (person) is a subclass of Person in the family (person)

Family history: Myocardial infarct in first degree male relative less than 55 years (situation) is a subclass of Family history with explicit context (situation) that Role group (attribute)  something that Associated finding (attribute) Myocardial infarction (disorder) and Finding context (attribute) Known present (qualifier value) and Temporal context (attribute) Current or past (actual) (qualifier value) and Subject relationship context (attribute) First degree blood relative (person)

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

First degree blood relative (person) is a subclass of Blood relative (person)

Family history of myocardial infarct in first degree female relative less than 65 years of age (situation) is a subclass of Family history with explicit context (situation) that Role group (attribute)  something that Associated finding (attribute) Myocardial infarction (disorder) and Finding context (attribute) Known present (qualifier value) and Temporal context (attribute) Current or past (actual) (qualifier value) and Subject relationship context (attribute) First degree blood relative (person)

Family history of myocardial infarction in female relative of first degree, age unknown (situation) is a subclass of Family history: Myocardial infarction (situation) that Role group (attribute)  something that Associated finding (attribute) Myocardial infarction (disorder) and Finding context (attribute) Known present (qualifier value) and Temporal context (attribute) Current or past (actual) (qualifier value) and Subject relationship context (attribute) First degree blood relative (person)

Blood relative (person) is a subclass of Relative (person)

Family history of myocardial infarction in male relative of first degree, age unknown (situation) is a subclass of Family history: Myocardial infarction (situation) that Role group (attribute)  something that Associated finding (attribute) Myocardial infarction (disorder) and Finding context (attribute) Known present (qualifier value) and Temporal context (attribute) Current or past (actual) (qualifier value) and Subject relationship context (attribute) First degree blood relative (person)

Family history of myocardial infarction in female relative of first degree, age known (situation) is a subclass of Family history with explicit context (situation) that Role group (attribute)  something that Associated finding (attribute) Myocardial infarction (disorder) and Finding context (attribute) Known present (qualifier value) and Temporal context (attribute) Current or past (actual) (qualifier value) and Subject relationship context (attribute) First degree blood relative (person)


Question: Extract the minimal support axioms for the conclusion: Phosphomethylpyrimidine kinase (substance) is a subclass of Substance with kinase mechanism of action (substance)

5-methyldeoxycytidine-5'-phosphate kinase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Kinase (disposition)

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

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

Substance with kinase mechanism of action (substance) is equivalent to Substance (substance) that Has disposition (attribute) Kinase (disposition)

Phosphomevalonate kinase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Kinase (disposition)

Phosphomethylpyrimidine kinase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Kinase (disposition)

Adenosine monophosphate thymidine kinase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Kinase (disposition)

Transjugular intrahepatic venography of portal vein (procedure) is a subclass of Procedure (procedure) that Role group (attribute)  something that Method (attribute) Imaging - action (qualifier value) and Procedure site - Direct (attribute) Portal vein structure (body structure)

Hydroxymethylpyrimidine kinase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Kinase (disposition)

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


Question: Extract the minimal support axioms for the conclusion: Pseudohypoparathyroidism type 1C (disorder) is a subclass of Hereditary disorder of endocrine system (disorder)

Pseudopseudohypoparathyroidism (disorder) is a subclass of Pseudohypoparathyroidism and pseudopseudohypoparathyroidism (disorder) and Pseudohypoparathyroidism (disorder) that Role group (attribute) something that Finding site (attribute) Structure of endocrine system (body structure)

Hereditary isolated hypoparathyroidism due to impaired parathormone secretion (disorder) is a subclass of Hereditary disease (disorder) and Hypoparathyroidism due to impaired parathormone secretion (disorder) that Role group (attribute)  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Hormone secretion, function (observable entity) and something that Finding site (attribute) Parathyroid structure (body structure)

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

Hereditary isolated hypoparathyroidism due to agenesis of parathyroid gland (disorder) is a subclass of Hereditary disease (disorder) and Hypoparathyroidism (disorder) that Role group (attribute)  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Hormone secretion, function (observable entity) and something that Finding site (attribute) Parathyroid structure (body structure) and something that Due to (attribute) Congenital absence of parathyroid gland (disorder)

Pseudohypoparathyroidism type I B (disorder) is a subclass of Pseudohypoparathyroidism (disorder)

Hereditary disorder of endocrine system (disorder) is equivalent to Hereditary disease (disorder) that Role group (attribute) something that Finding site (attribute) Structure of endocrine system (body structure)

Pseudohypoparathyroidism type II (disorder) is a subclass of Pseudohypoparathyroidism (disorder)

Familial isolated hypoparathyroidism (disorder) is a subclass of Hereditary disease (disorder) and Hypoparathyroidism (disorder) that Role group (attribute)  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Hormone secretion, function (observable entity) and something that Finding site (attribute) Parathyroid structure (body structure)

Pseudohypoparathyroidism (disorder) is a subclass of Hypoparathyroidism (disorder) and Hypocalcemia (disorder) that Role group (attribute)  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Hormone secretion, function (observable entity) and something that Finding site (attribute) Parathyroid structure (body structure)

Pseudohypoparathyroidism type 1C (disorder) is a subclass of Autosomal dominant hereditary disorder (disorder) and Pseudohypoparathyroidism (disorder)

Parathyroid structure (body structure) is a subclass of Thyroid and/or parathyroid structures (body structure) and Structure of half of neck lateral to midsagittal plane (body structure)

Endocrine gland structure (body structure) is a subclass of Structure of endocrine system (body structure) and Gland structure (body structure)

Pseudohypoparathyroidism and pseudopseudohypoparathyroidism (disorder) is a subclass of Disorder of endocrine system (disorder) and Hypocalcemia (disorder) that Role group (attribute) something that Finding site (attribute) Structure of endocrine system (body structure)

Thyroid and/or parathyroid structures (body structure) is a subclass of Endocrine gland structure (body structure) and Neck structure (body structure)

Pseudohypoparathyroidism type I A (disorder) is a subclass of Autosomal dominant hereditary disorder (disorder) and Acromesomelic dysplasia group (disorder) and Pseudohypoparathyroidism (disorder) that Role group (attribute)  something that Associated morphology (attribute) Dysplasia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Bone structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Parathyroid structure (body structure) and  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Hormone secretion, function (observable entity)

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


Question: Extract the minimal support axioms for the conclusion: Arthrotomy and drainage of joint of thumb (procedure) is a subclass of Incision AND drainage of musculoskeletal system (procedure)

Arthrotomy for infection with drainage of carpometacarpal joint (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Structure of capsule of carpometacarpal joint (body structure) and  something that Method (attribute) Drainage - action (qualifier value) and Procedure site - Indirect (attribute) Carpometacarpal joint structure (body structure) and something that Has focus (attribute) Infectious disease (disorder)

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

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

Arthrotomy for infection with drainage of metacarpophalangeal joint (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Structure of capsule of metacarpophalangeal joint (body structure) and  something that Method (attribute) Drainage - action (qualifier value) and Procedure site - Indirect (attribute) Metacarpophalangeal joint structure (body structure) and something that Has focus (attribute) Infectious disorder of joint (disorder)

Arthrotomy with drainage of interphalangeal joint of toe (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Interphalangeal toe joint structure (body structure) and  something that Method (attribute) Drainage - action (qualifier value) and Procedure site - Indirect (attribute) Interphalangeal toe joint structure (body structure)

Arthrotomy with drainage of joint of finger (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Finger joint structure (body structure) and  something that Method (attribute) Drainage - action (qualifier value) and Procedure site - Indirect (attribute) Finger joint structure (body structure)

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

Structure of joint of digit of hand (body structure) is a subclass of Musculoskeletal structure of digit of hand (body structure) and Joint structure of digit (body structure) and Structure of joint of hand (body structure)

Thumb joint structure (body structure) is a subclass of Structure of joint of digit of hand (body structure) and Musculoskeletal structure of thumb (body structure) and Structure of thumb joint region (body structure)

Incision AND drainage of musculoskeletal system (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Structure of musculoskeletal system (body structure) and  something that Method (attribute) Drainage - action (qualifier value) and Procedure site - Indirect (attribute) Structure of musculoskeletal system (body structure)

Arthrotomy and drainage of joint of thumb (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Incision - action (qualifier value) and Procedure site - Direct (attribute) Thumb joint structure (body structure) and  something that Method (attribute) Drainage - action (qualifier value) and Procedure site - Indirect (attribute) Thumb joint structure (body structure)

Joint structure of limb (body structure) is a subclass of Joint structure of body region (body structure) and Musculoskeletal structure of limb (body structure) and Bone and/or joint structure of limb (body structure)

Free androgenic index 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) Free androgen index measurement (procedure)

Joint structure of digit (body structure) is a subclass of Musculoskeletal system structure of digit (body structure) and Joint structure of limb (body structure)

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

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


Question: Extract the minimal support axioms for the conclusion: Complete tear, sternum ligament (disorder) is a subclass of Ligament rupture (disorder)

Complete tear of sternoclavicular ligament (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Complete rupture (morphologic abnormality) and Finding site (attribute) Structure of ligament of sternoclavicular joint (body structure)

Complete tear, sternum ligament (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Complete rupture (morphologic abnormality) and Finding site (attribute) Structure of ligament of sternum (body structure)

Complete tear, chondrosternal ligament (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Complete rupture (morphologic abnormality) and Finding site (attribute) Structure of sternocostal ligament (body structure)

Complete rupture (morphologic abnormality) is a subclass of Rupture (morphologic abnormality) and Complete disruption (morphologic abnormality)

Complete tear, chondrocostal joint ligament (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Complete rupture (morphologic abnormality) and Finding site (attribute) Structure of sternocostal ligament (body structure)

Entire ligament of sternum (body structure) is a subclass of Structure of ligament of sternum (body structure)

Ligament rupture (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Rupture (morphologic abnormality) and Finding site (attribute) Structure of ligament (body structure)

Complete tear, costal cartilage ligament (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Complete rupture (morphologic abnormality) and Finding site (attribute) Structure of sternocostal ligament (body structure)

Structure of ligament of trunk (body structure) is a subclass of Structure of ligament (body structure)

Structure of ligament of sternum (body structure) is a subclass of Structure of sternal region (body structure) and Structure of ligament of trunk (body structure)


Question: Extract the minimal support axioms for the conclusion: Cyst of sweat gland of eyelid (disorder) is a subclass of Mass of skin of head (finding)

Skin structure of eye region (body structure) is a subclass of Skin of part of front of face (body structure) and Skin structure of lateral half of face (body structure) and Structure of skin and/or subcutaneous tissue of eye region (body structure)

External cyst of meibomian gland (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Cyst (morphologic abnormality) and Finding site (attribute) Structure of meibomian gland (body structure)

Apocrine hidrocystoma of eyelid (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Cystadenoma (morphologic abnormality) and Finding site (attribute) Structure of sweat gland of eyelid (body structure)

Skin of part of eye region (body structure) is a subclass of Skin structure of eye region (body structure)

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

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

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

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

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

Internal cyst of meibomian gland (disorder) is a subclass of Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Cyst (morphologic abnormality) and Finding site (attribute) Structure of meibomian gland (body structure)

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

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

Disease (disorder) is a subclass of Clinical finding (finding)

Mass of skin of head (finding) is equivalent to Clinical finding (finding) that Role group (attribute)  something that Associated morphology (attribute) Mass (morphologic abnormality) and Finding site (attribute) Skin structure of head (body structure)

Cyst of meibomian gland of upper eyelid (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Cyst (morphologic abnormality) and Finding site (attribute) Structure of meibomian gland of upper eyelid (body structure)

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

Entire sweat gland of eyelid (body structure) is a subclass of Structure of sweat gland of eyelid (body structure)

Acetylglutamate kinase (substance) is a subclass of Protein (substance) that Has disposition (attribute) Kinase (disposition)

Epidermal inclusion cyst of eyelid (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Epidermal inclusion cyst (morphologic abnormality) and Finding site (attribute) Eyelid structure (body structure)

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

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

Pseudotabes due to diabetes mellitus (disorder) is equivalent to Arthropathy associated with an endocrine AND/OR metabolic disorder (disorder) that Role group (attribute)  something that Associated morphology (attribute) Damage (morphologic abnormality) and Finding site (attribute) Structure of joint of foot (body structure) and something that Finding site (attribute) Peripheral nerve structure (body structure) and something that Due to (attribute) Diabetes mellitus (disorder)

Structure of sweat gland of eyelid (body structure) is a subclass of Sweat gland structure (body structure) and Skin structure of eyelid (body structure) and Structure of eyelid gland (body structure)

Cyst of sweat gland of eyelid (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Cyst (morphologic abnormality) and Finding site (attribute) Structure of sweat gland of eyelid (body structure)

Skin structure of eyelid and/or periocular area (body structure) is a subclass of Skin of part of eye region (body structure)

Skin structure of eyelid (body structure) is a subclass of Structure of anterior lamella of eyelid (body structure) and Skin structure of eyelid and/or periocular area (body structure)


Question: Extract the minimal support axioms for the conclusion: Aberrant parathyroid gland (disorder) is a subclass of Lesion of neck (disorder)

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

Ectopic hyperparathyroidism (disorder) is a subclass of Hyperparathyroidism (disorder) that Role group (attribute)  something that Associated morphology (attribute) Congenital ectopia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Parathyroid structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Thyroid and/or parathyroid structures (body structure) is a subclass of Endocrine gland structure (body structure) and Neck structure (body structure)

Heterotopic structure, either congenital or acquired (morphologic abnormality) is a subclass of Lesion (morphologic abnormality)

Hyperparathyroidism (disorder) is a subclass of Disorder of parathyroid gland (disorder) that Role group (attribute)  something that Has interpretation (attribute) Increased (qualifier value) and Interprets (attribute) Hormone secretion, function (observable entity)

Congenital absence of parathyroid gland (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Agenesis (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Entire parathyroid gland (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Aberrant parathyroid gland (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Congenital ectopia (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Parathyroid structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Congenital ectopia (morphologic abnormality) is a subclass of Heterotopic structure, either congenital or acquired (morphologic abnormality)

Absent parathyroid gland (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Finding site (attribute) Parathyroid structure (body structure)

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

Hereditary isolated hypoparathyroidism due to agenesis of parathyroid gland (disorder) is a subclass of Hereditary disease (disorder) and Hypoparathyroidism (disorder) that Role group (attribute)  something that Has interpretation (attribute) Decreased (qualifier value) and Interprets (attribute) Hormone secretion, function (observable entity) and something that Finding site (attribute) Parathyroid structure (body structure) and something that Due to (attribute) Congenital absence of parathyroid gland (disorder)

Parathyroid structure (body structure) is a subclass of Thyroid and/or parathyroid structures (body structure) and Structure of half of neck lateral to midsagittal plane (body structure)


Question: Extract the minimal support axioms for the conclusion: Internal fixation of fibula (procedure) is a subclass of Procedure on fibula (procedure)

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

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

Internal fixation of tibia (procedure) is a subclass of Internal skeletal fixation (procedure) that Role group (attribute)  something that Method (attribute) Fixation - action (qualifier value) and Procedure site - Direct (attribute) Bone structure of tibia (body structure)

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

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

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

Procedure on fibula (procedure) is equivalent to Procedure on bone (organ) (procedure) that Role group (attribute) something that Procedure site (attribute) Bone structure of fibula (body structure)

Internal fixation of tibia and fibula without fracture reduction (procedure) is a subclass of Internal fixation of fibula (procedure) and Internal fixation of tibia (procedure)

Procedure on bone (organ) (procedure) is equivalent to Procedure (procedure) that Role group (attribute) something that Procedure site (attribute) Bone structure (body structure)

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


Question: Extract the minimal support axioms for the conclusion: Complete bilateral cleft lip (disorder) is a subclass of Bilateral cleft lip (disorder)

Complete bilateral cleft lip (disorder) is equivalent to Complete left cleft lip (disorder) and Complete right cleft lip (disorder) that Role group (attribute)  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of left half of upper lip (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of right half of upper lip (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Bilateral congenital macrostomia (disorder) is a subclass of Congenital macrostomia of left side of mouth (disorder) and Congenital macrostomia of right side of mouth (disorder) that Role group (attribute)  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of right commissure of lips (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of left commissure of lips (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and something that Due to (attribute) Congenital failure of fusion between maxillary and mandibular processes (disorder)

Incomplete bilateral cleft lip (disorder) is equivalent to Incomplete right cleft lip (disorder) and Incomplete left cleft lip (disorder) that Role group (attribute)  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of left half of upper lip (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of right half of upper lip (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Bilateral complete cleft lip and bilateral complete cleft of alveolar process of maxilla (disorder) is a subclass of Complete left cleft lip and complete cleft of left alveolar process of maxilla (disorder) and Complete right cleft lip and complete cleft of right alveolar process of maxilla (disorder) that Role group (attribute)  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of left half of upper lip (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of right half of upper lip (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of left half of alveolar process of maxilla (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of right half of alveolar process of maxilla (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Complete cleft lip (disorder) is a subclass of Orofacial cleft (disorder) that Role group (attribute)  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Upper lip structure (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Bilateral cleft lip (disorder) is equivalent to Orofacial cleft (disorder) that Role group (attribute)  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of left half of upper lip (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value) and  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of right half of upper lip (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Incomplete left cleft lip (disorder) is a subclass of Incomplete cleft lip (disorder) that Role group (attribute)  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of left half of upper lip (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)

Complete right cleft lip (disorder) is a subclass of Complete cleft lip (disorder) that Role group (attribute)  something that Associated morphology (attribute) Developmental failure of fusion (morphologic abnormality) and Occurrence (attribute) Congenital (qualifier value) and Finding site (attribute) Structure of right half of upper lip (body structure) and Pathological process (attribute) Pathological developmental process (qualifier value)


Question: Extract the minimal support axioms for the conclusion: Primary angiosarcoma of skin of temporal region (disorder) is a subclass of Primary angiosarcoma of face (disorder)

Primary angiosarcoma of skin of lip (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Angiosarcoma (morphologic abnormality) and Finding site (attribute) Skin structure of lip (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

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

Angiosarcoma (disorder) is equivalent to Disease (disorder) that Role group (attribute) something that Associated morphology (attribute) Angiosarcoma (morphologic abnormality)

Structure of region of face (body structure) is a subclass of Face structure (body structure)

Primary angiosarcoma of face (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Angiosarcoma (morphologic abnormality) and Finding site (attribute) Face structure (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Primary angiosarcoma of skin of forehead (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Angiosarcoma (morphologic abnormality) and Finding site (attribute) Skin structure of forehead (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Primary angiosarcoma of axillary region (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Angiosarcoma (morphologic abnormality) and Finding site (attribute) Axillary region structure (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

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

Angiosarcoma of cheek (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Angiosarcoma (morphologic abnormality) and Finding site (attribute) Cheek structure (body structure)

Intravascular angiosarcoma (disorder) is a subclass of Disease (disorder) that Role group (attribute) something that Associated morphology (attribute) Hemangioendothelioma (morphologic abnormality)

Skin structure of side of face (body structure) is a subclass of Skin structure of lateral half of face (body structure)

Skin structure of temporal region (body structure) is a subclass of Skin of part of side of face (body structure) and Structure of temporal region (body structure)

Angiosarcoma (morphologic abnormality) is a subclass of Sarcoma (morphologic abnormality)

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

Primary angiosarcoma of skin of temporal region (disorder) is equivalent to Disease (disorder) that Role group (attribute)  something that Associated morphology (attribute) Angiosarcoma (morphologic abnormality) and Finding site (attribute) Skin structure of temporal region (body structure) and Pathological process (attribute) Malignant proliferation of primary neoplasm (qualifier value)

Skin of part of side of face (body structure) is a subclass of Skin structure of side of face (body structure)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/609155001> <http://snomed.info/id/419105006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/231291007> <http://snomed.info/id/177624004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/763883001> <http://snomed.info/id/767568004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/93230002> <http://snomed.info/id/93641007>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/1287144006> <http://snomed.info/id/49891000119106>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/74372003> <http://snomed.info/id/312118003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/225705006> <http://snomed.info/id/40654000>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/292044008> <http://snomed.info/id/419901001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/1237330009> <http://snomed.info/id/719881006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/372011009> <http://snomed.info/id/363503004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/310255003> <http://snomed.info/id/442225006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/156556008> <http://snomed.info/id/229844004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/294600007> <http://snomed.info/id/860778003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/444230006> <http://snomed.info/id/120231006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/121743002> <http://snomed.info/id/7557006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/771320000> <http://snomed.info/id/771253007>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/403063004> <http://snomed.info/id/402134005>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/294655005> <http://snomed.info/id/863903001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/1184609004> <http://snomed.info/id/16310003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/16058831000119102> <http://snomed.info/id/95742008>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/765474002> <http://snomed.info/id/52785004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/217652009> <http://snomed.info/id/241807005>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/1172710005> <http://snomed.info/id/168109006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/48974009> <http://snomed.info/id/111353003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/8693001> <http://snomed.info/id/241292003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/293275002> <http://snomed.info/id/293274003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/1081771000119107> <http://snomed.info/id/1081781000119105>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/1162865004> <http://snomed.info/id/422775003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/310890002> <http://snomed.info/id/424794007>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/95426000> <http://snomed.info/id/76069003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/290006> <http://snomed.info/id/367591000119105>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/397028007> <http://snomed.info/id/386609006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/782492006> <http://snomed.info/id/407312007>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/290557003> <http://snomed.info/id/241756003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/109395000> <http://snomed.info/id/128224008>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/42181000087100> <http://snomed.info/id/283435005>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/301544004> <http://snomed.info/id/301538003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/370142005> <http://snomed.info/id/48450000>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/27970007> <http://snomed.info/id/239953001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/1287064004> <http://snomed.info/id/1263978005>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/718908009> <http://snomed.info/id/363070008>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/54097007> <http://snomed.info/id/414029004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/74959008> <http://snomed.info/id/26160000>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/75701001> <http://snomed.info/id/130132002>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/53449006> <http://snomed.info/id/229013007>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/293312009> <http://snomed.info/id/446994009>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/128426007> <http://snomed.info/id/284400003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/310242004> <http://snomed.info/id/175472009>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/57971009> <http://snomed.info/id/400012003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/715201005> <http://snomed.info/id/55193002>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/167238004> <http://snomed.info/id/365430005>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/11304641000119107> <http://snomed.info/id/11304561000119105>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/122094002> <http://snomed.info/id/118120009>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/231322008> <http://snomed.info/id/118788009>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/95925006> <http://snomed.info/id/406137001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/734019006> <http://snomed.info/id/128289001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/303293004> <http://snomed.info/id/106030000>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/38711002> <http://snomed.info/id/78559005>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/96378009> <http://snomed.info/id/109030001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/108022006> <http://snomed.info/id/175898006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/762837002> <http://snomed.info/id/758684006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/201779000> <http://snomed.info/id/287008006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/86386006> <http://snomed.info/id/42300004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/1259444003> <http://snomed.info/id/93659005>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/292573001> <http://snomed.info/id/62014003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/247382002> <http://snomed.info/id/301366005>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/239972001> <http://snomed.info/id/118933004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/198106009> <http://snomed.info/id/111422001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/1263607001> <http://snomed.info/id/1269435001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/75581001> <http://snomed.info/id/280133005>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/88865007> <http://snomed.info/id/118157003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/430291004> <http://snomed.info/id/373198009>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/337421000119103> <http://snomed.info/id/128487001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/1926006> <http://snomed.info/id/128237006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/40267005> <http://snomed.info/id/128409001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/286311009> <http://snomed.info/id/286303004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/398970001> <http://snomed.info/id/400197008>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/112905007> <http://snomed.info/id/78072001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/297286001> <http://snomed.info/id/20721001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/46434000> <http://snomed.info/id/93017005>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/72275000> <http://snomed.info/id/413834006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/310291005> <http://snomed.info/id/442225006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/283613008> <http://snomed.info/id/283609001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/704189004> <http://snomed.info/id/704012001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/208043006> <http://snomed.info/id/16695002>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/16012191000119104> <http://snomed.info/id/1748006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/29451002> <http://snomed.info/id/49011004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/13370002> <http://snomed.info/id/26077002>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/206422009> <http://snomed.info/id/127335003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/405334005> <http://snomed.info/id/307631006>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/282584005> <http://snomed.info/id/302000008>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/212312007> <http://snomed.info/id/86269002>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/128163008> <http://snomed.info/id/127480001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/12209041000119109> <http://snomed.info/id/11780881000119107>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/1091031000119106> <http://snomed.info/id/1091471000119100>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/128321003> <http://snomed.info/id/128052008>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/430696004> <http://snomed.info/id/275134007>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/7847004> <http://snomed.info/id/363176004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/207949005> <http://snomed.info/id/125607007>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/16005391000119108> <http://snomed.info/id/451401000124107>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/126973004> <http://snomed.info/id/126981003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/366712007> <http://snomed.info/id/366710004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/288067001> <http://snomed.info/id/287908008>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/197848003> <http://snomed.info/id/735516004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/252874009> <http://snomed.info/id/371548008>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/179694004> <http://snomed.info/id/311426001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/448245009> <http://snomed.info/id/15003005>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/354321000119102> <http://snomed.info/id/1091461000119106>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/38059007> <http://snomed.info/id/23913003>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/871931002> <http://snomed.info/id/312087002>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/15745121000119100> <http://snomed.info/id/15745081000119102>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/773647007> <http://snomed.info/id/25906001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/63319008> <http://snomed.info/id/118807008>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/401066000> <http://snomed.info/id/266897007>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/76389009> <http://snomed.info/id/304257007>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/717792007> <http://snomed.info/id/363104002>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/773125006> <http://snomed.info/id/363156005>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/209651003> <http://snomed.info/id/263134008>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/23951003> <http://snomed.info/id/10679391000119104>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/205757003> <http://snomed.info/id/298397000>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/52229009> <http://snomed.info/id/129202001>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/80446009> <http://snomed.info/id/304068004>)


Question: Extract the miminal support axioms for the conclusion: SubClassOf(<http://snomed.info/id/16091371000119108> <http://snomed.info/id/682311000119102>)


Question: Extract the minimal support axioms for the conclusion: Anopheles fluviatilis (organism) is a subclass of Kingdom Animalia (organism)

Class Insecta (organism) is a subclass of Phylum Arthropoda (organism)

Kingdom Animalia (organism) is a subclass of Domain Eukarya (organism)

Anopheles sinensis (organism) is a subclass of Anopheles (organism)

Family Culicidae (organism) is a subclass of Infraorder Culicomorpha (organism)

Phylum Echiura (organism) is a subclass of Kingdom Animalia (organism)

Anopheles A virus (organism) is a subclass of Genus Orthobunyavirus (organism)

Anopheles fluviatilis (organism) is a subclass of Anopheles (organism)

Phylum Mollusca (organism) is a subclass of Kingdom Animalia (organism)

Order Diptera (organism) is a subclass of Infraclass Neoptera (organism)

Infraorder Culicomorpha (organism) is a subclass of Suborder Nematocera (organism)

Anopheles (organism) is a subclass of Subfamily Anophelinae (organism)

Phylum Loricifera (organism) is a subclass of Kingdom Animalia (organism)

Kingdom Plantae (organism) is a subclass of Domain Eukarya (organism)

Subfamily Anophelinae (organism) is a subclass of Family Culicidae (organism)

Phylum Myxozoa (organism) is a subclass of Kingdom Animalia (organism)

Kingdom Protozoa (organism) is a subclass of Domain Eukarya (organism)

Suborder Nematocera (organism) is a subclass of Order Diptera (organism)

Phylum Arthropoda (organism) is a subclass of Kingdom Animalia (organism)

Anopheles gambiae (organism) is a subclass of Anopheles (organism)

Invertebrate (organism) is a subclass of Kingdom Animalia (organism)

Subclass Pterygota (organism) is a subclass of Class Insecta (organism)

Infraclass Neoptera (organism) is a subclass of Subclass Pterygota (organism)


Question: Extract the minimal support axioms for the conclusion: Structure of Couinaud hepatic segment IVa (body structure) is a subclass of Structure of abdominopelvic segment of trunk (body structure)

Structure of organ within abdominopelvic cavity (body structure) is a subclass of Structure of viscus (body structure) and Structure of abdominopelvic cavity and/or content (body structure)

Entire Couinaud hepatic segment IV (body structure) is a subclass of Structure of Couinaud hepatic segment IV (body structure)

Structure of abdominopelvic cavity and/or content (body structure) is a subclass of Structure of abdominopelvic cavity and/or content of abdominopelvic cavity and/or anterior abdominal wall (body structure) and Structure of body cavity and/or content (body structure)

Entire Couinaud hepatic segment IVb (body structure) is a subclass of Structure of Couinaud hepatic segment IVb (body structure)

Structure of Couinaud hepatic segment IVb (body structure) is a subclass of Structure of Couinaud hepatic segment IV (body structure)

Structure of Couinaud hepatic segment VIII (body structure) is a subclass of Structure of Couinaud liver segment (body structure)

Liver structure (body structure) is a subclass of Liver and/or biliary structure (body structure) and Structure of organ within abdomen proper cavity (body structure)

Structure of Couinaud hepatic segment II (body structure) is a subclass of Structure of Couinaud liver segment (body structure)

Structure of organ within abdomen proper cavity (body structure) is a subclass of Structure of abdominal cross-sectional segment of trunk (body structure) and Intra-abdominopelvic structure excluding intra-pelvic structure of true pelvis (body structure) and Structure of organ within abdominopelvic cavity (body structure)

Structure of lobe of liver (body structure) is a subclass of Liver part (body structure)

Structure of Couinaud hepatic segment V (body structure) is a subclass of Structure of Couinaud liver segment (body structure)

Structure of Couinaud hepatic segment IVa (body structure) is a subclass of Structure of Couinaud hepatic segment IV (body structure)

Entire Couinaud hepatic segment IVa (body structure) is a subclass of Structure of Couinaud hepatic segment IVa (body structure)

Structure of liver segment (body structure) is a subclass of Structure of lobe of liver (body structure)

Entire Couinaud hepatic segment V (body structure) is a subclass of Structure of Couinaud hepatic segment V (body structure)

Structure of hepatic artery (body structure) is a subclass of Structure of abdominal visceral artery (body structure) and Structure of artery of abdominal cross-sectional segment of trunk (body structure)

Entire Couinaud hepatic segment VIII (body structure) is a subclass of Structure of Couinaud hepatic segment VIII (body structure)

Entire Couinaud hepatic segment II (body structure) is a subclass of Structure of Couinaud hepatic segment II (body structure)

Structure of abdominopelvic cavity and/or content of abdominopelvic cavity and/or anterior abdominal wall (body structure) is a subclass of Structure of abdominopelvic segment of trunk (body structure) and Structure of abdominopelvic cross-sectional segment of trunk (body structure)

Liver part (body structure) is a subclass of Liver structure (body structure) and Digestive organ part (body structure)

Structure of Couinaud hepatic segment IV (body structure) is a subclass of Structure of Couinaud liver segment (body structure)

Structure of Couinaud liver segment (body structure) is a subclass of Structure of liver segment (body structure)


Question: Extract the minimal support axioms for the conclusion: Skin of part of glans of penis (body structure) is a subclass of Lower body structure (body structure)

Skin of part of glans of penis (body structure) is a subclass of Skin structure of glans penis (body structure)

Skin structure of foreskin (body structure) is a subclass of Structure of prepuce of penis (body structure) and Skin of part of penis (body structure)

Entire dorsal skin of penis (body structure) is a subclass of Dorsal skin structure of penis (body structure)

Glans penis and/or preputial structures (body structure) is a subclass of Penis part (body structure)

Skin structure of shaft of penis (body structure) is a subclass of Skin of part of penis (body structure) and Corpus penis structure (body structure)

Skin of part of shaft of penis (body structure) is a subclass of Skin structure of shaft of penis (body structure)

Ventral skin structure of penis (body structure) is a subclass of Skin of part of penis (body structure)

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

Entire skin of glans penis (body structure) is a subclass of Skin structure of glans penis (body structure)

Glans penis structure (body structure) is a subclass of Structure of corpus spongiosum of penis (body structure) and Glans penis and/or preputial structures (body structure)

Entire skin of penis (body structure) is a subclass of Skin structure of penis (body structure)

Skin structure of root of penis (body structure) is a subclass of Skin of part of penis (body structure) and Radix penis structure (body structure)

External genitalia structure (body structure) is a subclass of Structure of pelvic segment of trunk (body structure) and Genital structure (body structure)

Skin structure of glans penis (body structure) is a subclass of Skin of part of penis (body structure) and Glans penis structure (body structure)

Subcutaneous tissue structure of glans penis (body structure) is a subclass of Subcutaneous tissue structure of male genitalia (body structure) and Glans penis structure (body structure)

Structure of pelvic segment of trunk (body structure) is a subclass of Structure of abdominopelvic segment of trunk (body structure)

Penis part (body structure) is a subclass of Male genital organ part (body structure) and Penile structure (body structure)

Skin structure of corona of glans penis (body structure) is a subclass of Structure of corona of penis (body structure) and Skin of part of glans of penis (body structure)

Penile structure (body structure) is a subclass of Lower male genitourinary tract structure (body structure) and Male external genitalia structure (body structure)

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

Male external genitalia structure (body structure) is a subclass of Male genital organ structure (body structure) and External genitalia structure (body structure)

Dorsal skin structure of penis (body structure) is a subclass of Skin of part of penis (body structure) and Structure of dorsum of penis (body structure)


Question: Extract the minimal support axioms for the conclusion: Antibody to Borna disease virus (substance) is a subclass of Nitrogen compound (substance)

Protein nitrogen (substance) is a subclass of Nitrogen compound (substance)

Amide and/or amide derivative (substance) is a subclass of Organic nitrogen compound (substance)

Antibody (substance) is a subclass of Immunologic substance (substance) and Protein (substance)

Infective organism antibody (substance) is a subclass of Antibody by target (substance) and Specific antibody (substance)

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

Alpha-amino acid nitrogen (substance) is a subclass of Nitrogen compound (substance)

Antibody to Arbovirus (substance) is a subclass of Anti viral antibody (substance)

Antibody to Influenza A virus N1 (substance) is a subclass of Influenza A virus antibody (substance)

Antimicrobial antibody (substance) is a subclass of Infective organism antibody (substance)

Anti viral antibody (substance) is a subclass of Antimicrobial antibody (substance)

Substituted amide (substance) is a subclass of Amide and/or amide derivative (substance)

Antibody by target (substance) is a subclass of Antibody (substance)

Blood group antibody N (substance) is a subclass of Antibody to antigen in MNS blood group system (substance)

Antibody to Influenza A virus N2 (substance) is a subclass of Influenza A virus antibody (substance)

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

Non-protein nitrogen (substance) is a subclass of Nitrogen compound (substance)

Anti-histone antibody (substance) is a subclass of Antinuclear antibody (substance)

Nitrogen compound (substance) is a subclass of Nitrogen and/or nitrogen compound (substance)

Antigen of Simplexvirus (substance) is a subclass of Antigen of virus (substance)

Antibody to Borna disease virus (substance) is a subclass of Anti viral antibody (substance)

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

Blood group antibody 'N' (substance) is a subclass of Antibody to antigen in MNS blood group system (substance)


Question: Extract the minimal support axioms for the conclusion: Glossina fusca (organism) is a subclass of Domain Eukarya (organism)

Subclass Pterygota (organism) is a subclass of Class Insecta (organism)

Glossina longipennis (organism) is a subclass of Glossina fusca group (organism)

Phylum Arthropoda (organism) is a subclass of Kingdom Animalia (organism)

Suborder Brachycera (organism) is a subclass of Order Diptera (organism)

Kingdom Protozoa (organism) is a subclass of Domain Eukarya (organism)

Glossina fusca (organism) is a subclass of Glossina fusca group (organism)

Glossina fuscipes (organism) is a subclass of Glossina fusca group (organism)

Kingdom Plantae (organism) is a subclass of Domain Eukarya (organism)

Glossina morsitans (organism) is a subclass of Glossina morsitans group (organism)

Kingdom Protoctista (organism) is a subclass of Domain Eukarya (organism)

Glossina haningtoni (organism) is a subclass of Glossina fusca group (organism)

Glossina fusca group (organism) is a subclass of Glossina (organism)

Kingdom Animalia (organism) is a subclass of Domain Eukarya (organism)

Kingdom Fungi (organism) is a subclass of Domain Eukarya (organism)

Kingdom Chromista (organism) is a subclass of Domain Eukarya (organism)

Order Diptera (organism) is a subclass of Infraclass Neoptera (organism)

Domain Eukarya (organism) is a subclass of Organism (organism)

Slime mold (organism) is a subclass of Domain Eukarya (organism)

Infraclass Neoptera (organism) is a subclass of Subclass Pterygota (organism)

Class Insecta (organism) is a subclass of Phylum Arthropoda (organism)

Family Glossinidae (organism) is a subclass of Suborder Brachycera (organism)

Glossina (organism) is a subclass of Family Glossinidae (organism)


Question: Extract the minimal support axioms for the conclusion: Entire anterior wall of urinary bladder (body structure) is a subclass of Body region structure (body structure)

Structure of region of bladder (body structure) is a subclass of Bladder part (body structure)

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

Entire wall of urinary bladder (body structure) is a subclass of Structure of wall of urinary bladder (body structure)

Entire anterior wall of urinary bladder (body structure) is a subclass of Structure of anterior wall of urinary bladder (body structure)

Structure of apex of urinary bladder (body structure) is a subclass of Structure of region of bladder (body structure)

Trunk structure (body structure) is a subclass of Body part structure (body structure)

Structure of body cavity and/or content (body structure) is a subclass of Trunk structure (body structure) and Structure of anatomical compartment (body structure)

Bladder part (body structure) is a subclass of Urinary bladder structure (body structure) and Organ part (body structure)

Entire apex of urinary bladder (body structure) is a subclass of Structure of apex of urinary bladder (body structure)

Entire lateral wall of urinary bladder (body structure) is a subclass of Structure of lateral wall of urinary bladder (body structure)

Entire wall of body region (body structure) is a subclass of Structure of wall of body region (body structure)

Structure of wall of urinary bladder (body structure) is a subclass of Bladder part (body structure)

Entire body of urinary bladder (body structure) is a subclass of Structure of body of urinary bladder (body structure)

Entire superior wall of bladder (body structure) is a subclass of Structure of superior wall of bladder (body structure)

Structure of abdominopelvic cavity and/or content (body structure) is a subclass of Structure of abdominopelvic cavity and/or content of abdominopelvic cavity and/or anterior abdominal wall (body structure) and Structure of body cavity and/or content (body structure)

Structure of organ within abdominopelvic cavity (body structure) is a subclass of Structure of viscus (body structure) and Structure of abdominopelvic cavity and/or content (body structure)

Entire anterior abdominal wall (body structure) is a subclass of Anterior abdominal wall structure (body structure) and Entire wall of body region (body structure)

Structure of body of urinary bladder (body structure) is a subclass of Structure of region of bladder (body structure)

Structure of lateral wall of urinary bladder (body structure) is a subclass of Structure of wall of urinary bladder (body structure)

Structure of organ within cavity of true pelvis (body structure) is a subclass of Structure of organ within abdominopelvic cavity (body structure) and Structure of cavity and/or content of true pelvis (body structure)

Structure of anterior wall of urinary bladder (body structure) is a subclass of Structure of wall of urinary bladder (body structure)

Body part structure (body structure) is a subclass of Body region structure (body structure)


Question: Extract the minimal support axioms for the conclusion: Nasua nasua (organism) is a subclass of Kingdom Animalia (organism)

Invertebrate (organism) is a subclass of Kingdom Animalia (organism)

Family Procyonidae (organism) is a subclass of Suborder Caniformia (organism)

Phylum Echiura (organism) is a subclass of Kingdom Animalia (organism)

Order Carnivora (organism) is a subclass of Infraclass Eutheria (organism)

Subkingdom Neozoa (organism) is a subclass of Kingdom Protozoa (organism)

Phylum Arthropoda (organism) is a subclass of Kingdom Animalia (organism)

Kingdom Animalia (organism) is a subclass of Domain Eukarya (organism)

Subphylum Vertebrata (organism) is a subclass of Phylum Chordata (organism)

Kingdom Plantae (organism) is a subclass of Domain Eukarya (organism)

Kingdom Protozoa (organism) is a subclass of Domain Eukarya (organism)

Class Mammalia (organism) is a subclass of Subphylum Vertebrata (organism)

Phylum Cnidaria (organism) is a subclass of Kingdom Animalia (organism)

Suborder Caniformia (organism) is a subclass of Order Carnivora (organism)

Subfamily Procyoninae (organism) is a subclass of Family Procyonidae (organism)

Phylum Myxozoa (organism) is a subclass of Kingdom Animalia (organism)

Phylum Mollusca (organism) is a subclass of Kingdom Animalia (organism)

Subclass Theria (organism) is a subclass of Class Mammalia (organism)

Phylum Chordata (organism) is a subclass of Kingdom Animalia (organism)

Anchoa nasuta (organism) is a subclass of Anchoa (organism)

Infraclass Eutheria (organism) is a subclass of Subclass Theria (organism)

Nasua nasua (organism) is a subclass of Genus Nasua (organism)

Genus Nasua (organism) is a subclass of Subfamily Procyoninae (organism)


Question: Extract the minimal support axioms for the conclusion: Tapirus bairdii (organism) is a subclass of Organism (organism)

Somone virus (organism) is a subclass of Virus (organism)

Order Perissodactyla (organism) is a subclass of Infraclass Eutheria (organism)

Family Tapiridae (organism) is a subclass of Order Perissodactyla (organism)

Tapirus terrestris (organism) is a subclass of Genus Tapirus (organism)

Insect virus (organism) is a subclass of Virus (organism)

Virus (organism) is a subclass of Organism (organism)

Asdravirus (organism) is a subclass of Virus (organism)

Infraclass Eutheria (organism) is a subclass of Subclass Theria (organism)

Class Mammalia (organism) is a subclass of Subphylum Vertebrata (organism)

Subclass Theria (organism) is a subclass of Class Mammalia (organism)

Doppler ultrasonography of vein of lower limb (procedure) is equivalent to Procedure (procedure) that Role group (attribute)  something that Method (attribute) Doppler ultrasound imaging - action (qualifier value) and Procedure site - Direct (attribute) Structure of vein of lower limb (body structure)

Subphylum Vertebrata (organism) is a subclass of Phylum Chordata (organism)

Taunton virus (organism) is a subclass of Virus (organism)

Kingdom Animalia (organism) is a subclass of Domain Eukarya (organism)

Bacterial, insect, plant and/or other virus (organism) is a subclass of Virus (organism)

Tapirus bairdii (organism) is a subclass of Genus Tapirus (organism)

Genus Tapirus (organism) is a subclass of Family Tapiridae (organism)

Prion (organism) is a subclass of Organism (organism)

Phylum Chordata (organism) is a subclass of Kingdom Animalia (organism)

Tapirus indicus (organism) is a subclass of Genus Tapirus (organism)

Animal virus (organism) is a subclass of Virus (organism)

Domain Eukarya (organism) is a subclass of Organism (organism)


Question: Extract the minimal support axioms for the conclusion: Hemoglobin Sherwood Forest (substance) is a subclass of Nitrogen and/or nitrogen compound (substance)

Binding protein (substance) is a subclass of Protein (substance)

Substituted amide (substance) is a subclass of Amide and/or amide derivative (substance)

Deoxyhemoglobin (substance) is a subclass of Hemoglobin (substance)

Non-protein nitrogen (substance) is a subclass of Nitrogen compound (substance)

Hemoglobin Nottingham (substance) is a subclass of Abnormal hemoglobin, beta-chain variant (substance)

Hemoglobin M (substance) is a subclass of Hemoglobin (substance)

Hemoglobin F-Forest Park (substance) is a subclass of Abnormal hemoglobin, gamma-chain variant (substance)

Hemoglobin A1 (substance) is a subclass of Hemoglobin (substance)

Hemoglobin A,b (substance) is a subclass of Hemoglobin (substance)

Hemoglobin (substance) is a subclass of Binding protein (substance)

Globin chain (substance) is a subclass of Hemoglobin (substance)

Nitrogen compound (substance) is a subclass of Nitrogen and/or nitrogen compound (substance)

Hemoglobin Sherwood Forest (substance) is a subclass of Abnormal hemoglobin, beta-chain variant (substance)

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

Hemoglobin Wood (substance) is a subclass of Abnormal hemoglobin, beta-chain variant (substance)

Amide and/or amide derivative (substance) is a subclass of Organic nitrogen compound (substance)

Protein nitrogen (substance) is a subclass of Nitrogen compound (substance)

Abnormal hemoglobin, beta-chain variant (substance) is a subclass of Abnormal hemoglobin (substance)

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

Hemoglobin H (substance) is a subclass of Hemoglobin (substance)

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

Abnormal hemoglobin (substance) is a subclass of Hemoglobin (substance)


Question: Extract the minimal support axioms for the conclusion: Coagulation factor XIIIa (substance) is a subclass of Chemical (substance)

Amide and/or amide derivative (substance) is a subclass of Organic nitrogen compound (substance)

Coagulation factor XIIIa (substance) is a subclass of Coagulation factor XIII (substance) that Has disposition (attribute) Activated coagulation factor (disposition)

Coagulation factor XIII antigen (substance) is a subclass of Protein antigen (substance) and Coagulation related antigen (substance)

Fibrinolytic system factor (substance) is a subclass of Coagulation related substance (substance)

Factor XIII antibody (substance) is a subclass of Antibody to coagulation factor (substance)

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

Fibrin (substance) is a subclass of Coagulation protein (substance)

Coagulant (substance) is a subclass of Hemostatic agent (substance)

Substituted amide (substance) is a subclass of Amide and/or amide derivative (substance)

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

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

Thromboplastin (substance) is a subclass of Coagulation protein (substance) and Hemostatic agent (substance)

Coagulation factor XIII (substance) is a subclass of Coagulation protein (substance)

Plasma protein (substance) is a subclass of Blood component (substance) and Protein (substance)

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

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

Clotting factor XIII assay (procedure) is a subclass of Coagulation factor assay (procedure) that Role group (attribute) something that Component (attribute) Coagulation factor XIII (substance)

Coagulation factor XII antigen (substance) is a subclass of Protein antigen (substance) and Coagulation related antigen (substance)

Human fibrinogen (substance) is a subclass of Coagulation factor I (substance) and Coagulant (substance)

Recombinant coagulation factor XIII (substance) is a subclass of Coagulation protein (substance) and Recombinant protein (substance)

Coagulation protein (substance) is a subclass of Plasma protein (substance) and Coagulation related substance (substance)

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


Question: Extract the minimal support axioms for the conclusion: Entire lamina of fourth thoracic vertebra (body structure) is a subclass of Structure of back of trunk (body structure)

Structure of lamina of thoracic vertebra (body structure) is a subclass of Structure of arch of thoracic vertebra (body structure) and Structure of lamina of vertebra (body structure)

Structure of thoracic vertebral column (body structure) is a subclass of Structure of musculoskeletal system of thoracic spine (body structure) and Structure of vertebral column (body structure)

Vulvovaginal discomfort (finding) is equivalent to Discomfort (finding) that Role group (attribute) something that Finding site (attribute) Vulval structure (body structure) and something that Finding site (attribute) Vaginal structure (body structure)

Structure of lamina of vertebra (body structure) is a subclass of Structure of arch of vertebra (body structure)

Structure of vertebral column region (body structure) is a subclass of Structure of back of trunk and/or neck (body structure)

Structure of back of trunk (body structure) is a subclass of Structure of back of trunk and/or neck (body structure) and Structure of subregion of trunk (body structure)

Entire lamina of fourth thoracic vertebra (body structure) is a subclass of Structure of lamina of fourth thoracic vertebra (body structure) and Entire lamina of thoracic vertebra (body structure)

Structure of back of trunk and/or neck (body structure) is a subclass of Body region structure (body structure)

Structure of arch of thoracic vertebra (body structure) is a subclass of Bone structure of thoracic vertebra (body structure) and Structure of arch of vertebra (body structure)

Entire lamina of fourth cervical vertebra (body structure) is a subclass of Entire lamina of cervical vertebra (body structure) and Structure of lamina of fourth cervical vertebra (body structure)

Regional back structure (body structure) is a subclass of Structure of back of trunk (body structure)

Structure of lamina of fourth cervical vertebra (body structure) is a subclass of Structure of arch of fourth cervical vertebra (body structure) and Structure of lamina of cervical vertebra (body structure)

Entire lamina of thoracic vertebra (body structure) is a subclass of Entire lamina of vertebra (body structure) and Structure of lamina of thoracic vertebra (body structure)

Structure of thoracic and/or lumbar vertebral column region (body structure) is a subclass of Structure of vertebral column region (body structure) and Structure of thoracic and/or lumbar region of back (body structure)

Entire lamina of vertebra (body structure) is a subclass of Structure of lamina of vertebra (body structure)

Entire lamina of fourth lumbar vertebra (body structure) is a subclass of Entire lamina of lumbar vertebra (body structure) and Structure of lamina of fourth lumbar vertebra (body structure)

Structure of thoracic vertebral column region (body structure) is a subclass of Structure of thoracic and/or lumbar vertebral column region (body structure) and Structure of cervical and/or thoracic vertebral column region (body structure) and Structure of back of thoracic region (body structure)

Structure of musculoskeletal system of thoracic spine (body structure) is a subclass of Structure of thoracic vertebral column region (body structure) and Musculoskeletal structure of spine (body structure) and Structure of musculoskeletal system of thorax (body structure)

Structure of thoracic and/or lumbar region of back (body structure) is a subclass of Regional back structure (body structure)

Bone structure of thoracic vertebra (body structure) is a subclass of Structure of thoracic vertebral column (body structure) and Bone structure of thorax (body structure) and Bone structure of vertebra (body structure) and Thoracic cage structure (body structure)

Structure of lamina of fourth lumbar vertebra (body structure) is a subclass of Structure of lamina of lumbar vertebra (body structure) and Structure of arch of fourth lumbar vertebra (body structure)

Angiography of male genital system (procedure) is a subclass of Angiography of urogenital system (procedure) that Role group (attribute)  something that Method (attribute) Imaging - action (qualifier value) and Procedure site - Direct (attribute) Structure of pelvic blood vessel (body structure)


Question: Extract the minimal support axioms for the conclusion: Entire skin of dorsal surface of finger (body structure) is a subclass of Body organ structure (body structure)

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

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

Entire skin of dorsal surface of little finger (body structure) is a subclass of Skin structure of dorsal surface of little finger (body structure)

Entire skin of dorsal surface of ring finger (body structure) is a subclass of Skin structure of dorsal surface of ring finger (body structure)

Skin structure of part of digit of hand (body structure) is a subclass of Skin structure of digit of hand (body structure) and Skin of part of digit (body structure)

Skin structure of dorsal surface of little finger (body structure) is a subclass of Structure of dorsal surface of little finger (body structure) and Skin of part of little finger (body structure) and Skin structure of dorsal surface of finger (body structure)

Entire skin of dorsal surface of middle finger (body structure) is a subclass of Skin structure of dorsal surface of middle finger (body structure)

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

Entire dorsal surface of finger (body structure) is a subclass of Structure of dorsal surface of finger (body structure)

Entire dorsal surface of index finger (body structure) is a subclass of Structure of dorsal surface of index finger (body structure)

Entire skin of dorsal surface of finger (body structure) is a subclass of Skin structure of dorsal surface of finger (body structure)

Skin structure of dorsal surface of finger (body structure) is a subclass of Skin of part of dorsal surface of hand (body structure) and Skin of part of finger (body structure) and Structure of dorsal surface of finger (body structure)

Skin of part of limb (body structure) is a subclass of Skin structure of extremity (body structure)

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

Structure of dorsal surface of finger (body structure) is a subclass of Finger structure (body structure)

Entire dorsal surface of little finger (body structure) is a subclass of Structure of dorsal surface of little finger (body structure)

Subcutaneous tissue structure of dorsal surface of finger (body structure) is a subclass of Subcutaneous tissue structure of finger (body structure) and Structure of dorsal surface of finger (body structure) and Subcutaneous tissue structure of dorsal area of hand (body structure)

Dementia due to progressive subcortical gliosis (disorder) is equivalent to Dementia (disorder) that Role group (attribute)  something that Has interpretation (attribute) Impaired (qualifier value) and Interprets (attribute) Cognitive functions (observable entity) and something that Finding site (attribute) Brain structure (body structure) and something that Due to (attribute) Progressive subcortical gliosis (disorder)

Entire skin of dorsal surface of index finger (body structure) is a subclass of Skin structure of dorsal surface of index finger (body structure)

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

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

Skin of part of finger (body structure) is a subclass of Skin structure of part of digit of hand (body structure) and Skin structure of finger (body structure)


Question: Extract the minimal support axioms for the conclusion: Entire layer of occipital lobe (body structure) is a subclass of Structure of anatomical cluster (body structure)

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

Entire white matter of occipital lobe (body structure) is a subclass of Structure of white matter of occipital lobe (body structure)

Brain structure (body structure) is a subclass of Intracranial structure (body structure) and Brain and spinal cord structure (body structure)

Structure of anatomical compartment (body structure) is a subclass of Structure of anatomical cluster (body structure)

Entire occipital lobe gyrus (body structure) is a subclass of Structure of occipital lobe gyrus (body structure)

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

Structure of occipital lobe gyrus (body structure) is a subclass of Structure of cerebral gyrus (body structure) and Occipital lobe structure (body structure)

Structure of lobe of brain (body structure) is a subclass of Structure of half of brain lateral to midsagittal plane (body structure)

Structure of region of occipital cortex (body structure) is a subclass of Structure of cortex of occipital lobe (body structure)

Structure of cortex of occipital lobe (body structure) is a subclass of Structure of region of cerebral cortex (body structure) and Structure of layer of occipital lobe (body structure)

Entire occipital lobe sulcus (body structure) is a subclass of Structure of occipital lobe sulcus (body structure)

Intracranial structure (body structure) is a subclass of Head part (body structure) and Structure of anatomical compartment (body structure)

Entire layer of occipital lobe (body structure) is a subclass of Structure of layer of occipital lobe (body structure)

Structure of layer of occipital lobe (body structure) is a subclass of Occipital lobe structure (body structure) and Structure of layer of cerebrum (body structure) and Cerebral lobe part (body structure)

Entire cortex of occipital lobe (body structure) is a subclass of Structure of cortex of occipital lobe (body structure)

Structure of occipital lobe sulcus (body structure) is a subclass of Structure of cerebral sulcus (body structure) and Occipital lobe structure (body structure)

Cerebral lobe part (body structure) is a subclass of Cerebral lobe structure (body structure)

Structure of brain region (body structure) is a subclass of Brain part (body structure)

Entire occipital lobe (body structure) is a subclass of Entire cerebral lobe (body structure) and Occipital lobe structure (body structure)

Cerebral lobe structure (body structure) is a subclass of Cerebral hemisphere structure (body structure) and Structure of lobe of brain (body structure)

Macronucleus (morphologic abnormality) is a subclass of Cytologic atypia (morphologic abnormality)

Structure of white matter of occipital lobe (body structure) is a subclass of Cerebral hemisphere white matter part (body structure) and Structure of layer of occipital lobe (body structure)


Question: Extract the minimal support axioms for the conclusion: Structure of second premolar tooth (body structure) is a subclass of Body part structure (body structure)

Structure of second molar tooth (body structure) is a subclass of Structure of molar tooth (body structure)

Entire second premolar tooth (body structure) is a subclass of Entire premolar tooth (body structure) and Structure of second premolar tooth (body structure)

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

Entire second premolar region of oral cavity (body structure) is a subclass of Structure of second premolar region of oral cavity (body structure)

Structure of permanent lower second premolar tooth socket (body structure) is a subclass of Structure of permanent lower tooth socket (body structure)

Structure of permanent second molar tooth (body structure) is a subclass of Structure of permanent molar tooth (body structure) and Structure of second molar tooth (body structure)

Structure of premolar tooth (body structure) is a subclass of Structure of tooth of posterior dentition (body structure) and Structure of permanent tooth (body structure) that Laterality (attribute) Side (qualifier value)

Tooth structure (body structure) is a subclass of Oral hard tissue structure (body structure) and Tooth, gum, and/or supporting structure (body structure) and Structure of half of head lateral to midsagittal plane (body structure) and Digestive organ structure (body structure)

Structure of permanent upper second premolar tooth socket (body structure) is a subclass of Structure of permanent upper tooth socket (body structure)

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

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

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

Structure of head and/or neck (body structure) is a subclass of Upper body part structure (body structure)

Upper body structure (body structure) is a subclass of Body part structure (body structure)

Structure of first premolar tooth (body structure) is a subclass of Structure of premolar tooth (body structure)

Structure of tooth surface (body structure) is a subclass of Tooth part (body structure)

Structure of second premolar tooth (body structure) is a subclass of Structure of premolar tooth (body structure)

Structure of half of tooth (body structure) is a subclass of Tooth part (body structure)

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

Entire premolar tooth (body structure) is a subclass of Entire tooth (body structure) and Structure of premolar tooth (body structure)

Structure of permanent tooth (body structure) is a subclass of Tooth structure (body structure)

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