SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > ReligiousProcess
Next IntentionalProcess: Repairing    Up: IntentionalProcess    Previous IntentionalProcess: RecreationalProcess   

ReligiousProcess comparison table
Subject documentation is a kind of have axiom
IntentionalProcessA Process that is deliberately set in motion by a CognitiveAgentProcess
(=>
    (instance ?PROC IntentionalProcess)
    (exists (?AGENT)
       (and
          (instance ?AGENT CognitiveAgent)
          (agent ?PROC ?AGENT))))
ReligiousProcessAn IntentionalProcess that is carried out within or by a ReligiousOrganizationIntentionalProcess
(=>
    (and
       (instance ?ACT ReligiousProcess)
       (agent ?ACT ?AGENT))
    (or
       (instance ?AGENT ReligiousOrganization)
       (exists (?ORG)
          (and
             (member ?AGENT ?ORG)
             (instance ?ORG ReligiousOrganization)))))

Next IntentionalProcess: Repairing    Up: IntentionalProcess    Previous IntentionalProcess: RecreationalProcess