SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Agent > Group > GroupOfPeople > Organization > ReligiousOrganization
Next Organization: Corporation    Up: Organization    Previous Organization: Government   

ReligiousOrganization
subjectfact 
ReligiousOrganizationdocumentation An Organization whose members share a set of religious beliefs2001-11-30 13:35:11.0
has axiom 
(=> 
    (instance ?ORG ReligiousOrganization) 
    (exists (?PROP) 
       (forall (?PERSON) 
          (=> 
             (member ?PERSON ?ORG) 
             (believes ?PERSON ?PROP)))))
2001-11-30 13:35:11.0
has axiom 
(=>
    (and
       (instance ?ACT ReligiousProcess)
       (agent ?ACT ?AGENT))
    (or
       (instance ?AGENT ReligiousOrganization)
       (exists (?ORG)
          (and
             (member ?AGENT ?ORG)
             (instance ?ORG ReligiousOrganization)))))
2001-11-30 13:35:11.0
is a kind of Organization2001-11-30 13:35:11.0
Organizationis first domain of employs2001-11-30 13:34:53.0
is first domain of subOrganizations2001-11-30 13:34:53.0
is second domain of subOrganizations2001-11-30 13:34:53.0
is third domain of occupiesPosition2001-11-30 13:34:53.0
Objectis disjoint from Process2001-11-30 13:34:50.0