Class SELF-HELP-OR-RELIEF-ORGANIZATION

An organization whose purpose and function is to provide assistance to the needy or to offer support to those sharing similar problems.
Subclass-Of: Organization
Axioms:
(Slot-Value-Type Self-Help-Or-Relief-Organization
                 Manages
                 Patient-Or-Disabled-Group)

(=> (Self-Help-Or-Relief-Organization ?Self)
    (Exists 
        (?A)
        (And (Performs ?Self ?A)
             (Activity ?A)
             (Exists 
                 (?B)
                 (And (Conventional-Goal ?A ?B)
                      (Or (And (Assistance ?B)
                               (Exists (?C)
                                       (And (Beneficiary ?B ?C)
                                            (Needy ?C))))
                          (And (Assistance ?B)
                               (Exists 
                                   (?D)
                                   (And (Beneficiary ?B ?D)
                                        (Group ?D)
                                        (Exists 
                                            (?E)
                                            (And (Mereological-Member 
                                                     ?D
                                                     ?E)
                                                 (Person ?E)
                                                 (Exists 
                                                     (?F)
                                                     (And (Reference-Location-Of 
                                                              ?E
                                                              ?F)
                                                          (Health-Condition ?F)))
                                                 (Forall 
                                                     (?F ?G)
                                                     (=> (And (Reference-Location-Of 
                                                                  ?E
                                                                  ?F)
                                                              (Reference-Location-Of 
                                                                  ?E
                                                                  ?G))
                                                         (= ?F ?G))))))))))))))