Class DISABLE

Subclass-Of: Human
The-Archetype: Reified-role
Axioms:
(<=> (Disable ?Self)
     (And (Human ?Self)
          (Exists (?A)
                  (And (Strictly-Depends-On ?Self ?A)
                       (Physical-Person ?A)))
          (Exists (?B)
                  (And (Reference-Location-Of ?Self ?B)
                       (Disability ?B)))))