Class
ANTIGEN
Subclass-Of
:
Biologically-active-substance
Axioms:
(=> (
Antigen
?Self) (Exists (?A) (And (
Induces
?Self ?A) (
Immune-Response
?A))))
Defined in theory:
Biologic-substances
Source code:
Biologic-Substances.lisp