Class HEALTH-CONDITION

Subclass-Of: Situation

Axioms:

(=> (Health-Condition ?Self)
    (And (Or (Exists (?A)
                     (And (Context-Of ?Self ?A)
                          (Or (Pathologic-Function ?A)
                              (Injury ?A)
                              (Poisoning ?A))
                          (Exists (?B)
                                  (And (Embodied-In ?A ?B)
                                       (Organism ?B)))))
             (Exists (?C)
                     (And (Context-Of ?Self ?C)
                          (Anatomical-Abnormality ?C)
                          (Exists (?D)
                                  (And (Part-Of ?C ?D) (Organism ?D)))))
             (Exists (?E)
                     (And (Context-Of ?Self ?E)
                          (Foreign-Body ?E)
                          (Exists (?F)
                                  (And (Reference-Location ?E ?F)
                                       (Organism ?F)))))
             (Exists (?G)
                     (And (Context-Of ?Self ?G)
                          (Medical-Sign ?G)
                          (Exists (?H)
                                  (And (Reference-Location ?G ?H)
                                       (Organism ?H))))))
         (Exists (?I)
                 (And (Context-Of ?Self ?I)
                      (Or (Organism ?I)
                          (Patient-Or-Disabled-Group ?I))))))

• Defined in theory: Clin-act
• Source code: Clin-Act.lisp