Class LIFE-SCIENCE-RESEARCH

Subclass-Of: Research

Axioms:

(=> (Life-Science-Research ?Self)
    (Exists (?A)
            (And (Conventional-Within ?Self ?A) (Life-Science ?A))))

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