Keeping Comparison Table

Next IntentionalProcess: Maintaining Up: IntentionalProcess Previous IntentionalProcess: Guiding

Keeping comparison table

Subject documentation be disjoint from is a kind of be second domain of be first domain of have axiom

Securing The Class of Keeping Processes where the patient is secured in some manner, e.g. by locking it up in a strongbox NonintentionalProcess Keeping subProcess subProcess
(=>
(instance ?PROC IntentionalProcess)
(exists (?AGENT)
(and
(instance ?AGENT CognitiveAgent)
(agent ?PROC ?AGENT))))

Subject	documentation	be disjoint from	is a kind of	be second domain of	be first domain of	have axiom
Securing	The Class of Keeping Processes where the patient is secured in some manner, e.g. by locking it up in a strongbox	NonintentionalProcess	Keeping	subProcess	subProcess	(=> (instance ?PROC IntentionalProcess) (exists (?AGENT) (and (instance ?AGENT CognitiveAgent) (agent ?PROC ?AGENT))))

Next IntentionalProcess: Maintaining Up: IntentionalProcess Previous IntentionalProcess: Guiding