Class
NEOPLASM
Subclass-Of
:
Anatomical-abnormality
Axioms:
(=> (
Neoplasm
?Self) (Exists (?A) (And (
Product-Of
?Self ?A) (
Neoplastic-Process
?A))))
Defined in theory:
Abnormalities
Source code:
Abnormalities.lisp