ReligiousOrganization Comparison Table

Next Organization: Corporation Up: Organization Previous Organization: Government

ReligiousOrganization comparison table

Subject documentation is a kind of have axiom

Organization An Organization is a corporate or similar institution, distinguished from other Agents. The members of an Organization typically have a common purpose or function. Note that parts of Organizations should not be included here, unless they are subOrganizations of an Organization OrganizationUnit
(=>
(instance ?ACT OccupationalProcess)
(exists (?ORG ?EMP)
(and
(instance ?ORG Organization)
(employs ?ORG ?EMP)
(agent ?ACT ?EMP))))

ReligiousOrganization An Organization whose members share a set of religious beliefs Organization
(=>
(and
(instance ?ACT ReligiousProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT ReligiousOrganization)
(exists (?ORG)
(and
(member ?AGENT ?ORG)
(instance ?ORG ReligiousOrganization)))))

Subject	documentation	is a kind of	have axiom
Organization	An Organization is a corporate or similar institution, distinguished from other Agents. The members of an Organization typically have a common purpose or function. Note that parts of Organizations should not be included here, unless they are subOrganizations of an Organization	OrganizationUnit	(=> (instance ?ACT OccupationalProcess) (exists (?ORG ?EMP) (and (instance ?ORG Organization) (employs ?ORG ?EMP) (agent ?ACT ?EMP))))
ReligiousOrganization	An Organization whose members share a set of religious beliefs	Organization	(=> (and (instance ?ACT ReligiousProcess) (agent ?ACT ?AGENT)) (or (instance ?AGENT ReligiousOrganization) (exists (?ORG) (and (member ?AGENT ?ORG) (instance ?ORG ReligiousOrganization)))))

Next Organization: Corporation Up: Organization Previous Organization: Government