Class
MEDICINE
Subclass-Of
:
Life-science
Axioms:
(=> (
Medicine
?Self) (Exists (?A) (And (Part-Of ?Self ?A) (
Biomedicine
?A))))
Defined in theory:
Topics
Source code:
Topics.lisp