SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Agent > Group > GroupOfPeople > Organization > ReligiousOrganization
Next OrganizationCorporation    UpOrganization    Previous OrganizationGovernment   

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
(instance ?ACT ReligiousProcess)
(agent ?ACT ?AGENT))
(instance ?AGENT ReligiousOrganization)
(exists (?ORG)
(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