Class SPECIMEN

Subclass-Of: Substance

Axioms:

(=> (Specimen ?Self)
    (And (Exists (?A)
                 (And (Resource-Of ?Self ?A)
                      (Laboratory-Procedure ?A)))
         (Exists (?B)
                 (And (Sample-Of ?Self ?B)
                      (Or (Biologic-Object ?B) (Substance ?B))))))

• Defined in theory: Medical-procedures
• Source code: Medical-Procedures.lisp