Class CLINICAL-ACTIVITY

Subclass-Of: Health-care-activity

Axioms:

(Slot-Value-Type Clinical-Activity Instrument Device)

(=> (Clinical-Activity ?Self)
    (And (Exists (?A)
                 (And (Performed-By ?Self ?A)
                      (*Healthcare-Operator ?A)))
         (Exists (?B)
                 (And (Reference-Location ?Self ?B)
                      (Healthcare-Structure ?B)))
         (Exists (?Y ?Z)
                 (And (Unit ?Y)
                      (Exists (?C)
                              (And (Numeric-Value ?Y ?C) (= ?C ?Z)))
                      (Money-Value ?Self ?Y ?Z)))))

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