Class IMMUNOLOGICALLY-COMPETENT-CELL

Subclass-Of: Cell

Axioms:

(=> (Immunologically-Competent-Cell ?Self)
    (And (Exists (?A)
                 (And (Strictly-Necessary-To ?Self ?A)
                      (Immune-Response ?A)))
         (Exists (?B) (And (Component ?Self ?B) (Receptor ?B)))
         (Exists (?C) (And (Binds-With ?Self ?C) (Antigen ?C)))))

• Defined in theory: Anatomy
• Source code: Anatomy.lisp