TherapeuticProcess Comparison Table

Next IntentionalProcess: Touching Up: IntentionalProcess Previous IntentionalProcess: Striking

TherapeuticProcess comparison table

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

Surgery Any TherapeuticProcess that involves making an incision in the Animal that is the patient of the TherapeuticProcess NonintentionalProcess TherapeuticProcess subProcess subProcess
(=>
(and
(instance ?ACT Surgery)
(patient ?ACT ?ANIMAL))
(exists (?SUBACT)
(and
(instance ?SUBACT Cutting)
(instance ?ANIMAL Animal)
(patient ?ANIMAL ?CUTTING)
(subProcess ?SUBACT ?ACT))))

Subject	documentation	be disjoint from	is a kind of	be second domain of	be first domain of	have axiom
Surgery	Any TherapeuticProcess that involves making an incision in the Animal that is the patient of the TherapeuticProcess	NonintentionalProcess	TherapeuticProcess	subProcess	subProcess	(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?ANIMAL ?CUTTING) (subProcess ?SUBACT ?ACT))))

Next IntentionalProcess: Touching Up: IntentionalProcess Previous IntentionalProcess: Striking