Class HUMAN-DISEASE

Subclass-Of: Disease-or-syndrome

The-Archetype: Reified-property

Axioms:

(<=> (Human-Disease ?Self)
     (And (Disease-Or-Syndrome ?Self)
          (Exists (?A) (And (Embodied-In ?Self ?A) (Human ?A)))))

• Defined in theory: Clin-act
• Source code: Clin-Act.lisp