(define-theory Medical-Procedures (Procedures Biologic-Functions Representation))

(in-theory 'Medical-Procedures)


(DEFINE-CLASS CARE-OF-CLINICAL-CONDITIONS (?SELF)
:DEF
 (THERAPEUTIC-OR-PREVENTIVE-PROCEDURE ?SELF))
(DEFINE-CLASS CHALLENGE (?SELF)
:DEF
 (AND (VITAL-SIGN-MEASUREMENT ?SELF)
      (EXISTS (?A) (AND (INDUCES ?SELF ?A) (PHYSIOLOGIC-FUNCTION ?A)))))
(DEFINE-CLASS DIAGNOSTIC-PROCEDURE (?SELF)
 "A procedure, method, or technique used to determine the nature or 
identity of a disease or disorder. This excludes procedures which are primarily carried out on 
specimens in a laboratory."
 :DEF
 (AND (MEDICAL-PROCEDURE ?SELF)
      (EXISTS (?A)
              (AND (TARGET ?SELF ?A)
                   (OR (PATIENT ?A) (PATIENT-OR-DISABLED-GROUP ?A))))
      (EXISTS (?B)
              (AND (DIAGNOSTIC-ACTION-OF ?SELF ?B) (HEALTH-CONDITION ?B))))
 :CONSTRAINTS
 (AND (FORALL (?C)
       (=> (ANALYZES ?SELF ?C) (OR (CHEMICAL ?C) (BODY-SUBSTANCE ?C))))
      (VALUE-TYPE ?SELF ASSESSES-EFFECT-OF CHEMICAL)
      (VALUE-TYPE ?SELF INSTRUMENT MANUFACTURED-OBJECT)
      (VALUE-TYPE ?SELF SUPPORTS DIAGNOSTIC-PROCEDURE)))
(DEFINE-CLASS DIAGNOSIS-AND-PREDIAGNOSIS (?SELF)
 "A procedure, method, or technique used to determine the nature or 
identity of a disease or disorder. This excludes procedures which are primarily carried out on 
specimens in a laboratory."
 :IFF-DEF (DIAGNOSTIC-PROCEDURE ?SELF))
(DEFINE-CLASS DIFFERENTIAL-DIAGNOSIS (?SELF)
:DEF
 (DIAGNOSTIC-PROCEDURE ?SELF))
(DEFINE-CLASS DISEASE-MANAGEMENT (?SELF)
:DEF
 (CARE-OF-CLINICAL-CONDITIONS ?SELF))
(DEFINE-CLASS LABORATORY-PROCEDURE (?SELF)
 "A procedure, method, or technique used to determine the composition, 
quantity, or concentration of a specimen, and which is carried out in a clinical laboratory. Included 
here are procedures which measure the times and rates of reactions."
 :DEF
 (AND (MEDICAL-PROCEDURE ?SELF)
      (EXISTS (?A)
              (AND (ANALYZES ?SELF ?A)
                   (OR (CHEMICAL ?A) (BODY-SUBSTANCE ?A)))))
 :CONSTRAINTS
 (AND (FORALL (?B)
       (=> (ASSESSES-EFFECT-OF ?SELF ?B)
        (OR (NATURAL-PROCESS ?B) (CHEMICAL ?B) (LABORATORY-PROCEDURE ?B))))
      (FORALL (?C)
       (=> (SUPPORTS ?SELF ?C)
        (OR (THERAPEUTIC-OR-PREVENTIVE-PROCEDURE ?C)
            (DIAGNOSTIC-PROCEDURE ?C))))
      (VALUE-TYPE ?SELF DIAGNOSTIC-ACTION-OF
       HEALTH-CONDITION)))
(DEFINE-CLASS USE-OF-TECHNOLOGIES-AND-TESTS (?SELF)
 "A procedure, method, or technique used to determine the composition, 
quantity, or concentration of a specimen, and which is carried out in a clinical laboratory. Included 
here are procedures which measure the times and rates of reactions."
 :IFF-DEF (LABORATORY-PROCEDURE ?SELF))
(DEFINE-CLASS MEDICAL-PROCEDURE (?SELF)
 "USN does not distinguish between generic health-care activities and 
(formalized) health-care procedures. In fact, the Metathesaurus assigns 6787 CUIs to HCA with 
no assignment to a procedure! This is a good guide to the splitting. Therefore, here medical 
procedures are not children of health-care activity defined in theory:clin-act, but of procedure."
 :DEF
 (AND (PROCEDURE ?SELF)
      (EXISTS (?A) (AND (TEMPORAL-PART ?SELF ?A) (HEALTH-CARE-ACTIVITY ?A))))
 :AXIOM-DEF
 (MAPPING MEDICAL-PROCEDURE
  "USN does not distinguish between generic health-care activities and 
(formalized) health-care procedures. In fact, the Metathesaurus assigns 6787 CUIs to HCA with 
no assignment to a procedure! This is a good guide to the splitting. Therefore, here medical 
procedures are not children of health-care activity defined in theory:clin-act, but of procedure."))
(DEFINE-CLASS PHARMACOLOGIC-CHALLENGE (?SELF)
:DEF
 (AND (CHALLENGE ?SELF)
      (EXISTS (?A) (AND (RESOURCE ?SELF ?A) (PHARMACOLOGIC-SUBSTANCE ?A)))))
(DEFINE-CLASS PHARMACOLOGIC-THERAPY (?SELF)
:DEF
 (CARE-OF-CLINICAL-CONDITIONS ?SELF))
(DEFINE-CLASS PHYSIOLOGIC-CHALLENGE (?SELF)
:DEF
 (AND (CHALLENGE ?SELF)
      (EXISTS (?A) (AND (MEASURES ?SELF ?A) (PHYSIOLOGIC-FUNCTION ?A)))))
(DEFINE-CLASS SCREENING-AND-PREVENTION (?SELF)
:DEF
 (THERAPEUTIC-OR-PREVENTIVE-PROCEDURE ?SELF))
(DEFINE-CLASS SPECIMEN (?SELF)
:DEF
 (AND (SUBSTANCE ?SELF)
      (EXISTS (?A) (AND (RESOURCE-OF ?SELF ?A) (LABORATORY-PROCEDURE ?A)))
      (EXISTS (?B)
              (AND (SAMPLE-OF ?SELF ?B)
                   (OR (BIOLOGIC-OBJECT ?B) (SUBSTANCE ?B))))))
(DEFINE-CLASS SURGICAL-PROCEDURE (?SELF)
:DEF
 (THERAPEUTIC-OR-PREVENTIVE-PROCEDURE ?SELF))
(DEFINE-CLASS THERAPEUTIC-OR-PREVENTIVE-PROCEDURE (?SELF)
 "A procedure, method, or technique designed to prevent a 
disease or a disorder, or to improve physical function, or used in the process of treating 
a disease or injury."
 :DEF
 (AND (MEDICAL-PROCEDURE ?SELF)
      (EXISTS (?A)
              (AND (BEARER ?SELF ?A)
                   (OR (PATIENT ?A) (PATIENT-OR-DISABLED-GROUP ?A))))
      (EXISTS (?B)
              (AND (RESOURCE ?SELF ?B)
                   (OR (PHARMACOLOGIC-SUBSTANCE ?B) (FOOD ?B))))
      (EXISTS (?C) (AND (INSTRUMENT ?SELF ?C) (MANUFACTURED-OBJECT ?C))))
 :CONSTRAINTS
 (AND (VALUE-TYPE ?SELF TREATMENT-ACTION-OF
       HEALTH-CONDITION)
      (VALUE-TYPE ?SELF PREVENTS PATHOLOGIC-FUNCTION)
      (VALUE-TYPE ?SELF IMPROVES BIOLOGIC-FUNCTION)
      (VALUE-TYPE ?SELF SUPPORTS
       THERAPEUTIC-OR-PREVENTIVE-PROCEDURE)
      (VALUE-TYPE ?SELF COMPLICATES BIOLOGIC-FUNCTION)))
(DEFINE-CLASS VITAL-SIGN-MEASUREMENT (?SELF)
:DEF
 (LABORATORY-PROCEDURE ?SELF))