(define-theory guidelines (clin-act web-notions))
(in-theory 'guidelines)


(DEFINE-RELATION PROCEDURAL-FOCUS (?A ?B) :IFF-DEF
 (AND (EXISTS (?C) (AND (METHOD-OF ?A ?C) (TARGET ?C ?B)))
      (ABSTRACTION ?A)
      (ENTITY ?B)
      (INVERSE-OF-PLANNING-RELATION ?A ?B)
      (GENERIC-PLAN ?A)
      (HEALTH-CONDITION ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE PROCEDURAL-FOCUS HEALTH-CONDITION)
      (DOMAIN PROCEDURAL-FOCUS GENERIC-PLAN)))
(DEFINE-RELATION PROCEDURAL-FOCUS-OF (?A ?B)
 "This is to talk of a plan focus, i.e.
the targets of procedures having that plan as method."
 :IFF-DEF
 (AND (PLANNING-RELATION ?A ?B)
      (EXISTS (?C) (AND (TARGET-OF ?A ?C) (METHOD ?C ?B)))
      (HEALTH-CONDITION ?A)
      (GENERIC-PLAN ?B)))
(DEFINE-RELATION TARGET-POPULATION (?A ?B) :IFF-DEF
 (AND (EXISTS (?C)
       (AND (EXISTS (?D) (AND (METHOD-OF ?A ?D) (TARGET ?D ?C)))
            (ABSTRACTION ?A)
            (ENTITY ?C)
            (INVERSE-OF-PLANNING-RELATION ?A ?C)
            (GENERIC-PLAN ?A)
            (HEALTH-CONDITION ?C)
            (SCATTERED-LOCATION ?C ?B)))
      (INVERSE-OF-PLANNING-RELATION ?A ?B)
      (GENERIC-PLAN ?A)
      (ENTITY ?B))
 :AXIOM-CONSTRAINTS
 (AND (RANGE TARGET-POPULATION ENTITY)
      (DOMAIN TARGET-POPULATION GENERIC-PLAN)))
(DEFINE-RELATION TARGET-POPULATION-OF (?A ?B)
 "This is to talk of plan target hosts, i.e.
the hosts of targets of procedures having that plan as method."
 :IFF-DEF
 (AND (PLANNING-RELATION ?A ?B)
      (EXISTS (?C)
       (AND (SCATTERED-LOCATION-OF ?A ?C) (PROCEDURAL-FOCUS-OF ?C ?B))))
 :AXIOM-CONSTRAINTS
 (AND (RANGE TARGET-POPULATION-OF GUIDELINE)
      (DOMAIN TARGET-POPULATION-OF GROUP)))
(DEFINE-CLASS DIAGNOSTIC-ALGORITHM (?SELF)
:DEF
 (GL-FOR-DIAGNOSIS-AND-PREDIAGNOSIS ?SELF))
(DEFINE-CLASS DISEASE-RISK-FACTOR-DETERMINATION (?SELF)
:DEF
 (GL-FOR-SCREENING-AND-PREVENTION ?SELF))
(DEFINE-CLASS GL-AUTHOR (?SELF)
:IFF-DEF
 (AND (THING ?SELF)
      (OR (PERSON ?SELF) (ORGANIZATION ?SELF))
      (EXISTS (?A) (AND (AUTHORS ?SELF ?A) (GUIDELINE ?A)))))
(DEFINE-CLASS GL-FOR-CARE-OF-CLINICAL-CONDITIONS (?SELF)
 "i.e. Management of patients following coronary-artery 
bypass graft."
 :DEF
 (AND (GUIDELINE ?SELF)
      (EXISTS (?A)
              (AND (METHOD-OF ?SELF ?A) (CARE-OF-CLINICAL-CONDITIONS ?A)))))
(DEFINE-CLASS GL-FOR-DIAGNOSIS-AND-PREDIAGNOSIS (?SELF)
 "i.e. Evaluation of chest pain in the emergency room." :DEF
 (AND (GUIDELINE ?SELF)
      (EXISTS (?A) (AND (METHOD-OF ?SELF ?A) (DIAGNOSTIC-PROCEDURE ?A)))))
(DEFINE-CLASS GL-FOR-DIFFERENTIAL-DIAGNOSIS (?SELF)
:DEF
 (AND (GUIDELINE ?SELF)
      (EXISTS (?A) (AND (METHOD-OF ?SELF ?A) (DIFFERENTIAL-DIAGNOSIS ?A)))))
(DEFINE-CLASS GL-FOR-DISEASE-MANAGEMENT (?SELF)
:DEF
 (AND (GUIDELINE ?SELF)
      (EXISTS (?A) (AND (METHOD-OF ?SELF ?A) (DISEASE-MANAGEMENT ?A)))))
(DEFINE-CLASS GL-FOR-PHARMACOLOGIC-THERAPY (?SELF)
:DEF
 (AND (GUIDELINE ?SELF)
      (EXISTS (?A) (AND (METHOD-OF ?SELF ?A) (PHARMACOLOGIC-THERAPY ?A)))))
(DEFINE-CLASS GL-FOR-SCREENING-AND-PREVENTION (?SELF)
 "i.e. Vaccination for pregnant women who are planning 
international travel."
 :DEF
 (AND (GUIDELINE ?SELF)
      (EXISTS (?A) (AND (METHOD-OF ?SELF ?A) (SCREENING-AND-PREVENTION ?A)))))
(DEFINE-CLASS GL-FOR-SURGICAL-PROCEDURES (?SELF)
 "i.e. Indications for carotid endarterectomy." :DEF
 (AND (GUIDELINE ?SELF)
      (EXISTS (?A) (AND (METHOD-OF ?SELF ?A) (SURGICAL-PROCEDURE ?A)))))
(DEFINE-CLASS GL-FOR-USE-OF-TECHNOLOGIES-AND-TESTS (?SELF)
 "i.e. Use of autologous or donor blood for transfusions." :DEF
 (AND (GUIDELINE ?SELF)
      (EXISTS (?A) (AND (METHOD-OF ?SELF ?A) (LABORATORY-PROCEDURE ?A)))))
(DEFINE-CLASS GUIDELINE (?SELF)
 "A guideline is a plan that contains the 
method for executing or performing a healthcare-relevant procedure or a stage of 
such a procedure."
 :DEF
 (AND (GENERIC-PLAN ?SELF)
      (EXISTS (?A) (AND (PROCEDURAL-FOCUS ?SELF ?A) (HEALTH-CONDITION ?A)))
      (EXISTS (?B) (AND (TARGET-POPULATION ?SELF ?B) (GROUP ?B)))
      (EXISTS (?C)
              (AND (CONVENTIONAL-WITHIN ?SELF ?C) (MEDICAL-DISCIPLINE ?C))))
 :CONSTRAINTS
 (AND (VALUE-TYPE ?SELF BIBLIOGRAPHIC-REFERENCE CITATION)
      (MINIMUM-SLOT-CARDINALITY ?SELF AUTHORED-BY 1)
      (MINIMUM-SLOT-CARDINALITY ?SELF TITLE 1)
      (MINIMUM-SLOT-CARDINALITY ?SELF VERSION 1)
      (VALUE-TYPE ?SELF APPROVED-BY ORGANIZATION)))
(DEFINE-CLASS GL (?SELF)
 "A guideline is a plan that contains the 
method for executing or performing a healthcare-relevant procedure or a stage of 
such a procedure."
 :IFF-DEF (GUIDELINE ?SELF))
(DEFINE-CLASS PAPER-GL (?SELF)
:DEF (GUIDELINE ?SELF))
(DEFINE-CLASS PAPER-REFERENCE (?SELF)
:DEF (CITATION ?SELF))
(DEFINE-CLASS PREVENTION-STRATEGY (?SELF)
:DEF
 (GL-FOR-SCREENING-AND-PREVENTION ?SELF))
(DEFINE-CLASS SURGICAL-STRATEGY (?SELF)
:DEF
 (GL-FOR-SURGICAL-PROCEDURES ?SELF))
(DEFINE-CLASS TECHNIQUE-OR-TEST-ASSESSMENT (?SELF)
:DEF
 (GL-FOR-USE-OF-TECHNOLOGIES-AND-TESTS ?SELF))
(DEFINE-CLASS TECHNIQUE-OR-TEST-OPTIMIZATION (?SELF)
:DEF
 (GL-FOR-USE-OF-TECHNOLOGIES-AND-TESTS ?SELF))
(DEFINE-CLASS THERAPEUTICAL-STRATEGY (?SELF)
:DEF
 (GL-FOR-CARE-OF-CLINICAL-CONDITIONS ?SELF))
(DEFINE-CLASS THERAPY-ASSESSMENT (?SELF)
:DEF
 (GL-FOR-CARE-OF-CLINICAL-CONDITIONS ?SELF))
(DEFINE-CLASS WEB-GL (?SELF)
 "A guideline represented in a document (text, diagram, etc.)
having a web address."
 :DEF
 (AND (GUIDELINE ?SELF) (EXISTS (?A) (AND (WEB-REFERENCE ?SELF ?A) (URL ?A))))
 :CONSTRAINTS
 (AND (VALUE-TYPE ?SELF ADAPTED-FROM PAPER-REFERENCE)
      (EXISTS (?B)
              (AND (WEB-REFERENCE ?SELF ?B)
                   (AND (URL ?B)
                        (CARDINALITY (SETOFALL ?C (LAST-CHECKED ?B ?C))
                         1))))))